mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/ve.ui.MWWikitextSurface.css
Ed Sanders 459ce75cb2 Fix editfont size in source mode
Bug: T182320
Change-Id: I777a1a80cb9887bc473aecb5d7b25fd6454a3d60
2018-01-02 19:20:18 +00:00

16 lines
416 B
CSS

/*!
* VisualEditor MediaWiki Initialization WikitextSurface styles.
*
* @copyright 2011-2017 VisualEditor Team and others; see AUTHORS.txt
* @license The MIT License (MIT); see LICENSE.txt
*/
.ve-ui-mwWikitextSurface .ve-ce-documentNode {
/* Inherit mw-editfont setting instead of default source mode setting */
font-family: inherit;
}
.ve-ui-mwWikitextSurface .ve-ce-paragraphNode {
line-height: 1.5em;
}