/* XPM */
static char *red_xpm[] = {
/* columns rows colors chars-per-pixel */
"32 15 4 1",
". c Black",
"  c None",
"X c #404040",
"o c #FF0000",
/* pixels */
"                                ",
"                                ",
"        ...          ...        ",
"      ..XXX..      ..ooo..      ",
"     .XXXXXXX.    .ooooooo.     ",
"     .XXXXXXX.    .ooooooo.     ",
"    .XXXXXXXXX.  .ooooooooo.    ",
"    .XXXXXXXXX.  .ooooooooo.    ",
"    .XXXXXXXXX.  .ooooooooo.    ",
"     .XXXXXXX.    .ooooooo.     ",
"     .XXXXXXX.    .ooooooo.     ",
"      ..XXX..      ..ooo..      ",
"        ...          ...        ",
"                                ",
"                                "
};