10 $vibrant-green: #76c551;
 
  17 $keyline: 1px solid $lightgrey;
 
  18 $list-highlight: #FFFFC0;
 
  19 $border: 1px solid $grey;
 
  22 $link-hover-color: #24d;
 
  23 $link-decoration: none;
 
  24 $link-hover-decoration: underline;
 
  26 $table-striped-bg: $offwhite;
 
  28 $enable-negative-margins: true;