mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-12-18 00:30:30 +00:00
7 lines
272 B
Plaintext
7 lines
272 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;
|
||
|
|
}
|