2016-03-16 23:34:25 +00:00
|
|
|
@import '../constants/colors';
|
|
|
|
|
2016-03-20 04:00:40 +00:00
|
|
|
.editor {
|
|
|
|
height: 100%;
|
2016-03-20 20:42:27 +00:00
|
|
|
width: 100%;
|
2016-03-16 23:34:25 +00:00
|
|
|
|
2016-03-20 04:00:40 +00:00
|
|
|
.CodeMirror {
|
|
|
|
height: 100% !important;
|
|
|
|
width: 100%;
|
|
|
|
font-size: 12px !important;
|
|
|
|
font-family: "Source Code Pro", monospace;
|
|
|
|
box-sizing: border-box;
|
|
|
|
}
|
2016-03-16 23:34:25 +00:00
|
|
|
|
2016-03-20 04:00:40 +00:00
|
|
|
.CodeMirror,
|
|
|
|
.cm-s-seti.CodeMirror, // Hack because seti theme is dumb
|
|
|
|
.CodeMirror-gutters,
|
|
|
|
.CodeMirror-scrollbar-filler,
|
|
|
|
.CodeMirror-gutter-filler {
|
|
|
|
background-color: $bg-dark !important;
|
|
|
|
}
|
2016-03-16 23:34:25 +00:00
|
|
|
|
2016-03-20 04:00:40 +00:00
|
|
|
.CodeMirror-linenumber, .CodeMirror-guttermarker-subtle {
|
|
|
|
color: #555555 !important;
|
|
|
|
}
|
2016-03-21 05:47:49 +00:00
|
|
|
|
|
|
|
.CodeMirror-scroll {
|
|
|
|
/*
|
|
|
|
* Not sure why but this fixes vertical sizing of scroll
|
|
|
|
* area in flexbox grid
|
|
|
|
*/
|
|
|
|
box-sizing: border-box;
|
|
|
|
margin-bottom: 0;
|
|
|
|
padding-bottom: 0;
|
2016-03-22 05:01:58 +00:00
|
|
|
|
|
|
|
/* Normal Overrides */
|
|
|
|
cursor: text; // Show text cursor everywhere (not just in .Codemirror-lines)
|
2016-03-21 05:47:49 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-lines {
|
|
|
|
// Scroll past the end
|
|
|
|
padding-bottom: 150px;
|
|
|
|
}
|
2016-03-16 23:34:25 +00:00
|
|
|
}
|
2016-03-20 04:00:40 +00:00
|
|
|
|