2016-03-16 23:34:25 +00:00
|
|
|
@import '../constants/colors';
|
|
|
|
|
2016-03-20 04:00:40 +00:00
|
|
|
.editor {
|
|
|
|
height: 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;
|
|
|
|
padding: 5px 0;
|
|
|
|
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-overlayscroll-horizontal div, .CodeMirror-overlayscroll-vertical div {
|
|
|
|
background: lighten($bg-dark, 10%);
|
|
|
|
}
|
|
|
|
|
|
|
|
.CodeMirror-linenumber, .CodeMirror-guttermarker-subtle {
|
|
|
|
color: #555555 !important;
|
|
|
|
}
|
2016-03-16 23:34:25 +00:00
|
|
|
}
|
2016-03-20 04:00:40 +00:00
|
|
|
|