jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/381145 )
Change subject: Unify monospace font family stack
......................................................................
Unify monospace font family stack
Bug: T176636
Change-Id: I28d490a6c1decb68fce20307cc58678c9fe64ecc
---
M resources/src/mediawiki.skinning/elements.css
M resources/src/mediawiki/mediawiki.debug.less
2 files changed, 2 insertions(+), 6 deletions(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
jenkins-bot: Verified
diff --git a/resources/src/mediawiki.skinning/elements.css
b/resources/src/mediawiki.skinning/elements.css
index 58fd500..19f3553 100644
--- a/resources/src/mediawiki.skinning/elements.css
+++ b/resources/src/mediawiki.skinning/elements.css
@@ -205,11 +205,7 @@
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 00faf84..a56e459 100644
--- a/resources/src/mediawiki/mediawiki.debug.less
+++ b/resources/src/mediawiki/mediawiki.debug.less
@@ -92,7 +92,7 @@
height: 300px;
overflow: scroll;
display: none;
- font-family: monospace;
+ font-family: monospace, monospace;
font-size: 11px;
background-color: #e1eff2;
box-sizing: border-box;
--
To view, visit https://gerrit.wikimedia.org/r/381145
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I28d490a6c1decb68fce20307cc58678c9fe64ecc
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: VolkerE <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Jack Phoenix <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
