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

Adjust margins for the notification badge in MonoBook

Browse source 
Change-Id: Iae8c9a855fa407990548691d46974303fcc77ad9
This commit is contained in:
Moriel Schottlender 2015-09-15 15:43:51 -07:00 committed by Catrope
parent c5905962ab
commit 8a8d1c4ff9
1 changed files with 8 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
modules/ooui/styles/mw.echo.ui.NotificationBadgeWidget.monobook.less
View file

@ -1,12 +1,17 @@
@import '../../echo.variables';
.mw-echo-ui-notificationBadgeButtonPopupWidget { .mw-echo-ui-notificationBadgeButtonPopupWidget {
text-transform: none; text-transform: none;
font-weight: normal; font-weight: normal;
// Badge // Badge
> .oo-ui-buttonElement-button:hover { > .oo-ui-buttonElement-button {
padding-right: (@badge-padding + 0.25em);
&:hover {
.oo-ui-labelElement-label { .oo-ui-labelElement-label {
color: black !important; color: black !important;
} }
} }
}
// Footer // Footer
.oo-ui-popupWidget-footer { .oo-ui-popupWidget-footer {