wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-23 15:57:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix overlap between preview button and edit switcher

Browse source 
These buttons can appear in any order depending on when
the code loads. Remove the default OOUI button negative
margin.

Replace group padding with margin now there is no negative
margin on the buttons.

Change-Id: Id2ebf7aa0b27da1d03d56f59e8a9a96f7656106d
This commit is contained in:
Ed Sanders 2024-03-12 11:03:20 -07:00
parent 008e2c5a94
commit 7837e3952c
2 changed files with 12 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/jquery.wikiEditor.toolbar.less
View file

@ -111,7 +111,7 @@
.group {
padding-right: 0;
padding-left: 6px;
margin-left: 6px;
border-left: 1px solid #c8ccd1;
}
}

16
modules/realtimepreview/RealtimePreview.less
View file

@ -1,11 +1,17 @@
@import 'mediawiki.skin.variables.less';
.ext-WikiEditor-realtimepreview-button:hover {
background-color: @background-color-interactive;
}
.ext-WikiEditor-realtimepreview-button {
&:hover {
background-color: @background-color-interactive;
}
.ext-WikiEditor-realtimepreview-button.oo-ui-toggleWidget-on .oo-ui-labelElement-label {
color: @color-progressive;
&.oo-ui-toggleWidget-on .oo-ui-labelElement-label {
color: @color-progressive;
}
&.oo-ui-buttonElement-frameless.oo-ui-labelElement.oo-ui-iconElement:first-child {
margin-left: 0;
}
}
/* stylelint-disable selector-max-id */