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

Fix WikiEditor mode switcher widget

Browse source 
Broken by upstream CSS changes in OOUI.

Change-Id: I04c51f18624c09fd0030a8b73410a731216dd99c
This commit is contained in:
Ed Sanders 2017-10-11 18:16:44 +01:00
parent 12e8f5cdbb
commit fc9e0d88f6
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;
}