/* XPM */
-static char const * run_latex_xpm[] = {
-"20 20 2 1",
-" c None",
-". c #000000000000",
-" ",
-" . .. . . . .. ",
-" .. . . .. . ",
-" . . . . . ",
-" . .. . . ",
-" ",
-" ",
-" . ..... . .",
-" . . . . ",
-" . . . . ",
-" . .. . ... . ",
-" . . . . . . . ",
-" . . . . . . . ",
-" ... . . . .. . .",
-" .... . ",
-" . . . ",
-" . . ... ",
-" ",
-" ",
-" "};
-
-
-
+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"
+};