/* XPM */
static char *down_xpm[] = {
/* width height num_colors chars_per_pixel */
"    11    11        4            1",
/* colors */
". c #656565",
"# c #959595",
"a c #b0b0b0",
"b c #e0e0e0",
/* pixels */
"bbbbbbbbbbb",
"bbbbbbbbb..",
"#bbaaaaa..#",
"#bbaaaaa..#",
"##bbaaa..##",
"##bbaaa..##",
"###bba..###",
"###bba..###",
"####b..####",
"####b..####",
"#####.#####"
};