Como reduzir o tamanho da margem / preenchimento da barra de título em massa no GNOME

Question

Recentemente, fiz um upgrade de 15.04 para 15.10 e não acredito que as margens fossem tão ridículas, então estou pensando se algo foi redefinido / alterado.

Como você pode ver, a barra superior do GNOME é de tamanho normal & amp; A barra de abas do Firefox também é de tamanho normal. Em seguida, bem no meio é a monstruosidade de uma barra de título que é aproximadamente o dobro do tamanho que deveria ser.

Estou usando o Numix para o tema GTK +, que nunca pareceu tão inchado em nenhuma outra máquina que usei. Tentei reduzir o tamanho da fonte da barra de título, mas o problema é a margem / preenchimento que estou supondo que não parece haver nenhuma configuração.

    

Answer 1

Crie ou modifique ~/.config/gtk-3.0/gtk.css

.header-bar.default-decoration { 
     padding-top: 3px; 
     padding-bottom: 3px; 
     border: none; 
     background-image: linear-gradient(to bottom, 
                    shade(@theme_bg_color, 1.05), 
                    shade(@theme_bg_color, 0.99)); 
     box-shadow: inset 0 1px shade(@theme_bg_color, 1.4); 
} 

.header-bar.default-decoration .button.titlebutton { 
     padding-top: 2px; 
     padding-bottom: 2px; 
} 

Em seguida, reinicie o shell do GNOME com o comando Alt + F2 e r as.

Source : link

    

Answer 2

Crie ou modifique ~/.config/gtk-3.0/gtk.css

.header-bar.default-decoration { 
     padding-top: 3px; 
     padding-bottom: 3px; 
     border: none;
}

.header-bar.default-decoration .button.titlebutton { 
     padding-top: 2px; 
     padding-bottom: 2px; 
}

Em seguida, reinicie o shell do GNOME com o comando Alt + F2 e r as.

Os bits extras omitidos desta resposta atrapalharam o tema Numix.