ui: Remove `$radius-small` in favour of the `$decor-*` ones in `base` (#6605)
This commit is contained in:
parent
a0425c64de
commit
fc951c9c0b
|
@ -1,7 +1,7 @@
|
|||
// decoration/color
|
||||
%filter-bar > * {
|
||||
border: $decor-border-100;
|
||||
border-radius: $radius-small;
|
||||
border-radius: $decor-radius-100;
|
||||
}
|
||||
// TODO: Move this elsewhere
|
||||
@media #{$--horizontal-selects} {
|
||||
|
|
|
@ -6,5 +6,4 @@ $magenta-800-no-hash: 5a1434;
|
|||
|
||||
// decoration
|
||||
// undecided
|
||||
$radius-small: $decor-radius-100;
|
||||
$radius: $decor-radius-200;
|
||||
|
|
Loading…
Reference in New Issue