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

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