From d63de2eb01a9a4ecde025ddf1f9da8b82ab3201d Mon Sep 17 00:00:00 2001
From: Ed Sanders <esanders@wikimedia.org>
Date: Mon, 2 Apr 2018 21:06:27 +0100
Subject: [PATCH] Set editfont size to 16px (100%)

Change-Id: I9bff880de792da756f14726042df0a0df4139d1b
---
 skin.json                                        | 3 +++
 skinStyles/mediawiki.editfont.styles/minerva.css | 5 +++++
 2 files changed, 8 insertions(+)
 create mode 100644 skinStyles/mediawiki.editfont.styles/minerva.css

diff --git a/skin.json b/skin.json
index 32d43f4..bb29711 100644
--- a/skin.json
+++ b/skin.json
@@ -138,6 +138,9 @@
 			"ext.echo.styles.special": [
 				"skinStyles/ext.echo.styles.special/SpecialNotificationsOverlay.less"
 			],
+			"mediawiki.editfont.styles": [
+				"skinStyles/mediawiki.editfont.styles/minerva.css"
+			],
 			"mediawiki.notification": [
 				"skinStyles/mobile.startup/toast.less"
 			],
diff --git a/skinStyles/mediawiki.editfont.styles/minerva.css b/skinStyles/mediawiki.editfont.styles/minerva.css
new file mode 100644
index 0000000..53d0aaf
--- /dev/null
+++ b/skinStyles/mediawiki.editfont.styles/minerva.css
@@ -0,0 +1,5 @@
+.mw-editfont-monospace,
+.mw-editfont-sans-serif,
+.mw-editfont-serif {
+	font-size: 100%;
+}