/* XPM */
static char * manual_xpm[] = {
/* width height ncolors chars_per_pixel */
"32 32 6 1",
/* colors */
" 	c black",
".	c sky blue",
"X	c blue",
"o	c grey",
"O	c navy",
"+	c slate grey",
/* pixels */
"                                ",
"                                ",
"  .XXXXXXXXXXXXXXXXXXXXXX       ",
"  .XXXXXXXXXXXXXXXXXXXXXX       ",
"  .XXXXXXXXXXXXXXXXXXXXXX o     ",
"  .XXXXXXXXXXXXXXXXXXXXXX oo    ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooO   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooO   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooO   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooO   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooO   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooO   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooO   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooO   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooO   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooO   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooO   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooO   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooO   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooO   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooO   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooO   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooO   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooO   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooO   ",
"  .XXXXXXXXXXXXXXXXXXXXXX ooO   ",
"   XXXXXXXXXXXXXXXXXXXXXX ooO   ",
"                          ooO   ",
"    +oooooooooooooooooooooooO   ",
"     +ooooooooooooooooooooooO   ",
"       OOOOOOOOOOOOOOOOOOOOOO   ",
"                                "};
