static const char *colorname[] = {
	"#22262D", // 0
	"#C84053",
	"#6F894E",
	"#77713F",
	"#4D699B",
	"#B35B79",
	"#597B75",
	"#545464",
	"#6D6F6E",
	"#D7474B",
	"#6E915F",
	"#836F4A",
	"#6693BF",
	"#624C83",
	"#5E857A",
	"#43436C",
	[255] = 0,
	"#F2F1EF", // 256
};

unsigned int defaultcs = 15;
unsigned int defaultbg = 256;
unsigned int defaultfg = 0;