$dark_blue_color:   #002b42;
$blue_color:        #005779;
$hl_color:          #f7941d;

$arial:             Arial, Verdana, sans-serif;