Уменьшите высоту строки заголовка приложений, не переключая тему в Ubuntu 18.04

Принятие Вас использует Gnome 3 -

1. Откройте или Создайте файл: ~/.config/gtk-3.0/gtk.css (~ исходное расположение для Вашего текущего пользователя. Например, если Ваш пользователь demo, затем ~ представил бы \home\demo)

2. Добавьте следующий CSS к файлу

   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. Выполненный ALT+F2 и обеспечьте букву'r'в диалоговом окне, которое появляется, что и хит входят для обновления стиля

Для большего количества информации отошлите исходное решение от Unix Stackexchange: https://unix.stackexchange.com/questions/276951/how-to-change-the-titlebar-height-in-standard-gtk-apps-and-those-with-headerbars? utm_medium=organic&utm_source=google_rich_qa&utm_campaign=google_rich_qa

Вышеупомянутое не работало на меня..., но я получил хорошие результаты со следующим в моем файле ~/.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;
}