mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2025-01-05 17:24:13 +00:00
18a64328bb
My upstream patch was accepted within 9 minutes: https://github.com/codemirror/CodeMirror/pull/6565 Note: This backport includes another upstream commit that fixed some typos. Bug: T269096 Change-Id: Ib5b64214d7536bc952886f45290d537eab2f9bbb
14 lines
376 B
Plaintext
14 lines
376 B
Plaintext
.CodeMirror {
|
|
// Fix `font-family: monospace;` caused weird font sizing of browsers.
|
|
// Task: https://phabricator.wikimedia.org/T176636
|
|
// See: http://code.iamkate.com/html-and-css/fixing-browsers-broken-monospace-font-handling/
|
|
font-family: monospace, monospace;
|
|
}
|
|
|
|
div.CodeMirror span {
|
|
&.CodeMirror-matchingbracket {
|
|
color: #fff;
|
|
background-color: #54595d;
|
|
}
|
|
}
|