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 {
min-height: 28px;
padding: 4px;
min-height: 0px;
padding: 0px 2px;
windowcontrols {
button,
menubutton {
min-height: 26px;
min-width: 26px;
min-height: 18px;
min-width: 18px;
margin: 0;
padding: 0;
}
menubutton button {
min-height: 20px;
min-width: 20px;
min-height: 18px;
min-width: 18px;
margin: 0;
padding: 4px;
}