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

Merge "Hide right border of only the last group in the toolbar"

Browse source
This commit is contained in:
jenkins-bot 2018-04-02 11:49:06 +00:00 committed by Gerrit Code Review
parent de1744edae 96518636b3
commit 37b51a2dc4
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -183,6 +183,10 @@
}
}
}
&:last-of-type {
border-right: 0;
}
}
.group-search {
@ -192,10 +196,6 @@
border-left: 1px solid #c8ccd1;
}
.group-insert {
border-right: 0;
}
/* Booklet */
.booklet {
.index {