mediawiki-extensions-Visual.../modules/ve-mw/init/styles/ve.init.MWVESwitchPopupWidget.css
Ed Sanders cb60db4c7f Use list tool group for editor switching
Bug: T116417
Change-Id: Iadf5a81e2733ab81fe25c686dcd6dad8eac3885c
2017-02-28 15:06:48 +00:00

17 lines
367 B
CSS

/*!
* VisualEditor MediaWiki Initialization edit switching styles.
*
* @copyright 2011-2017 VisualEditor Team and others; see AUTHORS.txt
* @license The MIT License (MIT); see LICENSE.txt
*/
.ve-init-mw-switchPopupWidget {
white-space: normal;
z-index: 4;
margin-left: 1.25em;
}
.ve-init-mw-switchPopupWidget .oo-ui-popupWidget-head {
font-weight: bold;
}