wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-24 07:54:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Reduce the amount of space between the badges a bit"

Browse source
This commit is contained in:
jenkins-bot 2016-08-08 20:52:45 +00:00 committed by Gerrit Code Review
parent 5d5cb5bd94 68479f7442
commit 7ee4ffd1f4
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
modules/nojs/mw.echo.badge.less
View file

@ -7,7 +7,7 @@
#pt-notifications-notice & {
position: relative;
display: block;
width: 30px;
width: 24px;
height: 24px;
top: -5px;
cursor: pointer;
@ -46,7 +46,7 @@
display: inline-block;
cursor: pointer;
top: 10px;
left: 40%;
left: 50%;
font-size: 0.8em;
font-weight: bold;
padding: 0 0.3em;

2
modules/nojs/mw.echo.badge.monobook.less
View file

@ -5,7 +5,7 @@
.mw-echo-notifications-badge {
#pt-notifications-notice &,
#pt-notifications-alert & {
width: 20px;
width: 16px;
height: 16px;
top: -3px;