mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-12-11 05:46:01 +00:00
28 lines
464 B
Plaintext
28 lines
464 B
Plaintext
@import 'mediawiki.mixins';
|
|
|
|
.mw-editfont-monospace,
|
|
.mw-editfont-sans-serif,
|
|
.mw-editfont-serif {
|
|
.CodeMirror {
|
|
// Don't let CodeMirror set the font to monospace if it's set on an ancestor.
|
|
// See T245568
|
|
font-family: inherit;
|
|
}
|
|
}
|
|
|
|
.wikiEditor-ui .CodeMirror {
|
|
line-height: 1.5em;
|
|
padding: 0.1em;
|
|
clear: both;
|
|
|
|
pre,
|
|
.CodeMirror-lines {
|
|
padding: 0;
|
|
}
|
|
}
|
|
|
|
.wikiEditor-ui-toolbar {
|
|
// Increase z-index to be above codemirror scrollbar
|
|
z-index: 7;
|
|
}
|