jenkins-bot has submitted this change and it was merged.

Change subject: Tweak badge styles
......................................................................


Tweak badge styles

Bug: T141923
Bug: T142454
Change-Id: Id82681369ffcb41b18ea408fc8bdc7fdd7d65ec6
---
M modules/nojs/mw.echo.badge.less
M modules/nojs/mw.echo.badge.monobook.less
M modules/nojs/mw.echo.badge.vector.less
3 files changed, 10 insertions(+), 3 deletions(-)

Approvals:
  Mooeypoo: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/modules/nojs/mw.echo.badge.less b/modules/nojs/mw.echo.badge.less
index 854f199..404a45d 100644
--- a/modules/nojs/mw.echo.badge.less
+++ b/modules/nojs/mw.echo.badge.less
@@ -45,9 +45,9 @@
                        position: absolute;
                        display: inline-block;
                        cursor: pointer;
-                       top: 10px;
-                       left: 50%;
-                       font-size: 0.8em;
+                       top: 9px;
+                       left: 55%;
+                       font-size: 0.9em;
                        font-weight: bold;
                        padding: 0 0.3em;
                        border: 1px solid white;
diff --git a/modules/nojs/mw.echo.badge.monobook.less 
b/modules/nojs/mw.echo.badge.monobook.less
index 6247ee9..5037faf 100644
--- a/modules/nojs/mw.echo.badge.monobook.less
+++ b/modules/nojs/mw.echo.badge.monobook.less
@@ -35,4 +35,5 @@
 #p-personal #pt-notifications-alert,
 #p-personal #pt-notifications-notice {
        display: inline-block;
+       margin-right: 0.2em;
 }
diff --git a/modules/nojs/mw.echo.badge.vector.less 
b/modules/nojs/mw.echo.badge.vector.less
index 9355cb7..17f50a7 100644
--- a/modules/nojs/mw.echo.badge.vector.less
+++ b/modules/nojs/mw.echo.badge.vector.less
@@ -14,3 +14,9 @@
                }
        }
 }
+
+#p-personal #pt-notifications-alert,
+#p-personal #pt-notifications-notice {
+       margin-top: 0.3em;
+       margin-right: 0.4em;
+}

-- 
To view, visit https://gerrit.wikimedia.org/r/304584
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Id82681369ffcb41b18ea408fc8bdc7fdd7d65ec6
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/Echo
Gerrit-Branch: master
Gerrit-Owner: Catrope <[email protected]>
Gerrit-Reviewer: Mooeypoo <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to