12,727
edits
MediaWiki:Common.css: Difference between revisions
Dark Mode: Additional CodeMirror tweaks
(Dark mode: Support CodeMirror extension) |
(Dark Mode: Additional CodeMirror tweaks) |
||
| Line 1,049: | Line 1,049: | ||
.CodeMirror-gutter.CodeMirror-linenumbers { | .CodeMirror-gutter.CodeMirror-linenumbers { | ||
background-color: #3c4653; | background-color: #3c4653; | ||
} | |||
/* Selected text */ | |||
.CodeMirror-line::selection, .CodeMirror-line > span::selection, .CodeMirror-line > span > span::selection { | |||
background-color: #3e445a; | |||
} | } | ||
/* Leading space */ | /* Leading space */ | ||