Ubuntu 18.04: Reduzieren der Titelleistenhöhe

Früher waren die Titelleisten für Fenster viel dünner als unter Ubuntu 18.04. Abhilfe schafft folgende Anleitung:

1. Datei anlegen

Unter dem folgenden Pfad die Datei „gtk.css“ erstellen:

~/.config/gtk-3.0/gtk.css

2. Inhalt einfügen

Den folgenden Inhalt in die Datei einfügen:

.header-bar.default-decoration {
	padding-top: 3px;
	padding-bottom: 3px;
	font-size: 0.8em;
}
.header-bar.default-decoration .button.titlebutton {
	padding: 0px;
}
window.ssd headerbar.titlebar {
	padding-top: 4px;
	padding-bottom: 4px;
	min-height: 0;
}
window.ssd headerbar.titlebar button.titlebutton {
	padding: 0px;
	min-height: 0;
	min-width: 0;
}

3. Neustart

Das System neu starten.