static const char *colorname[] = {
        /*  8 normal colors */
	[0] = "#242829",
	[1] = "#df2683",
	[2] = "#13868c",
	[3] = "#fcfcdf",
	[4] = "#1a86b9",
	[5] = "#bc7fd2",
	[6] = "#7cc7d6",
	[7] = "#4a4b4b",

	/* 8 bright colors */
	[8]  = "#7b8b99",
	[9]  = "#df2683",
	[10] = "#13868c",
	[11] = "#fcfcdf",
	[12] = "#1a86b9",
	[13] = "#bc7fd2",
	[14] = "#7cc7d6",
	[15] = "#dcd7d7",
};

/*
 * Default colors (colorname index)
 * foreground, background, cursor, reverse cursor
 */
unsigned int defaultfg = 15;
unsigned int defaultbg = 0;
unsigned int defaultcs = 15;
static unsigned int defaultrcs = 257;