Diminui a altura da barra de título dos aplicativos sem alternar o tema no Ubuntu 18.04

Question

Como diminuo a altura da barra de título dos aplicativos sem alternar o tema?

    

Answer 1

O acima não funcionou para mim ... mas obtive bons resultados com o seguinte no meu arquivo ~ / .config / gtk-3.0 / gtk.css:

 /*
 * 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
 */

.default-decoration {
    min-height: 0px;
    padding: 3px;
}

.default-decoration .titlebutton {
    min-height: 0px;
    padding: 0px;
}

    

Answer 2

Supondo que você esteja usando o Gnome 3 -

1. Abra ou crie o arquivo: ~/.config/gtk-3.0/gtk.css ( ~ é o local de origem do usuário atual. Por exemplo, se o usuário for demo , ~ representará \home\demo )

2. Adicione o seguinte CSS ao arquivo

   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: 24px;    
       padding-left: 2px; /* same as childrens vertical margins for nicer proportions */    
       padding-right: 2px;    
       margin: 0px; /* same as headerbar side padding for nicer proportions */    
       padding: 0px;    
   }    
   

3. Execute ALT+F2 e forneça a letra ' r ' na caixa de diálogo que aparece e pressione Enter para atualizar o estilo

Para mais informações, consulte a solução original do Unix Stackexchange: link