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

Merge "Add left padding to PageNotificationsOptionWidget"

Browse source
This commit is contained in:
jenkins-bot 2017-11-29 19:21:36 +00:00 committed by Gerrit Code Review
parent 7a47520ba3 41a4cc4ae6
commit f18d3646eb
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.PageNotificationsOptionWidget.less
View file

@ -35,7 +35,7 @@
} }
&-title { &-title {
padding: 0.2em 0; padding: 0.2em 0 0.2em 0.5em;
} }
&-count { &-count {