/* Terminal colors (16 first used in escape sequence) */
static const char *colorname[] = {
  /* 8 normal colors */
  [0] = "#3d3131", /* black   */
  [1] = "#a60000", /* red     */
  [2] = "#d6651a", /* green   */
  [3] = "#d5cd36", /* yellow  */
  [4] = "#823302", /* blue    */
  [5] = "#c97f10", /* magenta */
  [6] = "#c9a119", /* cyan    */
  [7] = "#715c5c", /* white   */

  /* 8 bright colors */
  [8]  = "#544343", /* black   */
  [9]  = "#cc0000", /* red     */
  [10] = "#f2731e", /* green   */
  [11] = "#fff448", /* yellow  */
  [12] = "#a03f02", /* blue    */
  [13] = "#f3950a", /* magenta */
  [14] = "#f4c31e", /* cyan    */
  [15] = "#eed793", /* white   */
	[255] = 0,


  /* more colors can be added after 255 to use with DefaultXX */
  [256] = "#1f1f1f", /* background */
  [257] = "#ea7607", /* 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;