/* XPM */
static char *redo_xpm[] = {
/* width height num_colors chars_per_pixel */
"    16    15        3            1",
/* colors */
". c #000080",
"# c None",
"a c #808080",
/* pixels */
"################",
"################",
"################",
"################",
"###a....########",
"##a.####..###.##",
"##.#######.#..##",
"##.########...##",
"##.#######....##",
"##a.#####.....##",
"###.a###########",
"################",
"################",
"################",
"################"
};