/* Terminal colors (16 first used in escape sequence) */
static const char *colorname[] = {

  /* 8 normal colors */
  [0] = "#4e4e4e", /* black   */
  [1] = "#af5f5f", /* red     */
  [2] = "#5f885f", /* green   */
  [3] = "#af8760", /* yellow  */
  [4] = "#5f87ae", /* blue    */
  [5] = "#875f87", /* magenta */
  [6] = "#5f8787", /* cyan    */
  [7] = "#938f8f", /* white   */

  /* 8 bright colors */
  [8]  = "#3a3a3a", /* black   */
  [9]  = "#870100", /* red     */
  [10] = "#005f00", /* green   */
  [11] = "#d8865f", /* yellow  */
  [12] = "#0087af", /* blue    */
  [13] = "#87025f", /* magenta */
  [14] = "#008787", /* cyan    */
  [15] = "#3a3a3a", /* white   */

  /* special colors */
  [256] = "#dadada", /* background */
  [257] = "#4e4e4e", /* foreground */
  [258] = "#4e4e4e", /* cursor */
  [259] = "#dadada", /* cursor-inverse */

};


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