/* XPM */
static char * dvi_xpm[] = {
"32 32 5 1",
" 	s background	c None",
".	c #7DF77DF77DF7",
"X	c white",
"o	c black",
"O	c #BEFBBEFBBEFB",
"    ..................          ",
"    .XXXXXXXXXXXXXXXX.o         ",
"    .XXXXoXXXXXXXXXoX..o        ",
"    .XXXXoXXXXXXXXXXX.O.o       ",
"    .XooXoXoXXXoXXooX.OO.o      ",
"    .oXXooXoXXXoXXXoX.XOO.o     ",
"    .oXXXoXXoXoXXXXoX.XXOO.o    ",
"    .oXXooXXoXoXXXXoX.ooooooo   ",
"    .XooXoXXXoXXXXoooXOOOOOOo   ",
"    .XXXXXXXXXXXXXXXXXOOOOOOo   ",
"    .XXXXXXXXXXXXXXXXXXXXXXOo   ",
"    .XXXXXXXXXXXXXXXXXXXXXXOo   ",
"    .XXXXXXXXXXXXXXXXXXXXXXOo   ",
"    .XXoXXXooXXooXXXXXXXXXXOo   ",
"    .XXXXoXXXooooooXooXXXXXOo   ",
"    .XoXXooooooXXXXXoXXXoXXOo   ",
"    .XXooXoooXXooXoooXXXXXXOo   ",
"    .XXooXXooooooooooooooXXOo   ",
"    .oooooooooooooXoooooooXOo   ",
"    .ooooooXooooooXXXXXXXoXOo   ",
"    .XXoooXoooooooXXXXXXXXXOo   ",
"    .XXooXXXooXooXooooXXXXXOo   ",
"    .XooXXXXooooooooooXXXXXOo   ",
"    .XoooXXXXooXooooooXXXXXOo   ",
"    .XXooXXXXXXooXXooXXXXXXOo   ",
"    .XoXoXXoXXXooXXXXXXXXXXOo   ",
"    .XXXXXXXXXXXXXXXXXXXXXXOo   ",
"    .XXXXXXXXXXXXXXXXXXXXXXOo   ",
"    .XXXXXXXXXXXXXXXXXXXXXXOo   ",
"    .XXXXXXXXXXXXXXXXXXXXXXOo   ",
"    .OOOOOOOOOOOOOOOOOOOOOOOo   ",
"    ooooooooooooooooooooooooo   "};
