black=#073642
red=#dc322f
green=#859900
yellow=#b58900
blue=#268bd2
magenta=#d33682
cyan=#2aa198
white=#eee8d5
hl_red=#cb4b16
hl_black=#002b36
hl_green=#586e75
hl_yellow=#657b83
hl_blue=#839496
hl_magenta=#6c71c4
hl_cyan=#93a1a1
hl_white=#fdf6e3