diff --git a/VisualEditor.php b/VisualEditor.php index 37bb426080..c5eebccfde 100644 --- a/VisualEditor.php +++ b/VisualEditor.php @@ -724,6 +724,11 @@ $wgResourceModules += array( 'modules/ve-mw/ui/tools/ve.ui.MWFormatTool.js', ), + 'skinStyles' => array( + 'vector' => array( + 'modules/ve-mw/ui/themes/vector/ve.ui.MWFormatTool.css', + ), + ), 'dependencies' => array( 'ext.visualEditor.mwcore', ), diff --git a/modules/ve-mw/ui/themes/vector/ve.ui.MWFormatTool.css b/modules/ve-mw/ui/themes/vector/ve.ui.MWFormatTool.css new file mode 100644 index 0000000000..f0b10c3c5c --- /dev/null +++ b/modules/ve-mw/ui/themes/vector/ve.ui.MWFormatTool.css @@ -0,0 +1,21 @@ +/*! + * VisualEditor MediaWiki Vector-specific FormatTool styles. + * + * @copyright 2011-2014 VisualEditor Team and others; see AUTHORS.txt + * @license The MIT License (MIT); see LICENSE.txt + */ + +.oo-ui-menuToolGroup .oo-ui-tool-name-heading1 .oo-ui-tool-title, +.oo-ui-menuToolGroup .oo-ui-tool-name-heading2 .oo-ui-tool-title { + font-family: 'Linux Libertine', Georgia, Times, serif; +} + +.oo-ui-menuToolGroup .oo-ui-tool-name-heading3 .oo-ui-tool-title { + font-size: 94%; /* 80% of Vector's 117% */ +} + +.oo-ui-menuToolGroup .oo-ui-tool-name-heading4 .oo-ui-tool-title, +.oo-ui-menuToolGroup .oo-ui-tool-name-heading5 .oo-ui-tool-title, +.oo-ui-menuToolGroup .oo-ui-tool-name-heading6 .oo-ui-tool-title { + font-size: 80%; /* 20% of Vector's 100% */ +} \ No newline at end of file