@grishka
I see that the ticket has been marked as Fixed in our bug tracking system quite recently, but I don't know if it made it into today's release or will go out with one of the next updates.
@Vivaldi not fixed in the current update. But now that I installed it, I have to figure out how to undo your unprompted, first-time-in-eternity UI changes. I don't need my tabs to have a margin below them, thank you very much.
@Vivaldi ah ok no need to mess with the user CSS, there is a setting called "compact". Maybe it should be the default for existing users, or at least mentioned on the "what's new" page.
Gregory's Server
@Vivaldi not fixed in the current update. But now that I installed it, I have to figure out how to undo your unprompted, first-time-in-eternity UI changes. I don't need my tabs to have a margin below them, thank you very much.