Skip to content

Instantly share code, notes, and snippets.

View DrRek's full-sized avatar
🎯
Focusing

No DrRek

🎯
Focusing
View GitHub Profile
@DrRek
DrRek / gtk.css
Last active April 26, 2019 10:12
~/.config/gtk-3.0/gtk.css to make title bar smaller
/* shrink headerbars (don't forget semicolons after each property) */
headerbar {
min-height: 0px;
padding-left: 2px; /* same as childrens vertical margins for nicer proportions */
padding-right: 2px;
background-color: #2d2d2d;
font-size: 0.8em;
}
headerbar entry,