Skip to content

Instantly share code, notes, and snippets.

@73
Created January 2, 2017 10:58
Show Gist options
  • Select an option

  • Save 73/a0501c1b6ba8abf9d488daefcf0289e4 to your computer and use it in GitHub Desktop.

Select an option

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
Copy Markdown

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