Bagaimana cara menurunkan kegemukan bilah judul GNOME Ubuntu?

Sebelumnya bilah judul untuk windows jauh lebih tipis daripada yang sekarang ada di Ubuntu GNOME 16.04.1 dengan GNOME 3.20. Mengapa ini dan bagaimana saya bisa mengubahnya? Saya menyukai tampilan ramping yang saya dapatkan numix-gtk-theme, tetapi untuk beberapa alasan saya tidak mendapatkan tampilan ramping lagi. Tidak dengan tema apa pun.

Ini adalah lemaknya:

Anda melihat bilah judul yang lebih gemuk ini karena Anda menggunakan Gnome-Shell. Di Gnome-Shell, bilah judul tema Numix jauh lebih gemuk daripada versi untuk Unity.

Periksa kedua gambar ini

1. Kesatuan

   

2. Gnome Shell

   

Untuk mengurangi kegemukan batang judul

Untuk mengurangi kegemukan ini, ikuti langkah-langkah ini

1. Buat file ~/.config/gtk-3.0/gtk.cssdengan konten ini

.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. Logout dan Login lagi.

   Tangkapan layar dari sesi gnome-shell setelah perubahan

   

Namun, dilaporkan bahwa tweak ini kadang-kadang tidak berfungsi untuk GNOME 3.20. Untuk mengatasinya, Anda mungkin perlu solusi dari pertanyaan ini

• Cara mengubah ketinggian batang judul di aplikasi GTK standar dan yang menggunakan headerbar / CSD di Gnome 3.20

^{Sumber: /unix/257163/reduce-title-bar-height-in-gnome-3-gtk-3}