View switcher bar sizing improvements
This makes the view switcher and the view switcher bar better match the mockups by adding margins and making the view switcher request a sane minimum natural size: https://gitlab.gnome.org/Teams/Design/os-mockups/blob/master/view-switcher/view-switcher-example-apps.png
Edited by Adrien Plazas