fedora: make gnome title bar smaller

Posted on Aug 29, 2016

This is a quick tip to make the title bar of gnome a bit smaller. http://blog.samalik.com/make-your-gnome-title-bar-smaller-fedora-24-update/

echo '  
window.ssd headerbar.titlebar {  
padding-top: 4px;  
padding-bottom: 4px;  
min-height: 0;  
}

window.ssd headerbar.titlebar button.titlebutton {  
padding: 0px;  
min-height: 0;  
min-width: 0;  
}  
' > ~/.config/gtk-3.0/gtk.css