A Manic Developer's Place

Resize gnome 3 titlebars

July 2, 2017

Linux Other

Edit ~/.config/gtk-3.0/gtk.css and log out / in.


.header-bar {
padding-top: 2.5px;
padding-bottom: 2.5px;
}

.header-bar .button {
padding-top: 4px;
padding-bottom: 4px;
}

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

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

ManicDev on Github

-----BEGIN GEEK CODE BLOCK-----
Version: 3.1
GCS/O d-pu s-:+++ a+ C+++ UL+++ P- L++ E--- W+++ N o-- K--? w++ O M+ V PS PE Y+ PGP t+ 5? X+ R tv- b+ DI- D++ G e+ h++ r++ z
------END GEEK CODE BLOCK------