/* XPM */
static char * manual_xpm[] = {
/* width height ncolors chars_per_pixel */
"32 32 5 1",
/* colors */
" 	c black",
".	c red",
"X	c firebrick",
"o	c grey",
"O	c slate grey",
/* pixels */
"                                ",
"                                ",
"  .XXXXXXXXXXXXXXXXXXXXXX       ",
"  .XXXXXXXXXXXXXXXXXXXXXX       ",
"  .XXXXXXXXXXXXXXXXXXXXXX o     ",
"  .XXXXXXXXXXXXXXXXXXXXXX oo    ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooX   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooX   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooX   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooX   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooX   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooX   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooX   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooX   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooX   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooX   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooX   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooX   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooX   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooX   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooX   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooX   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooX   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooX   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooX   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooX   ",
"   XXXXXXXXXXXXXXXXXXXXXX ooX   ",
"                          ooX   ",
"    OoooooooooooooooooooooooX   ",
"     OooooooooooooooooooooooX   ",
"       XXXXXXXXXXXXXXXXXXXXXX   ",
"                                "};
