/* Terminal colors (16 first used in escape sequence) */
static const char *colorname[] = {
  /* 8 normal colors */
  [0] = "#000000", /* black   */
  [1] = "#aa2e2e", /* red     */
  [2] = "#36a136", /* green   */
  [3] = "#75ab75", /* yellow  */
  [4] = "#53cc00", /* blue    */
  [5] = "#237923", /* magenta */
  [6] = "#669566", /* cyan    */
  [7] = "#717171", /* white   */

  /* 8 bright colors */
  [8]  = "#545454", /* black   */
  [9]  = "#ff0000", /* red     */
  [10] = "#55ff55", /* green   */
  [11] = "#9edd9e", /* yellow  */
  [12] = "#73ff55", /* blue    */
  [13] = "#43ab43", /* magenta */
  [14] = "#85af85", /* cyan    */
  [15] = "#d8ffd8", /* white   */
	[255] = 0,


  /* more colors can be added after 255 to use with DefaultXX */
  [256] = "#1a1a1a", /* background */
  [257] = "#00cc00", /* foreground */
};


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