@import '../constants/colors'; @import '../constants/dimensions'; .editor { box-sizing: border-box; height: 100% !important; width: 100%; .CodeMirror { height: 100% !important; width: 100%; font-family: monospace; box-sizing: border-box; padding-top: $padding-sm; } .CodeMirror, .cm-s-seti.CodeMirror, // Hack because seti theme is dumb .CodeMirror-gutters, .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler { // Let the background behind show through background-color: $bg-super-dark !important; border: 0; } .CodeMirror-linenumber, .CodeMirror-guttermarker-subtle { color: $hl-xl !important; } .CodeMirror-scroll { cursor: text; // Show text cursor everywhere (not just in .Codemirror-lines) } .CodeMirror-lines { // Scroll past the end //padding-bottom: 50px; } .CodeMirror-placeholder { color: $hl-xxl; } &.editor--readonly .CodeMirror-cursors { opacity: 0; } }