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

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

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