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

Fix dimensions of WE2017 switch to VE

Browse source 
Correct dimensions are 32px, not 34px.

Bug: T223155
Change-Id: I74da7fc12b642984a680d58c20af054ebaf2e64c
This commit is contained in:
Derk-Jan Hartman 2020-02-26 14:00:32 +01:00
parent 4a2d636dab
commit 9655bee7de
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
modules/ve-mw/preinit/styles/ve.init.MWVESwitchConfirmDialog-wikimedia.css
View file

@ -6,13 +6,13 @@
*/
.ve-init-mw-editSwitch .oo-ui-popupToolGroup {
height: 34px;
height: 32px;
border: 0;
margin: 0;
border-radius: 0;
}
.ve-init-mw-editSwitch .oo-ui-popupToolGroup.oo-ui-iconElement .oo-ui-popupToolGroup-handle {
padding-top: 34px;
padding-top: 32px;
height: 0;
}