-
Florian Müllner authored
After changing the sidebar into a popover, borders and spacing looks slightly off; tweak them a bit to fit the new UI. https://bugzilla.gnome.org/show_bug.cgi?id=727039
99bb16df
After changing the sidebar into a popover, borders and spacing looks slightly off; tweak them a bit to fit the new UI. https://bugzilla.gnome.org/show_bug.cgi?id=727039