[GTK 3.20] Use homogeneous margin on both side of headerbar separator. Fixes #442

pull/528/head
Csaba Jakosa 2016-08-25 17:04:46 +02:00 committed by Khurshid Alam
parent ea2a1710ee
commit 85b5247e9d
1 changed files with 5 additions and 0 deletions

View File

@ -132,6 +132,11 @@
separator.titlebutton { margin-left: $spacing * 2; }
button.titlebutton + separator.titlebutton {
margin-left: 0;
margin-right: $spacing * 2;
}
button.titlebutton {
padding: $spacing;
border: 0;