Unify monospace font family stack
authorVolker E <volker.e@wikimedia.org>
Wed, 27 Sep 2017 22:39:32 +0000 (00:39 +0200)
committerBartosz Dziewoński <matma.rex@gmail.com>
Tue, 19 Dec 2017 22:34:50 +0000 (22:34 +0000)
Bug: T176636
Change-Id: I28d490a6c1decb68fce20307cc58678c9fe64ecc

resources/src/mediawiki.skinning/elements.css
resources/src/mediawiki/mediawiki.debug.less

index 58fd500..19f3553 100644 (file)
@@ -205,11 +205,7 @@ tt,
 kbd,
 samp,
 .mw-code {
-       /*
-        * Some browsers will render the monospace text too small, namely Firefox, Chrome and Safari.
-        * Specifying any valid, second value will trigger correct behavior without forcing a different font.
-        * See T176636
-        */
+       /* Support: Blink, Gecko, Webkit; enable unified font sizes for monospace font. T176636 */
        font-family: monospace, monospace;
 }
 
index 00faf84..a56e459 100644 (file)
@@ -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;