$color-highlight: #0080ff;
$color-text:      #000;