#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