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

Tweak monobook padding for realtimepreview-button

Browse source 
Change-Id: I6756a65d9b654ed2a23b168c88b7c80ded9f952f
This commit is contained in:
Ed Sanders 2024-03-11 17:55:16 -07:00
parent 5f6f9e5ef8
commit 008e2c5a94
1 changed files with 11 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
modules/realtimepreview/monobook.less
View file

@ -1,7 +1,13 @@
.ext-WikiEditor-realtimepreview-button:hover {
.ext-WikiEditor-realtimepreview-button {
&:hover {
background-color: unset;
}
}
.ext-WikiEditor-realtimepreview-button.oo-ui-toggleWidget-on .oo-ui-labelElement-label {
&.oo-ui-toggleWidget-on .oo-ui-labelElement-label {
color: unset;
}
&.oo-ui-buttonElement-frameless.oo-ui-iconElement > .oo-ui-buttonElement-button {
padding: 0 3px 0 0;
}
}