mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/tools/ve.ui.MWFormatTool-minerva.css

/*!
 * VisualEditor MediaWiki Minerva-specific FormatTool styles.
 *
 * @copyright 2011-2019 VisualEditor Team and others; see AUTHORS.txt
 * @license The MIT License (MIT); see LICENSE.txt
 */

.oo-ui-menuToolGroup-tools .oo-ui-tool-name-heading1 .oo-ui-tool-title,
.oo-ui-menuToolGroup-tools .oo-ui-tool-name-heading2 .oo-ui-tool-title {
	font-family: 'Linux Libertine', 'Georgia', 'Times', serif;
}
Mobile target improvements Change-Id: If55097a45ae812b712a74f41af350bfaa69f6135 2018-09-17 14:24:27 +00:00			`/*!`
			`* VisualEditor MediaWiki Minerva-specific FormatTool styles.`
			`*`
doc: Bump copyright year for 2019 Change-Id: I8991b97c980d4149f53eb5601036220ef3c0c440 2019-01-01 13:24:23 +00:00			`* @copyright 2011-2019 VisualEditor Team and others; see AUTHORS.txt`
Mobile target improvements Change-Id: If55097a45ae812b712a74f41af350bfaa69f6135 2018-09-17 14:24:27 +00:00			`* @license The MIT License (MIT); see LICENSE.txt`
			`*/`

			`.oo-ui-menuToolGroup-tools .oo-ui-tool-name-heading1 .oo-ui-tool-title,`
			`.oo-ui-menuToolGroup-tools .oo-ui-tool-name-heading2 .oo-ui-tool-title {`
			`font-family: 'Linux Libertine', 'Georgia', 'Times', serif;`
			`}`