mediawiki-extensions-Visual.../modules/ve-mw/preinit/styles/ve.init.mw.ProgressBarWidget-wikimediatheme.css

/*!
 * 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 {
	height: 0.75em;
	border: 1px solid #36c;
	background: #fff;
	border-radius: 2px;
	box-shadow: 0 0.1em 0 0 rgba( 0, 0, 0, 0.15 );
}

.ve-init-mw-progressBarWidget-bar {
	height: 0.75em;
	background: #36c;
}
DesktopArticleTarget: Make the progress bar into a reusable widget We want to add a similar progress bar on mobile without copy-pasting all this code. Bug: T210630 Change-Id: I7192869cb719114ffd04940eabf38cf0f0421c13 2019-02-06 01:06:10 +00:00			`/*!`
			`* VisualEditor progress bar widget WikimediaUI theme styles.`
			`*`
doc: Bump copyright year for 2020 Change-Id: I30539877543dc2a57bd1428a00d10ac46d8fc294 2020-01-08 17:13:04 +00:00			`* @copyright 2011-2020 VisualEditor Team and others; see AUTHORS.txt`
DesktopArticleTarget: Make the progress bar into a reusable widget We want to add a similar progress bar on mobile without copy-pasting all this code. Bug: T210630 Change-Id: I7192869cb719114ffd04940eabf38cf0f0421c13 2019-02-06 01:06:10 +00:00			`* @license The MIT License (MIT); see LICENSE.txt`
			`*/`

			`.ve-init-mw-progressBarWidget {`
			`height: 0.75em;`
			`border: 1px solid #36c;`
			`background: #fff;`
			`border-radius: 2px;`
			`box-shadow: 0 0.1em 0 0 rgba( 0, 0, 0, 0.15 );`
			`}`

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