teken_256to8
bkgdset(attr | COLOR_PAIR(teken_256to8(px->a.ta_fgcolor) +
8 * teken_256to8(px->a.ta_bgcolor)));
teken_color_t teken_256to8(teken_color_t);
*fg = cons25_revcolors[teken_256to8(t->t_defattr.ta_fgcolor)];
*bg = cons25_revcolors[teken_256to8(t->t_defattr.ta_bgcolor)];