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

Use math to compute badge padding in nojs

Browse source 
More clearly indicates how those numbers get there, and fixes
a discrepancy of 0.02em.

Change-Id: Idbc33878953fda85185cada5550f99a1076b9036
This commit is contained in:
Roan Kattouw 2015-09-14 18:47:29 +02:00
parent b046a1062d
commit 0c5869c216
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/nojs/mw.echo.badge.less
View file

@ -8,7 +8,7 @@
.mixin-notifications-badge(); .mixin-notifications-badge();
display: inline-block; 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 & { body.ltr & {
background-position: @badge-padding center; background-position: @badge-padding center;