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

.wikiEditor-ui-toolbar .ve-init-mw-editSwitch {
	font-size: 1.0079em;
}

.ve-init-mw-editSwitch .oo-ui-buttonElement-button {
	padding: 0.35em;
}