/* Terminal colors (16 first used in escape sequence) */
static const char *colorname[] = {
  /* 8 normal colors */
  [0] = "#212020", /* black   */
  [1] = "#653e3e", /* red     */
  [2] = "#5d5151", /* green   */
  [3] = "#857173", /* yellow  */
  [4] = "#705e60", /* blue    */
  [5] = "#70595b", /* magenta */
  [6] = "#8b787a", /* cyan    */
  [7] = "#a1a0a0", /* white   */

  /* 8 bright colors */
  [8]  = "#302e2e", /* black   */
  [9]  = "#754747", /* red     */
  [10] = "#796c6c", /* green   */
  [11] = "#a49395", /* yellow  */
  [12] = "#958a8c", /* blue    */
  [13] = "#937e80", /* magenta */
  [14] = "#af999c", /* cyan    */
  [15] = "#c5c2c2", /* white   */

  [255] = 0,

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