wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-24 06:24:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Fix WikiEditor mode switcher widget"

Browse source
This commit is contained in:
jenkins-bot 2017-10-11 17:33:38 +00:00 committed by Gerrit Code Review
parent 762bcba783 fc9e0d88f6
commit 4a60a3e147
1 changed files with 2 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
modules/ve-mw/init/styles/ve.init.MWVESwitchConfirmDialog.css
View file

@ -22,18 +22,10 @@
border-radius: 0;
}
.ve-init-mw-editSwitch .oo-ui-popupToolGroup-handle {
height: 24px;
}
.ve-init-mw-editSwitch .oo-ui-popupToolGroup-handle .oo-ui-iconElement-icon {
height: auto;
.ve-init-mw-editSwitch .oo-ui-popupToolGroup.oo-ui-iconElement .oo-ui-popupToolGroup-handle {
padding-top: 32px;
}
.ve-init-mw-editSwitch .oo-ui-popupToolGroup .oo-ui-toolGroup-tools {
top: 32px;
}
.ve-init-mw-editSwitch .oo-ui-popupWidget-head {
font-weight: bold;
}