.cm-scroller[data-v-f0d97b59]{font-family:Menlo,Monaco,Consolas,Courier New,monospace!important}.editor[data-v-f0d97b59] .cm-editor{border-radius:5px}.editor[data-v-f0d97b59] .cm-gutters{border-top-left-radius:5px;border-bottom-left-radius:5px}