Compare commits

...

1 Commits

Author SHA1 Message Date
Matthias Clasen
ebd3c2b3f5 theme: Reduce the height of titlebars
The height of our titlebars is geared towards headerbars that can
host controls. For a traditional title-only titlebar, a smaller
footprint is sufficient and frees up some valuable vertical space
2024-05-15 13:22:32 -04:00

View File

@@ -1555,21 +1555,21 @@ headerbar {
} }
&.default-decoration { &.default-decoration {
min-height: 28px; min-height: 0px;
padding: 4px; padding: 0px 2px;
windowcontrols { windowcontrols {
button, button,
menubutton { menubutton {
min-height: 26px; min-height: 18px;
min-width: 26px; min-width: 18px;
margin: 0; margin: 0;
padding: 0; padding: 0;
} }
menubutton button { menubutton button {
min-height: 20px; min-height: 18px;
min-width: 20px; min-width: 18px;
margin: 0; margin: 0;
padding: 4px; padding: 4px;
} }