Merge "Standardize editfont size across browsers/OSes"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 20 Dec 2017 01:25:05 +0000 (01:25 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 20 Dec 2017 01:25:05 +0000 (01:25 +0000)
resources/src/mediawiki/mediawiki.editfont.css

index 6228030..fe7f324 100644 (file)
@@ -1,6 +1,6 @@
 /* Edit font preference */
 .mw-editfont-monospace {
-       font-family: monospace;
+       font-family: monospace, monospace;
 }
 
 .mw-editfont-sans-serif {
 .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;
+}