Skip to content

Instantly share code, notes, and snippets.

@jsorah
Created February 4, 2018 04:06
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jsorah/5e07a763213a652fc4f139b764aa6f69 to your computer and use it in GitHub Desktop.
Save jsorah/5e07a763213a652fc4f139b764aa6f69 to your computer and use it in GitHub Desktop.
Thing to make gnome3 toolbars not stupid
/* shrink headerbars */
headerbar {
min-height: 0px;
padding-left: 2px;
/* same as childrens vertical margins for nicer proportions */
padding-right: 2px;
/* background-color: #2d2d2d; */
}
headerbar entry, headerbar spinbutton, headerbar button, headerbar separator {
margin-top: 0px;
/* same as headerbar side padding for nicer proportions */
margin-bottom: 0px;
}
/* shrink ssd titlebars */
.default-decoration {
min-height: 0;
/* let the entry and button drive the titlebar size */
padding: 0px;
/* background-color: #2d2d2d; */
}
.default-decoration .titlebutton {
min-height: 0px;
/* tweak these two props to reduce button size */
min-width: 0px;
}
window.ssd headerbar.titlebar {
padding-top: 1px;
padding-bottom: 1px;
min-height: 0;
}
window.ssd headerbar.titlebar button.titlebutton {
padding-top: 1px;
padding-bottom: 1px;
min-height: 0;
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment