MediaWiki:Common.css: Difference between revisions
No edit summary |
No edit summary |
||
| Line 654: | Line 654: | ||
/* -------------------- WIKI EDITOR | /* -------------------- WIKI EDITOR CodeMirror styling --------------------*/ | ||
/* https://discuss.codemirror.net/t/styling-and-theming-design-discussion/2958 */ | |||
/* | /* | ||
| Line 662: | Line 664: | ||
*/ | */ | ||
/* | |||
.cm-editor .cm-gutters { | .cm-editor .cm-gutters { | ||
background-color: var(--background-color-interactive-subtle, #f8f9fa); | background-color: var(--background-color-interactive-subtle, #f8f9fa); | ||
| Line 667: | Line 670: | ||
color: var(--color-subtle, #54595d); | color: var(--color-subtle, #54595d); | ||
} | } | ||
.ͼ1 .cm-line { | |||
display: block; | |||
padding: 0 2px 0 6px; | |||
} | |||
*/ | |||
/* | /* | ||
.ͼ2 .cm-gutters { | .ͼ2 .cm-gutters { | ||