Esanders has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/399616 )
Change subject: Remove font-size now it is set by editfont
......................................................................
Remove font-size now it is set by editfont
Bug: T180678
Change-Id: Ic9e8bdb3b34dbb2f2c5748d6bb57e9da90112118
---
M resources/modules/ve-cm/ve.ui.CodeMirror.init.less
1 file changed, 0 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/CodeMirror
refs/changes/16/399616/1
diff --git a/resources/modules/ve-cm/ve.ui.CodeMirror.init.less
b/resources/modules/ve-cm/ve.ui.CodeMirror.init.less
index 6db9a8d..4da2457 100644
--- a/resources/modules/ve-cm/ve.ui.CodeMirror.init.less
+++ b/resources/modules/ve-cm/ve.ui.CodeMirror.init.less
@@ -5,7 +5,6 @@
position: absolute;
top: 0;
left: 0;
- font-size: 1.17216em;
line-height: 1.5em;
width: 100%;
-webkit-box-sizing: border-box;
--
To view, visit https://gerrit.wikimedia.org/r/399616
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ic9e8bdb3b34dbb2f2c5748d6bb57e9da90112118
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CodeMirror
Gerrit-Branch: master
Gerrit-Owner: Esanders <esand...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
