.card[data-v-8fa56fd7]{margin-bottom:20px}p.card-header-title[data-v-8fa56fd7]{margin-bottom:0}.CodeMirror{border:1px solid #eee;height:auto}