mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 23:05:35 +00:00
b05d9fcb0e
VE already has a a switch icon in the options menu, so bring that up to the main toolbar. Append an OOUI button to the WikiEditor toolbar if present, and bind to the same functon as the edit tab. Bug: T49779 Change-Id: Ic1e83ea7b13c4fef68024bf05ffc244060666103
28 lines
631 B
CSS
28 lines
631 B
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;
|
|
}
|