@import '../constants/colors'; @import '../constants/dimensions'; .editor { width: 100%; min-width: 100%; //height: 100%; min-height: 100%; .CodeMirror { //height: 100%; font-family: "Source Code Pro", monospace; box-sizing: border-box; font-size: $font-size-md; 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: transparent !important; } .CodeMirror-linenumber, .CodeMirror-guttermarker-subtle { color: #555555 !important; } .CodeMirror-scroll { /* Normal Overrides */ cursor: text; // Show text cursor everywhere (not just in .Codemirror-lines) } .CodeMirror-lines { // Scroll past the end padding-bottom: 150px; } .CodeMirror-placeholder { color: $hl-xxl; } &.editor--readonly .CodeMirror-cursors { opacity: 0; } }