wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-24 22:35:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix editfont size in source mode

Browse source 
Bug: T182320
Change-Id: I777a1a80cb9887bc473aecb5d7b25fd6454a3d60
This commit is contained in:
Ed Sanders 2018-01-02 19:20:18 +00:00
parent fc03706278
commit 459ce75cb2
1 changed files with 0 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
modules/ve-mw/ui/styles/ve.ui.MWWikitextSurface.css
View file

@ -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;