.code-editor .cm-editor{font-size:.875rem}.code-editor .cm-scroller{font-family:ui-monospace,SFMono-Regular,SF Mono,Menlo,Consolas,monospace}.code-editor .cm-editor.cm-focused{outline:none}.code-editor .cm-content{padding:.5rem 0}