A blog post by Allan Day addresses the vertical space issue: https://blogs.gnome.org/aday/2014/08/27/gnome-design-saving-you-space-since-2009-or-so/ https://blo

A blog post by Allan Day addresses the vertical space issue: https://blogs.gnome.org/aday/2014/08/27/gnome-design-saving-you-space-since-2009-or-so/ https://blogs.gnome.org/aday/2014/08/27/gnome-design-saving-....