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

.wikiEditor-ui-toolbar .ve-init-mw-editSwitch {
	/* 12.8/12.7 */
	font-size: 1.00787em;
}