[data-v-572b1bc9] .monaco-editor{padding:8px 0}[data-v-572b1bc9] .monaco-editor .margin,[data-v-572b1bc9] .monaco-editor .monaco-editor-background{background-color:#1e1e1e!important}
