This is cosmetic and unlikely to have confused anyone, but still
}
searchbar > revealer > box {
- // workaround: undo the GtkContainer::border-width and use CSS padding instead
+ // workaround: undo the GtkContainer:border-width and use CSS padding instead
margin: -6px;
padding: 6px;
}
border-color: $borders_color;
border-style: none none solid none;
- // workaround: undo the GtkContainer::border-width and use CSS padding instead
+ // workaround: undo the GtkContainer:border-width and use CSS padding instead
margin: -6px;
padding: 9px;
}