Check these links: I managed to reduce the padding of those huge menus. https://blog.samalik.com/make-your-gnome-title-bars-smaller/ https://blog.samalik.com/m

Check these links: I managed to reduce the padding of those huge menus. https://blog.samalik.com/make-your-gnome-title-bars-smaller/ https://blog.samalik.com/make-your-gnome-title-bars-smaller/ https://blog.samalik.com/make-your-gnome-title-bar-smaller-fedora-24-update/ https://blog.samalik.com/make-your-gnome-title-bar-smaller-f... https://stackoverflow.com/questions/36869701/decrease-the-tabs-bar-height-in-gnome-terminal https://stackoverflow.com/questions/36869701/decrease-the-ta... Your CSS must go to ~/.config/gtk-3.0/gtk.css