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