#black=#000000
#red=#e60000
#green=#00e600
#yellow=#e6e600
#blue=#0000e6
#magenta=#e600e6
#cyan=#00e66e
#white=#e6e6e6
#hl_black=#404040
#hl_red=#ff0000
#hl_green=#00ff00
#hl_yellow=#ffff00
#hl_blue=#0000ff
#hl_magenta=#ff00ff
#hl_cyan=#00ffff
#hl_white=#ffffff

