--- 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");