The title bars in the Gnome Shell desktop environment by default are much too thick. This simple code sample will make them thinner. Just create this file. ~/.config/gtk-3.0/gtk.css. Then put this code into it. headerbar { min-height: 0px; padding-top: 2px; padding-bottom: 2px; padding-right: 2px; padding-left: 2px; }   headerbar entry, headerbar spinbutton, headerbar button, headerbar …