/* Terminal colors (16 first used in escape sequence) */
static const char *colorname[] = {
	/* solarized light */
	"#eee8d5",  /*  0: black    */
	"#dc322f",  /*  1: red      */
	"#859900",  /*  2: green    */
	"#b58900",  /*  3: yellow   */
	"#268bd2",  /*  4: blue     */
	"#d33682",  /*  5: magenta  */
	"#2aa198",  /*  6: cyan     */
	"#073642",  /*  7: white    */
	"#fdf6e3",  /*  8: brblack  */
	"#cb4b16",  /*  9: brred    */
	"#93a1a1",  /* 10: brgreen  */
	"#839496",  /* 11: bryellow */
	"#657b83",  /* 12: brblue   */
	"#6c71c4",  /* 13: brmagenta*/
	"#586e75",  /* 14: brcyan   */
	"#002b36",  /* 15: brwhite  */
};