$color00: #000;
$color01: #000080;
$color02: #0000cf;
$color03: #00a000;
$color04: #204a87;
$color05: #3465a4;
$color06: #4e9a06;
$color07: #5c35cc;
$color08: #800080;
$color09: #8f5902;
$color10: #a40000;
$color11: #c4a000;
$color12: #c00;
$color13: #ce5c00;
$color14: #ef2929;
$color15: #f57900;
$color16: #f8f8f8;
$color17: #ffc;

@import 'highlight/main';