//@color-primary: #B5414F;
//
//:root {
//  --theme-color-primary: @color-primary;
//  --theme-color-primary-dark: darken(@color-primary, 10%);
//  --theme-color-primary-light: lighten(@color-primary, 10%);
//}
//
