/* XPM */
static char *boxtimes[] = {
/* columns rows colors chars-per-pixel */
"13 19 3 1",
"  c black",
". c gray100",
"X c None",
/* pixels */
"XXXXXXXXXXXXX",
"XXXXXXXXXXXXX",
"XXXXXXXXXXXXX",
"XXXXXXXXXXXXX",
"X           X",
"X  XXXXXXX  X",
"X X XXXXX X X",
"X XX XXX XX X",
"X XXX X XXX X",
"X XXXX XXXX X",
"X XXX X XXX X",
"X XX XXX XX X",
"X X XXXXX X X",
"X  XXXXXXX  X",
"X           X",
"XXXXXXXXXXXXX",
"XXXXXXXXXXXXX",
"XXXXXXXXXXXXX",
"XXXXXXXXXXXXX"
};