wikimedia/mediawiki-extensions-VisualEditor

/*!
 * VisualEditor progress bar widget WikimediaUI theme styles.
 *
 * @copyright See AUTHORS.txt
 * @license The MIT License (MIT); see LICENSE.txt
 */

.ve-init-mw-progressBarWidget {
    background-color: #fff;
    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;
}