#black=#000000
#red=#cd0000
#green=#00cd00
#yellow=#cdcd00
#blue=#0000ee
#magenta=#cd00cd
#cyan=#00cdcd
#white=#e5e5e5
#hl_black=#7f7f7f
#hl_red=#ff0000
#hl_green=#00ff00
#hl_yellow=#ffff00
#hl_blue=#5c5cff
#hl_magenta=#ff00ff
#hl_cyan=#00ffff
#hl_white=#ffffff

