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

Align notification badge higher on the personal navigation bar

Browse source 
Bug: T108190
Change-Id: Id25213689c2ec9a6031bd120020c0b5ebde6e14f
This commit is contained in:
Moriel Schottlender 2015-09-07 16:32:57 -07:00
parent 7a3a1ae1a0
commit 327466a2d3
2 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
modules/echo.mixins.less
View file

@ -9,4 +9,5 @@
cursor: pointer; cursor: pointer;
text-decoration: none; text-decoration: none;
background-color: #d2d2d2; background-color: #d2d2d2;
margin-top: -0.2em;
} }

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

@ -5,7 +5,7 @@
.mw-echo-notifications-badge { .mw-echo-notifications-badge {
#pt-notifications_alert &, #pt-notifications_alert &,
#pt-notifications_message & { #pt-notifications_message & {
.mixin-notifications-badge; .mixin-notifications-badge();
display: inline-block; display: inline-block;
padding: @badge-padding 0.35em @badge-padding 1.45em; padding: @badge-padding 0.35em @badge-padding 1.45em;