[GTK 3.20] Optimized sidebar padding
parent
1d1d3a25bd
commit
30132a0028
|
@ -72,12 +72,12 @@
|
||||||
|
|
||||||
row {
|
row {
|
||||||
// Needs overriding of the GtkListBoxRow padding
|
// Needs overriding of the GtkListBoxRow padding
|
||||||
min-height: 36px;
|
min-height: 32px;
|
||||||
padding: 0;
|
padding: 0;
|
||||||
|
|
||||||
// Using margins/padding directly in the SidebarRow
|
// Using margins/padding directly in the SidebarRow
|
||||||
// will make the animation of the new bookmark row jump
|
// will make the animation of the new bookmark row jump
|
||||||
> revealer { padding: 0 14px; }
|
> revealer { padding: 0 $spacing * 2; }
|
||||||
|
|
||||||
&:selected { color: $selected_fg_color; }
|
&:selected { color: $selected_fg_color; }
|
||||||
|
|
||||||
|
@ -110,10 +110,10 @@
|
||||||
|
|
||||||
//@extend %button_selected.flat;
|
//@extend %button_selected.flat;
|
||||||
|
|
||||||
min-height: 26px;
|
min-height: 20px;
|
||||||
min-width: 26px;
|
min-width: 20px;
|
||||||
margin-top: 3px;
|
margin-top: 2px;
|
||||||
margin-bottom: 3px;
|
margin-bottom: 2px;
|
||||||
padding: 0;
|
padding: 0;
|
||||||
border-radius: 100%;
|
border-radius: 100%;
|
||||||
-gtk-outline-radius: 100%;
|
-gtk-outline-radius: 100%;
|
||||||
|
|
Loading…
Reference in New Issue