From: Ed Sanders <esanders@wikimedia.org>
Date: Thu, 7 Dec 2017 13:24:09 +0000 (+0000)
Subject: Standardize editfont size across browsers/OSes
X-Git-Tag: 1.31.0-rc.0~1157^2
X-Git-Url: http://git.cyclocoop.org/?a=commitdiff_plain;h=bddb727a9f9d406641166ba65295dff2e5a21319;p=lhc%2Fweb%2Fwiklou.git

Standardize editfont size across browsers/OSes

Bug: T176636
Bug: T181324
Bug: T182320
Change-Id: I836a05674723ae0864372f8d0e32c7b430906a92
---

diff --git a/resources/src/mediawiki/mediawiki.editfont.css b/resources/src/mediawiki/mediawiki.editfont.css
index 6228030dd2..fe7f3240df 100644
--- a/resources/src/mediawiki/mediawiki.editfont.css
+++ b/resources/src/mediawiki/mediawiki.editfont.css
@@ -1,6 +1,6 @@
 /* Edit font preference */
 .mw-editfont-monospace {
-	font-family: monospace;
+	font-family: monospace, monospace;
 }
 
 .mw-editfont-sans-serif {
@@ -10,3 +10,10 @@
 .mw-editfont-serif {
 	font-family: serif;
 }
+
+/* Standardize font size for edit areas using edit-fonts T182320 */
+.mw-editfont-monospace,
+.mw-editfont-sans-serif,
+.mw-editfont-serif {
+	font-size: 13px;
+}