2019-10-20 12:09:20 +02:00
|
|
|
.CodeMirror-lint-tooltip {
|
|
|
|
z-index: 2000 !important;
|
|
|
|
}
|
|
|
|
|
2019-10-16 07:46:30 +02:00
|
|
|
.codemirror-container {
|
|
|
|
max-width: 100%;
|
2019-10-20 12:09:20 +02:00
|
|
|
position: relative;
|
|
|
|
overflow: auto;
|
|
|
|
}
|
2020-02-02 12:32:58 +01:00
|
|
|
|
|
|
|
.cm-s-maputnik.CodeMirror {
|
|
|
|
height: 100%;
|
|
|
|
font-size: 12px;
|
2020-02-02 12:56:51 +01:00
|
|
|
background: transparent;
|
2020-02-02 12:32:58 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-maputnik.CodeMirror, .cm-s-maputnik .CodeMirror-gutters {
|
|
|
|
color: #8e8e8e;
|
|
|
|
border: none;
|
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-maputnik .CodeMirror-gutters {
|
|
|
|
background: #212328;
|
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-maputnik .CodeMirror-cursor {
|
|
|
|
border-left: solid thin #f0f0f0 !important;
|
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-maputnik.CodeMirror-focused div.CodeMirror-selected {
|
|
|
|
background: rgba(255, 255, 255, 0.10);
|
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-maputnik .CodeMirror-line::selection,
|
|
|
|
.cm-s-maputnik .CodeMirror-line > span::selection,
|
|
|
|
.cm-s-maputnik .CodeMirror-line > span > span::selection {
|
|
|
|
background: rgba(255, 255, 255, 0.10);
|
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-maputnik .CodeMirror-line::-moz-selection,
|
|
|
|
.cm-s-maputnik .CodeMirror-line > span::-moz-selection,
|
|
|
|
.cm-s-maputnik .CodeMirror-line > span > span::-moz-selection {
|
|
|
|
background: rgba(255, 255, 255, 0.10);
|
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-maputnik span.cm-string, .cm-s-maputnik span.cm-string-2 {
|
|
|
|
color: #8f9d6a;
|
|
|
|
}
|
|
|
|
.cm-s-maputnik span.cm-number { color: #91675f; }
|
|
|
|
.cm-s-maputnik span.cm-property { color: #b8a077; }
|
|
|
|
|
|
|
|
.cm-s-maputnik .CodeMirror-activeline-background {
|
|
|
|
background: rgba(255,255,255,0.1);
|
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-maputnik .CodeMirror-matchingbracket {
|
|
|
|
background: hsla(223, 12%, 35%, 1);
|
|
|
|
color: $color-white !important;
|
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-maputnik .CodeMirror-nonmatchingbracket {
|
|
|
|
background-color: #bb0000;
|
|
|
|
color: white !important;
|
|
|
|
}
|