/* XPM */
static char *buffer-update_dvi[] = {
/* columns rows colors chars-per-pixel */
"20 20 3 1",
"  c black",
". c navy",
"X c None",
/* pixels */
"XXXXXXXX...XXXXXXXXX",
"XXXXXX........XXXXXX",
"XXXX.....X.....XXXXX",
"XXX...XXXXXXX...XXXX",
"XX...XXXXXXXXX...XXX",
"X...XXX XXXXXXX...XX",
"X..XXXX XXXXX XX..XX",
"X..XXXX XXXXXXXX..XX",
"...XX   X X X XX...X",
"..XX XX X X X XXX..X",
"...X XX X X X XX...X",
"X..XX   XX XX XX..XX",
"X..XXXXXXXXXXXXX..XX",
"X...XXXXXXXXXXX...XX",
"XX...XXXXXX..X...XXX",
"XXX...XXXXX.....XXXX",
"XXXX.XXXXXX....XXXXX",
"XXXXXXXXXXX.....XXXX",
"XXXXXXXXXXX.....XXXX",
"XXXXXXXXXXXXXXXXXXXX"
};