/* XPM */ static char *buffer-update_dvi[] = { /* width height ncolors chars_per_pixel */ "20 20 12 1", /* colors */ " c #000000", ". c #3C3CA1", "X c #2D2D9C", "o c #4343A4", "O c #171795", "+ c #CCCCCC", "@ c #1E1E98", "# c #5B5BAA", "$ c #8787B7", "% c #00008F", "& c #070792", "* c None", /* pixels */ "******$oo%ooo*******", "****$o%%%%%%%%o*****", "***$%%oo$**$oo%%$***", "**o%%o********o%%$**", "*$%%$**********$%%**", "*o%o*** ********o%o*", "$%o**** ***** ***o%*", "o%o**** *********o%o", "o%*** * * * ***$%o", "%%** ** * * * ****%%", "%%** ** * * * ****%o", "o%*** ** ** ***o%o", "o%$**************o%$", "o%o*************$%%*", "*o%$*********XX*#%o*", "*$%%*********OO%%%$*", "**o%%$*******&&%%@**", "***o%%*******O%%%%#*", "****$********.&OOOX*", "********************" };