The appearance of windows in Gnome can be tweaked by applying custom CSS. Here
is a hack for slimming down the height of application title bars.
Before
Gnome title bars are fairly chunky when you compare them to what you get in
other environments such as Cinnamon, Unity or macOS.
