/* Terminal colors (base16-google-dark-theme) */
static const char *colorname[] = {
  "#1d1f21", /* base00 */
  "#cc342b", /* base08 */
  "#198844", /* base0B */
  "#fba922", /* base0A */
  "#3971ed", /* base0D */
  "#a36ac7", /* base0E */
  "#3971ed", /* base0C */
  "#c5c8c6", /* base05 */
  "#969896", /* base03 */
  "#f96a38", /* base09 */
  "#198844", /* base01 */
/*  "#282a2e",  base01 */
/*  "#373b41",  base02 */
  "#fba922", /* base02 */
  "#b4b7b4", /* base04 */
  "#e0e0e0", /* base06 */
  "#3971ed", /* base0F */
  "#ffffff", /* base07 */
};

unsigned int defaultfg = 7;
unsigned int defaultbg = 0;
static unsigned int defaultcs = 13;
static unsigned int defaultrcs = 0;