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

Make button padding clickable

Browse source 
Currently the hover state include the padding, but
only the icon part is clickable.

Change-Id: Ifde032313452dff2ab74197477b0eb3dd6b5dfe1
This commit is contained in:
Ed Sanders 2018-11-18 15:01:09 +00:00
parent 7ff3ffa829
commit 65ce4f6e73
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -331,17 +331,18 @@
/* OOUI buttons */
.tool.oo-ui-buttonElement-frameless.oo-ui-iconElement {
margin: 0;
padding: 3px;
> .oo-ui-buttonElement-button {
padding: 0;
padding: 3px;
border: 0;
.box-sizing( content-box );
> .oo-ui-iconElement-icon {
margin: 0;
width: 20px;
height: 20px;
min-width: 20px;
min-height: 20px;
left: 0;
left: 3px;
top: 3px;
// Reduce opacity like Apex theme
opacity: 0.7;
}