$border0: 0px;
$border1: 1px;
$border1e5: 1.5px;
$border2: 2px;
$border3: 3px;
$border4: 4px;