/*!
 * VisualEditor progress bar widget WikimediaUI theme styles.
 *
 * @copyright 2011-2020 VisualEditor Team and others; see AUTHORS.txt
 * @license The MIT License (MIT); see LICENSE.txt
 */

.ve-init-mw-progressBarWidget {
	background-color: #fff;
	-webkit-box-sizing: border-box;
	-moz-box-sizing: border-box;
	box-sizing: border-box;
	height: 0.875em;
	border: 1px solid #36c;
	border-radius: 0.875em;
	box-shadow: 0 1px 1px rgba( 0, 0, 0, 0.15 );
}

.ve-init-mw-progressBarWidget-bar {
	background-color: #36c;
	height: 0.875em;
}
