--- a/lib/fonts/isabelle14.bdf Fri Mar 07 13:21:15 1997 +0100
+++ b/lib/fonts/isabelle14.bdf Fri Mar 07 13:47:37 1997 +0100
@@ -1811,7 +1811,7 @@
08
08
18
-1c
+18
34
64
62
@@ -2565,7 +2565,7 @@
STARTCHAR Colon
ENCODING 229
SWIDTH 600 0
-DWIDTH 8 0
+DWIDTH 9 0
BBX 4 7 2 0
BITMAP
90