Come snellire la fatica della barra del titolo di Ubuntu GNOME?

In precedenza le barre del titolo per Windows erano molto più sottili di quanto non siano ora su Ubuntu GNOME 16.04.1 con GNOME 3.20. Perché è questo e come posso cambiarlo? Mi è piaciuto il look snello che ho ottenuto con il numix-gtk-theme, ma per qualche motivo non ho più quel look snello. Non con nessun tema.

Ecco quanto è grasso:

Stai vedendo questa barra del titolo più grassa perché stai usando Gnome-Shell. In Gnome-Shell, le barre del titolo del tema Numix sono molto più grasse rispetto alle versioni di Unity.

Controlla queste due immagini

1. Unità

   

2. Gnome Shell

   

Per ridurre il grasso della barra del titolo

Per ridurre questo grasso, attenersi alla seguente procedura

1. Crea un file ~/.config/gtk-3.0/gtk.csscon questi contenuti

.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. Esci e accedi di nuovo.

   Uno screenshot della sessione di gnome-shell dopo il cambiamento

   

Tuttavia, è stato riferito che questo tweak a volte non funziona con GNOME 3.20. Per far fronte a ciò, potresti aver bisogno della soluzione da questa domanda

• Come modificare l'altezza della barra del titolo nelle app GTK standard e in quelle con headerbar / CSD su Gnome 3.20

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