How to make the title bars in Gnome Shell much thinner than the default.
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~/.config/gtk-3.0/gtk.css Then put this code into it. Updated for Gnome Shell on Ubuntu 18.04. # Gnome 3 – based on https://blog.samalik.com/make-your-gnome-title-bars-smaller/ .header-bar.default-decoration { padding-top: 1px; padding-bottom: 1px; font-size: … Read more