[data-v-9a493238] .cm-editor{font-size:14px}[data-v-9a493238] .cm-editor.cm-focused{outline:2px solid #d3d3d3}[data-v-9a493238] .cm-editor .cm-content{font-family:courier new,Source Code Pro,Monaco,Menlo,Ubuntu Mono,Consolas,monospace}