mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-02 01:46:47 +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
33 lines
1.1 KiB
CSS
33 lines
1.1 KiB
CSS
/*!
|
|
* VisualEditor MediaWiki DesktopArticleTarget Monobook 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 {
|
|
border: 1px solid #ccc;
|
|
background: #fff;
|
|
border-radius: 0.25em;
|
|
box-shadow: 0 0.1em 0.5em rgba(0, 0, 0, 0.15)
|
|
}
|
|
|
|
.ve-init-mw-desktopArticleTarget-progress-bar {
|
|
border-right: 1px solid #ccc;
|
|
background: #cde7f4;
|
|
filter: progid:DXImageTransform.Microsoft.gradient(GradientType=0, startColorstr='#eaf4fa', endColorstr='#b0d9ee');
|
|
background-image: -webkit-gradient(linear, right top, right bottom, color-stop(0%, #eaf4fa), color-stop(100%, #b0d9ee));
|
|
background-image: -webkit-linear-gradient(top, #eaf4fa 0%, #b0d9ee 100%);
|
|
background-image: -moz-linear-gradient(top, #eaf4fa 0%, #b0d9ee 100%);
|
|
background-image: -o-linear-gradient(top, #eaf4fa 0%, #b0d9ee 100%);
|
|
background-image: linear-gradient(to bottom, #eaf4fa 0%, #b0d9ee 100%);
|
|
}
|
|
|
|
.ve-init-mw-desktopArticleTarget-editSwitch {
|
|
font-size: 1.0079em;
|
|
}
|
|
|
|
.ve-init-mw-desktopArticleTarget-editSwitch .oo-ui-buttonElement-button {
|
|
padding: 0.35em;
|
|
}
|