fedora: make gnome title bar smaller

2016-08-29

Source.

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