$base03:    #002b36; //darkest blue
$base02:    #073642; //dark blue
$base01:    #586e75; //darkest gray
$base00:    #657b83; //dark gray
$base0:     #839496; //medium gray
$base1:     #93a1a1; //medium light gray
$base2:     #eee8d5; //cream
$base3:     #fdf6e3; //white
$yellow:    #b58900;
$orange:    #cb4b16;
$red:       #dc322f;
$magenta:   #d33682;
$violet:    #6c71c4;
$blue:      #268bd2;
$cyan:      #2aa198;
$green:     #859900;

$pre-bg: $base03 !default;