.cm-editor{border:1px solid #d6dbe1;border-radius:4px;font-family:'JetBrains Mono',Consolas,Menlo,monospace;font-size:13px}.cm-editor.cm-focused{outline:0;border-color:#4a90d9}.cm-editor .cm-scroller{font-family:inherit;line-height:1.5}.cm-editor:not([style*="height"]){min-height:120px}.cm-editor .cm-content{padding:6px 0}