GTK3: reduce headerbar height for apps using hdyviewswitcher

This commit is contained in:
Daniel Ruiz de Alegría 2020-06-03 14:52:56 +02:00
parent d478e4271e
commit 18d4cda44f
4 changed files with 23 additions and 0 deletions

View File

@ -4872,6 +4872,12 @@ headerbar {
background-image: -gtk-scaled(url("assets/kali-headerbar-logo-dark.png"), url("assets/kali-headerbar-logo-dark@2.png"));
background-repeat: no-repeat;
background-position: left; }
.titlebar hdyviewswitcher > button box.narrow,
headerbar hdyviewswitcher > button box.narrow {
margin: -7px 0 -5px; }
.titlebar hdyviewswitcher > button box.wide,
headerbar hdyviewswitcher > button box.wide {
margin: -8px 0; }
.titlebar.default-decoration,
headerbar.default-decoration {
min-height: 0;

View File

@ -4872,6 +4872,12 @@ headerbar {
background-image: -gtk-scaled(url("assets/kali-headerbar-logo-dark.png"), url("assets/kali-headerbar-logo-dark@2.png"));
background-repeat: no-repeat;
background-position: left; }
.titlebar hdyviewswitcher > button box.narrow,
headerbar hdyviewswitcher > button box.narrow {
margin: -7px 0 -5px; }
.titlebar hdyviewswitcher > button box.wide,
headerbar hdyviewswitcher > button box.wide {
margin: -8px 0; }
.titlebar.default-decoration,
headerbar.default-decoration {
min-height: 0;

View File

@ -4894,6 +4894,12 @@ headerbar {
background-image: -gtk-scaled(url("assets/kali-headerbar-logo.png"), url("assets/kali-headerbar-logo@2.png"));
background-repeat: no-repeat;
background-position: left; }
.titlebar hdyviewswitcher > button box.narrow,
headerbar hdyviewswitcher > button box.narrow {
margin: -7px 0 -5px; }
.titlebar hdyviewswitcher > button box.wide,
headerbar hdyviewswitcher > button box.wide {
margin: -8px 0; }
.titlebar.default-decoration,
headerbar.default-decoration {
min-height: 0;

View File

@ -138,6 +138,11 @@ headerbar {
&:active, &:checked { @extend %button_active; }
}
hdyviewswitcher > button box {
&.narrow { margin: -7px 0 -5px; }
&.wide { margin: -8px 0; }
}
&.default-decoration {
min-height: 0;
padding: 3px;