improved the space2 glyph;

--- a/lib/fonts/isabelle14.bdf	Wed Apr 30 12:06:18 1997 +0200
+++ b/lib/fonts/isabelle14.bdf	Wed Apr 30 12:13:17 1997 +0200
@@ -1745,10 +1745,9 @@
 ENCODING 160
 SWIDTH 264 0
 DWIDTH 9 0
-BBX 9 2 1 0
+BBX 8 1 1 0
 BITMAP
-8880
-dd80
+e7
 ENDCHAR
 STARTCHAR Gamma
 ENCODING 161

--- a/lib/fonts/isabelle24.bdf	Wed Apr 30 12:06:18 1997 +0200
+++ b/lib/fonts/isabelle24.bdf	Wed Apr 30 12:13:17 1997 +0200
@@ -2337,10 +2337,9 @@
 ENCODING 160
 SWIDTH 600 0
 DWIDTH 15 0
-BBX 11 2 1 0
+BBX 10 1 1 0
 BITMAP
-8420
-ffe0
+f3c0
 ENDCHAR
 STARTCHAR Gamma
 ENCODING 161