From 459ce75cb2a6d2d2360f5e6ea62ca1f5d00e1269 Mon Sep 17 00:00:00 2001
From: Ed Sanders <esanders@wikimedia.org>
Date: Tue, 2 Jan 2018 19:20:18 +0000
Subject: [PATCH] Fix editfont size in source mode

Bug: T182320
Change-Id: I777a1a80cb9887bc473aecb5d7b25fd6454a3d60
---
 modules/ve-mw/ui/styles/ve.ui.MWWikitextSurface.css | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/modules/ve-mw/ui/styles/ve.ui.MWWikitextSurface.css b/modules/ve-mw/ui/styles/ve.ui.MWWikitextSurface.css
index 8054b2b2cd..e47cc9fa61 100644
--- a/modules/ve-mw/ui/styles/ve.ui.MWWikitextSurface.css
+++ b/modules/ve-mw/ui/styles/ve.ui.MWWikitextSurface.css
@@ -5,11 +5,6 @@
  * @license The MIT License (MIT); see LICENSE.txt
  */
 
-.ve-ui-mwWikitextSurface .ve-ce-documentNode,
-.ve-ui-mwWikitextSurface .ve-ui-surface-placeholder {
-	font-size: 1.17216em; /*(13.3333/11.375)*/
-}
-
 .ve-ui-mwWikitextSurface .ve-ce-documentNode {
 	/* Inherit mw-editfont setting instead of default source mode setting */
 	font-family: inherit;