--- a/lib/fonts/isabelle24.bdf Tue Mar 11 17:20:31 1997 +0100
+++ b/lib/fonts/isabelle24.bdf Tue Mar 11 17:20:59 1997 +0100
@@ -2035,26 +2035,26 @@
BBX 10 15 1 0
BITMAP
ffc0
-7040
-7000
-7000
-7000
-7000
-7000
-7000
-7000
-7000
-7000
-7000
-7000
-7000
+6040
+6000
+6000
+6000
+6000
+6000
+6000
+6000
+6000
+6000
+6000
+6000
+6000
f800
ENDCHAR
STARTCHAR Delta
ENCODING 162
SWIDTH 600 0
DWIDTH 15 0
-BBX 11 15 1 0
+BBX 12 15 1 0
BITMAP
0600
0600
@@ -2070,7 +2070,7 @@
60c0
c0e0
c060
-ffe0
+fff0
ENDCHAR
STARTCHAR Theta
ENCODING 163
@@ -2155,8 +2155,8 @@
0600
0c00
1800
-3008
-7ff8
+3000
+6008
fff0
ffe0
ENDCHAR
@@ -3328,7 +3328,7 @@
ENCODING 229
SWIDTH 600 0
DWIDTH 15 0
-BBX 7 10 1 1
+BBX 7 10 3 1
BITMAP
c6
c6