diff options
| author | Volker E <volker.e@wikimedia.org> | 2017-09-28 00:39:32 +0200 |
|---|---|---|
| committer | Bartosz Dziewoński <matma.rex@gmail.com> | 2017-12-19 22:34:50 +0000 |
| commit | 74136a25a6a7f1b072bbcbf6d487eeee29e9571a (patch) | |
| tree | 39f0fd796aff7d27417919fb739cb601041285a9 /resources/src/mediawiki | |
| parent | 36002d1f63494d362f8931ef74921111208507c1 (diff) | |
| download | mediawikicore-74136a25a6a7f1b072bbcbf6d487eeee29e9571a.tar.gz mediawikicore-74136a25a6a7f1b072bbcbf6d487eeee29e9571a.zip | |
Unify monospace font family stack
Bug: T176636
Change-Id: I28d490a6c1decb68fce20307cc58678c9fe64ecc
Diffstat (limited to 'resources/src/mediawiki')
| -rw-r--r-- | resources/src/mediawiki/mediawiki.debug.less | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/src/mediawiki/mediawiki.debug.less b/resources/src/mediawiki/mediawiki.debug.less index 00faf84b8487..a56e4592a2aa 100644 --- a/resources/src/mediawiki/mediawiki.debug.less +++ b/resources/src/mediawiki/mediawiki.debug.less @@ -92,7 +92,7 @@ a.mw-debug-panelabel:visited { height: 300px; overflow: scroll; display: none; - font-family: monospace; + font-family: monospace, monospace; font-size: 11px; background-color: #e1eff2; box-sizing: border-box; |