#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