/* Terminal colors (16 first used in escape sequence) */
static const char *colorname[] = {
  /* 8 normal colors */
  [0] = "#212020", /* black   */
  [1] = "#5a4e4f", /* red     */
  [2] = "#606660", /* green   */
  [3] = "#78766e", /* yellow  */
  [4] = "#676672", /* blue    */
  [5] = "#5d5159", /* magenta */
  [6] = "#5e6768", /* cyan    */
  [7] = "#8b8a8a", /* white   */

  /* 8 bright colors */
  [8]  = "#302e2e", /* black   */
  [9]  = "#8f7d7f", /* red     */
  [10] = "#8d918e", /* green   */
  [11] = "#95968e", /* yellow  */
  [12] = "#888697", /* blue    */
  [13] = "#80747c", /* magenta */
  [14] = "#849193", /* cyan    */
  [15] = "#b9b6b6", /* white   */

  [255] = 0,

  /* special colors */
  [256] = "#171717", /* background */
  [257] = "#5b5b5b", /* foreground */

