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

Fix gap between notification pop-up header and notifications

Browse source 
Change-Id: I12261ad8033af7286d426933df19611b8163d9c9
This commit is contained in:
Kaldari 2017-09-26 18:42:22 -07:00
parent 7e7c6d0662
commit 4381dbbe8a
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/styles/mw.echo.ui.NotificationBadgeWidget.less
View file

@ -24,7 +24,7 @@
> .oo-ui-labelElement-label {
font-size: 1.2em;
padding: 0.3em;
padding: 0.25em;
margin-left: 0;
font-weight: bold;
}