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

Authored by jenkins-bot.


Updated mediawiki/core Project: mediawiki/extensions/Echo b0fe60d42f2008cba5b9d530c310369c07dcbb2a

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
(cherry picked from commit b6712be9a3948b7a7922641d9f2cf5363b8511de)

Event Timeline

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