HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/Echo…

Authored by jenkins-bot.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/Echo 084080eae029c6a2ffdcb6b2437104486896256a

Reduce distance between notification badges

Notification badges are conceptually closer together than the rest of toolbar elements.
So it makes sense to move them closer visually too.

This is just a small CSS adjustment to compensate for the default margin
that items in the menu get. If there is a cleanner way to achieve the same,
feel free to refactor.

Bug: T108190
Change-Id: I06403f67c24f045c125c505dca2101f9eed79594

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rMEXT9521552a87bb: Updated mediawiki/extensions Project: mediawiki/extensions/Echo… (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Sep 9 2015, 8:11 PM