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

Merge "Increase clickable area of tabs buttons"

Browse source
This commit is contained in:
jenkins-bot 2020-03-07 00:26:55 +00:00 committed by Gerrit Code Review
parent 0ec37de599 6ced54bdf6
commit 707fa69276
1 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -35,14 +35,14 @@
float: left;
height: 100%;
list-style: none;
margin: 3px;
min-height: 26px;
margin: 0 3px;
min-height: 32px;
position: relative;
span.tab {
display: block;
float: left;
line-height: 26px;
line-height: 32px;
a,
a:visited {
@ -53,7 +53,7 @@
cursor: pointer;
display: inline-block;
float: left;
height: 26px;
height: 32px;
padding-left: 18px;
padding-right: 12px;
}
@ -75,7 +75,7 @@
.section-main {
position: relative;
float: left;
min-height: 26px;
min-height: 32px;
height: 100%;
}