Skip to content

Instantly share code, notes, and snippets.

@ihiroky
Created May 2, 2022 06:14
Show Gist options
  • Select an option

  • Save ihiroky/691fa38e3c11ae28546d838bff27ad7c to your computer and use it in GitHub Desktop.

Select an option

Save ihiroky/691fa38e3c11ae28546d838bff27ad7c to your computer and use it in GitHub Desktop.
gtk.css to adjust (minimum) window title bar height (in .config/gtk-3.0/, .config/gtk-4.0/)
headerbar.default-decoration {
padding-top: 0px;
padding-bottom: 0px;
min-height: 0px;
font-size: 0.6em;
}
headerbar.default-decoration button.titlebutton {
padding: 0px;
min-height: 0px;
}
headerbar {
min-height: 0px;
padding-left: 2px; /* same as children's vertical margins for nicer proportions */
padding-right: 2px;
}
headerbar entry,
headerbar spinbutton,
headerbar button,
headerbar separator {
min-height: 0px;
margin-top: 0px;
margin-bottom: 0px;
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment