diff options
Diffstat (limited to 'devtools/client/themes/dark-theme.css')
| -rw-r--r-- | devtools/client/themes/dark-theme.css | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/devtools/client/themes/dark-theme.css b/devtools/client/themes/dark-theme.css index 8433bc75c4..cd1b58e36e 100644 --- a/devtools/client/themes/dark-theme.css +++ b/devtools/client/themes/dark-theme.css @@ -261,12 +261,16 @@ div.CodeMirror span.marked-text { } -.cm-s-mozilla .empty-line .CodeMirror-linenumber { +.cm-s-mozilla .empty-line .CodeMirror-linenumber, +/* Codemirror 6 */ +.cm-editor .cm-gutterElement.empty-line { color: var(--grey-50); } /* Blackboxing lines */ -.CodeMirror-lines .blackboxed-line :is(span, .cm-comment, .CodeMirror-gutter-elt) { +.CodeMirror-lines .blackboxed-line :is(span, .cm-comment, .CodeMirror-gutter-elt), +/* Codemirror 6 */ +.cm-gutterElement.blackboxed-line, .cm-line.blackboxed-line span[class^="tok-"] { color: #806414cc; } |