mediawiki-extensions-VisualEditor/modules/ve-mw/init/styles/ve.init.mw.DesktopArticleTarget.init-vector.css

/*!
 * VisualEditor MediaWiki DesktopArticleTarget Vector init styles.
 *
 * @copyright 2011-2015 VisualEditor Team and others; see AUTHORS.txt
 * @license The MIT License (MIT); see LICENSE.txt
 */

.ve-init-mw-desktopArticleTarget-progress {
	height: 0.75em;
	border: 1px solid #347bff;
	background: #fff;
	border-radius: 2px;
	box-shadow: 0 0.1em 0 0 rgba(0, 0, 0, 0.15)
}

.ve-init-mw-desktopArticleTarget-progress-bar {
	height: 0.75em;
	background: #347bff;
}

.ve-init-mw-desktopArticleTarget-editSwitch {
	font-size: 0.9143em;
}

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