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

This commit is contained in:
Daniel Ruiz de Alegría 2021-10-14 12:36:13 +02:00
parent 4cb943413f
commit 3fed386ccc
No known key found for this signature in database
GPG Key ID: 59667A77E8BFCB6C

View File

@ -287,10 +287,13 @@ headerbar {
button.titlebutton {
min-height: 0;
min-width: 0;
&, &:last-child {
margin: 0;
}
}
}
}
paned headerbar:first-child,
hdyleaflet headerbar:first-child,