2017-03-22 12:42:45 +00:00
|
|
|
@import 'mediawiki.mixins';
|
|
|
|
|
2024-01-19 00:33:58 +00:00
|
|
|
/* TODO: Remove styles below following CM6 upgrade, or move them to ext.CodeMirror.v6.WikiEditor.less */
|
|
|
|
|
2020-02-28 04:56:29 +00:00
|
|
|
.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;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-03-09 15:52:49 +00:00
|
|
|
.wikiEditor-ui .CodeMirror {
|
2017-03-27 13:00:31 +00:00
|
|
|
line-height: 1.5em;
|
|
|
|
padding: 0.1em;
|
2017-09-13 19:15:31 +00:00
|
|
|
clear: both;
|
2022-02-16 07:53:23 +00:00
|
|
|
box-sizing: border-box;
|
2017-09-13 19:15:31 +00:00
|
|
|
|
2019-03-09 15:52:49 +00:00
|
|
|
pre,
|
|
|
|
.CodeMirror-lines {
|
|
|
|
padding: 0;
|
|
|
|
}
|
2017-03-27 13:00:31 +00:00
|
|
|
}
|
|
|
|
|
2019-03-09 15:52:49 +00:00
|
|
|
.wikiEditor-ui-toolbar {
|
|
|
|
// Increase z-index to be above codemirror scrollbar
|
2017-03-21 14:42:04 +00:00
|
|
|
z-index: 7;
|
|
|
|
}
|