From 74136a25a6a7f1b072bbcbf6d487eeee29e9571a Mon Sep 17 00:00:00 2001 From: Volker E Date: Thu, 28 Sep 2017 00:39:32 +0200 Subject: [PATCH] Unify monospace font family stack Bug: T176636 Change-Id: I28d490a6c1decb68fce20307cc58678c9fe64ecc --- resources/src/mediawiki.skinning/elements.css | 6 +----- resources/src/mediawiki/mediawiki.debug.less | 2 +- 2 files changed, 2 insertions(+), 6 deletions(-) diff --git a/resources/src/mediawiki.skinning/elements.css b/resources/src/mediawiki.skinning/elements.css index 58fd500d06..19f35535eb 100644 --- a/resources/src/mediawiki.skinning/elements.css +++ b/resources/src/mediawiki.skinning/elements.css @@ -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; } diff --git a/resources/src/mediawiki/mediawiki.debug.less b/resources/src/mediawiki/mediawiki.debug.less index 00faf84b84..a56e4592a2 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; -- 2.20.1