// out: null

@colornb: #EAC4BD;
@colornfl: #443131;
@colornfv: #75003B;
@colorhb: #D0BB9A;
@colorhf: #3B2C0C;
@colorfb: #FFC285;
@colorff: #0000A0;
@colorffl:#6F1806;
@colorffv:#660066;
@colorbb: #FFFFFF;
@colorbf: #000000;
@colorbfv: #800040;

@colornfld: darken(@colornfl,20%);
@colornfvd: darken(@colornfv,20%);
@colorhfd:  darken(@colorhf,20%);
@colorffd:  darken(@colorff,20%);
@colorffld: darken(@colorffl,20%);
@colorffvd: darken(@colorffv,20%);
@colorbfd:  darken(@colorbf,20%);
@colorbfvd: darken(@colorbfv,20%);

@colornbl: lighten(@colornb,20%); 
@colorhbl: lighten(@colorhb,20%);
@colorfbl: lighten(@colorfb,20%);
@colorbbl: lighten(@colorbb,20%);

@colornbs: desaturate(@colornb,20%); 
@colorhbs: desaturate(@colorhb,20%);
@colorfbs: desaturate(@colorfb,20%);
@colorbbs: desaturate(@colorbb,20%);