Configs - Ubuntu Gnome

My Ubuntu Gnome configurations

gtk.css

 /*
 * File: ~/.config/gtk-3.0/gtk.css
 * Goal: Smallest window title bar on Ubuntu 18+
 * 
 * Reduce height of window header (title?) bars.
 * Seems enough to specify padding, no need to repeat
 *   padding-left padding-right padding-top padding-bottom
 * nor it seems necessary to even mention
 *   margin-top margin-bottom
 */


headerbar entry,    
headerbar spinbutton,    
headerbar button,    
headerbar separator {    
    margin-top: 0px; /* same as headerbar side padding for nicer proportions */    
    margin-bottom: 0px;    
}    

headerbar {    
    min-height: 0px;    
    padding-left: 0px; /* same as childrens vertical margins for nicer proportions */    
    padding-right: 0px;    
    margin: 0px; /* same as headerbar side padding for nicer proportions */    
    padding: 0px;    
}