Catrope has uploaded a new change for review.
https://gerrit.wikimedia.org/r/238182
Change subject: Use math to compute badge padding in nojs
......................................................................
Use math to compute badge padding in nojs
More clearly indicates how those numbers get there, and fixes
a discrepancy of 0.02em.
Change-Id: Idbc33878953fda85185cada5550f99a1076b9036
---
M modules/nojs/mw.echo.badge.less
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Echo
refs/changes/82/238182/1
diff --git a/modules/nojs/mw.echo.badge.less b/modules/nojs/mw.echo.badge.less
index 242f5b1..4229f7c 100644
--- a/modules/nojs/mw.echo.badge.less
+++ b/modules/nojs/mw.echo.badge.less
@@ -8,7 +8,7 @@
.mixin-notifications-badge();
display: inline-block;
- padding: @badge-padding 0.35em @badge-padding 1.45em;
+ padding: @badge-padding (@badge-padding + 0.25em)
@badge-padding (@badge-padding + 0.25em + 1.1em);
body.ltr & {
background-position: @badge-padding center;
--
To view, visit https://gerrit.wikimedia.org/r/238182
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Idbc33878953fda85185cada5550f99a1076b9036
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Echo
Gerrit-Branch: master
Gerrit-Owner: Catrope <roan.katt...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
