From 8a8d1c4ff9a87dda836d68cc01363736a95d817d Mon Sep 17 00:00:00 2001
From: Moriel Schottlender <moriel@gmail.com>
Date: Tue, 15 Sep 2015 15:43:51 -0700
Subject: [PATCH] Adjust margins for the notification badge in MonoBook

Change-Id: Iae8c9a855fa407990548691d46974303fcc77ad9
---
 .../mw.echo.ui.NotificationBadgeWidget.monobook.less  | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/modules/ooui/styles/mw.echo.ui.NotificationBadgeWidget.monobook.less b/modules/ooui/styles/mw.echo.ui.NotificationBadgeWidget.monobook.less
index a30585225..f122c85e5 100644
--- a/modules/ooui/styles/mw.echo.ui.NotificationBadgeWidget.monobook.less
+++ b/modules/ooui/styles/mw.echo.ui.NotificationBadgeWidget.monobook.less
@@ -1,10 +1,15 @@
+@import '../../echo.variables';
+
 .mw-echo-ui-notificationBadgeButtonPopupWidget {
 	text-transform: none;
 	font-weight: normal;
 	// Badge
-	> .oo-ui-buttonElement-button:hover {
-		.oo-ui-labelElement-label {
-			color: black !important;
+	> .oo-ui-buttonElement-button {
+		padding-right: (@badge-padding + 0.25em);
+		&:hover {
+			.oo-ui-labelElement-label {
+				color: black !important;
+			}
 		}
 	}