wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-24 10:49:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Fix notification popup header always showing a scrollbar"

Browse source
This commit is contained in:
jenkins-bot 2020-08-10 23:38:53 +00:00 committed by Gerrit Code Review
parent 0d414cf1ec a5d35141f4
commit 8dd53eb8a8
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/styles/mw.echo.ui.NotificationBadgeWidget.less
View file

@ -22,7 +22,7 @@
margin: 0 0 0 0.4761905em; // = 8px as result of ≈0.5714286 / 1.2 (element's font-size)
font-size: 1.2em;
font-weight: bold;
line-height: 2.6190476em; // = 44px as result of ≈3.1428571 / 1.2 (element's font-size)
line-height: 2.5595238em; // = 43px as result of 43 (44 - 1 because of the border-box) / 16 / 0.875 / 1.2 (element's font-size)
}
.mw-echo-ui-notificationsWidget-markAllReadButton {