Adwaita: add vertical margins to headerbar buttons

to avoid them spanning the whole headerbar height with the changes
introduced in my last commit.
This commit is contained in:
Lapo Calamandrei 2016-01-09 10:19:47 +01:00
parent 3a774abbfe
commit bf48dd9d7c
3 changed files with 23 additions and 0 deletions

View File

@ -1143,6 +1143,7 @@ headerbar {
@extend .dim-label;
}
// FIXME: we need a safer way to select this separator
& > GtkBox > separator.vertical {
border-width: 0 1px;
border-image: linear-gradient(to bottom,
@ -1285,6 +1286,12 @@ headerbar {
padding: 0 5px;
}
}
// add vertical margins to headerbar buttons to avoid them spanning the whole height
button {
margin-top: 6px;
margin-bottom: 6px;
}
}
.titlebar {

View File

@ -1927,6 +1927,14 @@ headerbar {
.titlebar headerbar.default-decoration button.titlebutton {
min-height: 26px;
padding: 0 5px; }
.titlebar:not(headerbar) button,
.titlebar:not(headerbar) button.titlebutton,
headerbar button,
headerbar button.titlebutton,
headerbar .titlebar button.titlebutton,
.titlebar headerbar button.titlebutton {
margin-top: 6px;
margin-bottom: 6px; }
.titlebar, .titlebar:backdrop {
border-top-left-radius: 7px;

View File

@ -1931,6 +1931,14 @@ headerbar {
.titlebar headerbar.default-decoration button.titlebutton {
min-height: 26px;
padding: 0 5px; }
.titlebar:not(headerbar) button,
.titlebar:not(headerbar) button.titlebutton,
headerbar button,
headerbar button.titlebutton,
headerbar .titlebar button.titlebutton,
.titlebar headerbar button.titlebutton {
margin-top: 6px;
margin-bottom: 6px; }
.titlebar, .titlebar:backdrop {
border-top-left-radius: 7px;