Як зменшити жирність рядка заголовка Ubuntu GNOME?

Раніше смуги заголовків для Windows були набагато тоншими, ніж зараз на Ubuntu GNOME 16.04.1 з GNOME 3.20. Чому це і як я можу це змінити? Мені сподобався тонкий вигляд, який я маю numix-gtk-theme, але я чомусь більше не отримую такого стрункого вигляду. Не з якоюсь темою.

Ось як це жир:

Ви бачите цей жирний заголовок, тому що ви використовуєте Gnome-Shell. У Gnome-Shell заголовки теми Numix набагато товстіші, ніж версії для Unity.

Перевірте ці два зображення

1. Єдність

   

2. Гном Шелл

   

Щоб зменшити жирність заголовка

Щоб зменшити цю жирність, виконайте ці кроки

1. Створіть файл ~/.config/gtk-3.0/gtk.cssіз цим вмістом

.header-bar.default-decoration {
    padding-top: 4px;
    padding-bottom: 4px;
    }

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

/* No line below the title bar */
.ssd .titlebar {
    border-width: 2px;
    box-shadow: none;
}

2. Вийдіть та увійдіть знову.

   Скріншот із сеансу gnome-shell після зміни

   

Однак повідомляється, що ця настройка не працює для GNOME 3.20 іноді. Щоб вирішити це, вам може знадобитися рішення цього питання

• Як змінити висоту заголовка в стандартних додатках GTK та тих, у кого заголовки / CSD на Gnome 3.20

^{Джерело: /unix/257163/reduce-title-bar-height-in-gnome-3-gtk-3}