2022-03-26 01:59:17 +01:00
|
|
|
headerbar entry,
|
|
|
|
headerbar spinbutton,
|
|
|
|
headerbar button,
|
|
|
|
headerbar separator {
|
|
|
|
margin-top: 0px; /* same as headerbar side padding for nicer proportions */
|
|
|
|
margin-bottom: 0px;
|
|
|
|
}
|
|
|
|
|
|
|
|
headerbar {
|
2023-07-11 17:56:04 +02:00
|
|
|
min-height: 16px;
|
2022-03-26 01:59:17 +01:00
|
|
|
padding-left: 2px; /* same as childrens vertical margins for nicer proportions */
|
|
|
|
padding-right: 2px;
|
|
|
|
margin: 0px; /* same as headerbar side padding for nicer proportions */
|
|
|
|
padding: 0px;
|
|
|
|
}
|