diff -r 643cba384a61 -r 3090e4a1a317 lib/fonts/isabelle14.bdf
--- 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