Ridimensionare barra del titolo e tab in Gnome 3.18

Questa è modifica veloce per avere un po’ più di spazio in Gnome 3.18, utile sopratutto negli schermi a bassa risoluzione.

Nell’esempio proposto le modifiche sono state fatte usando come base il tema Numix, ma penso siano applicabili anche a tutti gli altri temi.

Giusto per farvi capire cosa intendo vi metto degli screenshot del prima e del dopo:

Prima e Dopo la modifica del CSS

Prima e Dopo la modifica del CSS

vi assicuro che questa modifica fa una grande differenza, sopratutto se abbinata ad estensioni gnome-shell come Hide Top Bar.

Come fare per raggiungere questo risultato?

Basta creare il file ~/.config/gtk-3.0/gtk.css e aggiungere queste poche righe di codice CSS:

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

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

TerminalWindow .notebook {
    border: 0;
    padding: 0;
    color: #fff;
    background-color: shade(#313131, 1);
}

TerminalWindow .notebook tab:active {
    background-color: shade(#313131,1);
}

TerminalWindow .notebook tab {
    border-radius: 0px;
    padding: 2px;
    background-color: shade(#222, 1);
}

Una volta salvato il file basta riavviare la shell (alt+f2 –> r –> invio) e riavviare il terminale.

Ovviamente è possibile ridurre ancora i margini e il risultato resta utilizzabile ma molto, molto brutto.

Per chi fosse interessato, il font usato nel terminale è: Inconsolata