2016-03-16 23:34:25 +00:00
|
|
|
@import '../constants/colors';
|
2016-03-23 05:58:16 +00:00
|
|
|
@import '../constants/dimensions';
|
2016-03-16 23:34:25 +00:00
|
|
|
|
2016-05-01 19:56:30 +00:00
|
|
|
.editor {
|
|
|
|
box-sizing: border-box;
|
|
|
|
height: 100% !important;
|
|
|
|
width: 100%;
|
|
|
|
|
|
|
|
.CodeMirror {
|
2016-04-10 06:59:05 +00:00
|
|
|
height: 100% !important;
|
2016-04-06 04:21:42 +00:00
|
|
|
width: 100%;
|
2016-05-01 19:56:30 +00:00
|
|
|
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
|
2016-05-01 20:01:19 +00:00
|
|
|
background-color: $bg-super-dark !important;
|
2016-05-01 19:56:30 +00:00
|
|
|
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;
|
|
|
|
}
|
2016-03-16 23:34:25 +00:00
|
|
|
|
2016-05-01 19:56:30 +00:00
|
|
|
&.editor--readonly .CodeMirror-cursors {
|
|
|
|
opacity: 0;
|
2016-03-24 05:26:04 +00:00
|
|
|
}
|
2016-03-16 23:34:25 +00:00
|
|
|
}
|