Jak zmniejszyć grubość paska tytułu Ubuntu GNOME?

Poprzednio paski tytułowe dla okien były znacznie cieńsze niż teraz w Ubuntu GNOME 16.04.1 z GNOME 3.20. Dlaczego tak jest i jak mogę to zmienić? Podobał mi się ten smukły wygląd numix-gtk-theme, ale z jakiegoś powodu nie mam już tego smukłego wyglądu. Nie z żadnym motywem.

Oto jak gruby jest:

Widzisz ten grubszy pasek tytułowy, ponieważ używasz Gnome-Shell. W Gnome-Shell paski tytułowe motywu Numix są znacznie grubsze niż wersje dla Unity.

Sprawdź te dwa obrazy

1. Jedność

   

2. Gnome Shell

   

Aby zmniejszyć grubość paska tytułu

Aby zmniejszyć tę otyłość, wykonaj następujące kroki

1. Utwórz plik ~/.config/gtk-3.0/gtk.cssz tymi treściami

.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. Wyloguj się i zaloguj ponownie.

   Zrzut ekranu z sesji gnome-shell po zmianie

   

Jednak doniesiono, że ta poprawka czasami nie działa w GNOME 3.20. Aby temu zaradzić, możesz potrzebować rozwiązania tego pytania

• Jak zmienić wysokość paska tytułu w standardowych aplikacjach GTK i tych z headerbarami / CSD na Gnome 3.20

^{Źródło: /unix/257163/reduce-title-bar-height-in-gnome-3-gtk-3}