ui: Remove `$radius-small` in favour of the `$decor-*` ones in `base` (#6605)

This commit is contained in:
John Cowen 2019-10-09 18:58:16 +01:00 committed by John Cowen
parent d2d1f98423
commit 1678014132
2 changed files with 1 additions and 2 deletions

View File

@ -1,7 +1,7 @@
// decoration/color // decoration/color
%filter-bar > * { %filter-bar > * {
border: $decor-border-100; border: $decor-border-100;
border-radius: $radius-small; border-radius: $decor-radius-100;
} }
// TODO: Move this elsewhere // TODO: Move this elsewhere
@media #{$--horizontal-selects} { @media #{$--horizontal-selects} {

View File

@ -6,5 +6,4 @@ $magenta-800-no-hash: 5a1434;
// decoration // decoration
// undecided // undecided
$radius-small: $decor-radius-100;
$radius: $decor-radius-200; $radius: $decor-radius-200;