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

Change subject: Never underline the badge
......................................................................


Never underline the badge

If link underlining is on, then the number in the badge
will be underlined. This is probably never needed, even
if the user wants to underline regular links.
Set text-decoration to none in all cases.

Change-Id: Ifaca38a8f0a6a3c8df39502a3da582f639ec6333
---
M modules/badge/ext.echo.badge.css
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Bsitu: Looks good to me, but someone else must approve
  Kaldari: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/modules/badge/ext.echo.badge.css b/modules/badge/ext.echo.badge.css
index c9fd51e..26146c8 100644
--- a/modules/badge/ext.echo.badge.css
+++ b/modules/badge/ext.echo.badge.css
@@ -10,12 +10,12 @@
        color: white;
        text-shadow: 0 1px rgba(0, 0, 0, 0.4);
        cursor: pointer;
+       text-decoration: none;
 }
 #pt-notifications .mw-echo-notifications-badge:hover,
 #pt-notifications .mw-echo-notifications-badge:active,
 #pt-notifications .mw-echo-notifications-badge:focus {
        background-color: #c2c2c2;
-       text-decoration: none;
        outline: none;
        -moz-outline-style: none;
 }

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

Gerrit-MessageType: merged
Gerrit-Change-Id: Ifaca38a8f0a6a3c8df39502a3da582f639ec6333
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Echo
Gerrit-Branch: master
Gerrit-Owner: Amire80 <[email protected]>
Gerrit-Reviewer: Amire80 <[email protected]>
Gerrit-Reviewer: Bsitu <[email protected]>
Gerrit-Reviewer: Kaldari <[email protected]>
Gerrit-Reviewer: Nikerabbit <[email protected]>
Gerrit-Reviewer: jenkins-bot

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

Reply via email to