--- xpdf-3.00/xpdf/XPDFViewer.cc.orig	2004-10-12 12:24:57.055068037 +0200
+++ xpdf-3.00/xpdf/XPDFViewer.cc	2004-10-12 12:24:47.707449614 +0200
@@ -1742,7 +1742,7 @@
   aboutBigFont =
     createFontList("-*-times-bold-i-normal--20-*-*-*-*-*-iso8859-1");
   aboutVersionFont =
-    createFontList("-*-times-medium-r-normal--16-*-*-*-*-*-iso8859-1");
+    createFontList("-*-times-medium-r-normal--14-*-*-*-*-*-iso8859-1");
   aboutFixedFont =
     createFontList("-*-courier-medium-r-normal--12-*-*-*-*-*-iso8859-1");