# HG changeset patch
# User wenzelm
# Date 858097259 -3600
# Node ID b65da0c53d9430bcf3ccea127ce8912f2d91812b
# Parent  dc6b8e52368f99a940208ab1cda205088440ea08
tuned glyphs;

diff -r dc6b8e52368f -r b65da0c53d94 lib/fonts/isabelle24.bdf
--- 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