GTK3: remove side marging of titlebuttons inside default-decoration headerbar

This commit is contained in:
Daniel Ruiz de Alegría 2021-10-28 10:47:57 +02:00
parent edb6efc305
commit e597eb02fd
No known key found for this signature in database
GPG Key ID: 59667A77E8BFCB6C

View File

@ -285,9 +285,12 @@ headerbar {
button.titlebutton { button.titlebutton {
min-height: 0; min-height: 0;
min-width: 0; min-width: 0;
&, &:last-child {
margin: 0; margin: 0;
} }
} }
}
} }
paned headerbar:first-child, paned headerbar:first-child,