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.