VolkerE has uploaded a new change for review. (
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.legacy/shared.css
M resources/src/mediawiki.skinning/elements.css
M resources/src/mediawiki/mediawiki.debug.less
3 files changed, 6 insertions(+), 8 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/45/381145/1
diff --git a/resources/src/mediawiki.legacy/shared.css
b/resources/src/mediawiki.legacy/shared.css
index 9930525..b3e67f0 100644
--- a/resources/src/mediawiki.legacy/shared.css
+++ b/resources/src/mediawiki.legacy/shared.css
@@ -113,12 +113,14 @@
/* Edit font preference */
/* TODO: for 'default' on non-textareas we could compute the default font of
textarea in the client */
.mw-editfont-default:not( textarea ) {
- font-family: monospace;
+ /* Support: Blink, Gecko, Webkit; enable unified font sizes for
monospace font. T176636 */
+ font-family: monospace, monospace;
}
/* Keep this rule separate from the :not rule above so it still works in older
browsers */
.mw-editfont-monospace {
- font-family: monospace;
+ /* Support: Blink, Gecko, Webkit; enable unified font sizes for
monospace font. T176636 */
+ font-family: monospace, monospace;
}
.mw-editfont-sans-serif {
diff --git a/resources/src/mediawiki.skinning/elements.css
b/resources/src/mediawiki.skinning/elements.css
index 245fb53..e72a680 100644
--- a/resources/src/mediawiki.skinning/elements.css
+++ b/resources/src/mediawiki.skinning/elements.css
@@ -203,11 +203,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 dec0571..f3e320a 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: newchange
Gerrit-Change-Id: I28d490a6c1decb68fce20307cc58678c9fe64ecc
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: VolkerE <volke...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
