* Optimised headerbar and titlebar size.
parent
023bd6f646
commit
ea7bc180e3
|
@ -96,13 +96,13 @@
|
||||||
spinbutton,
|
spinbutton,
|
||||||
separator,
|
separator,
|
||||||
button { // Size height
|
button { // Size height
|
||||||
margin-top: $spacing + 3px;
|
margin-top: $spacing;
|
||||||
margin-bottom: $spacing + 3px;
|
margin-bottom: $spacing;
|
||||||
}
|
}
|
||||||
|
|
||||||
switch { // Size height
|
switch { // Size height
|
||||||
margin-top: $spacing + 1px;
|
margin-top: $spacing - 2px;
|
||||||
margin-bottom: $spacing + 1px;
|
margin-bottom: $spacing - 2px;
|
||||||
}
|
}
|
||||||
|
|
||||||
window:not(.tiled):not(.maximized) separator:first-child + &, // tackles the paned container case
|
window:not(.tiled):not(.maximized) separator:first-child + &, // tackles the paned container case
|
||||||
|
@ -118,7 +118,7 @@
|
||||||
border-radius: $roundness $roundness 0 0;
|
border-radius: $roundness $roundness 0 0;
|
||||||
color: mix($titlebar_fg_color, $titlebar_bg_color, .1);
|
color: mix($titlebar_fg_color, $titlebar_bg_color, .1);
|
||||||
padding: 0 $spacing;
|
padding: 0 $spacing;
|
||||||
min-height: 42px;
|
min-height: 38px;
|
||||||
|
|
||||||
&:backdrop {
|
&:backdrop {
|
||||||
@include linear-gradient($titlebar_bg_color);
|
@include linear-gradient($titlebar_bg_color);
|
||||||
|
|
Loading…
Reference in New Issue