From bddb727a9f9d406641166ba65295dff2e5a21319 Mon Sep 17 00:00:00 2001 From: Ed Sanders Date: Thu, 7 Dec 2017 13:24:09 +0000 Subject: [PATCH] Standardize editfont size across browsers/OSes Bug: T176636 Bug: T181324 Bug: T182320 Change-Id: I836a05674723ae0864372f8d0e32c7b430906a92 --- resources/src/mediawiki/mediawiki.editfont.css | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) 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; +} -- 2.20.1