wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-27 15:40:00 +00:00
Code Issues Packages Projects Releases Wiki Activity

Don't let CodeMirror set the font to monospace if it's set on an ancestor.

Browse source 
Bug: T245568
Change-Id: I135bf0f7bf73e0d9faaa43c565cef43c5c934a34
This commit is contained in:
AronDemian 2020-02-28 05:56:29 +01:00 committed by VolkerE
parent d70bd9d1ae
commit d0418ae8bb
1 changed files with 10 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
resources/ext.CodeMirror.less
View file

@ -1,5 +1,15 @@
@import 'mediawiki.mixins'; @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 { .wikiEditor-ui .CodeMirror {
line-height: 1.5em; line-height: 1.5em;
padding: 0.1em; padding: 0.1em;