Gnome Shell

Smaller title bars (run this command, then restart Gnome Shell):

sudo sed -i "/title_vertical_pad/s/value=\"[0-9]\{1,2\}\"/value=\"0\"/g" /usr/share/themes/Adwaita/metacity-1/metacity-theme-3.xml

Tools

Articles

Slides