Skip to content

Instantly share code, notes, and snippets.

@73
Created January 2, 2017 10:58
Show Gist options
  • Save 73/a0501c1b6ba8abf9d488daefcf0289e4 to your computer and use it in GitHub Desktop.
Save 73/a0501c1b6ba8abf9d488daefcf0289e4 to your computer and use it in GitHub Desktop.
Make Gnome Headerbars Pretty
/* GTK 3.20 .config/gtk-3.0/gtk.css */
headerbar {
min-height: 0px;
padding-left: 5px; /* same as childrens vertical margins for nicer proportions */
padding-right: 4px;
}
/*headerbar entry,
headerbar spinbutton,
headerbar button,
headerbar separator {
margin-top: 0px; /* same as headerbar side padding for nicer proportions
margin-bottom: 0px;
margin-left: 3px;
}*/
/* shrink ssd titlebars */
.default-decoration {
min-height: 0; /* let the entry and button drive the titlebar size */
padding: 0px
}
.default-decoration .titlebutton {
min-height: 3px; /* tweak these two props to reduce button size */
min-width: 8px;
}
window.ssd headerbar.titlebar {
padding-top: 3px;
padding-bottom: 3px;
padding-left: 4px;
min-height: 0;
}
window.ssd headerbar.titlebar button.titlebutton {
padding-top: 3px;
padding-bottom:3px;
padding-left: 4px;
min-height: 0;
}
@d4n3sh
Copy link

d4n3sh commented May 15, 2017

Thanks, worked great!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment