# HG changeset patch
# User wenzelm
# Date 910083473 -3600
# Node ID 8419bd5f85fc19befb7594e8a10a1a0b0aa34c36
# Parent  cc32a1c16710b0186712d7dbff9029bc8eee20b9
tuned width of pics;

diff -r cc32a1c16710 -r 8419bd5f85fc Admin/page/index.html
--- a/Admin/page/index.html	Tue Nov 03 09:47:49 1998 +0100
+++ b/Admin/page/index.html	Tue Nov 03 09:57:53 1998 +0100
@@ -130,10 +130,10 @@
 <h2>Further information</h2>
 
 <a href="http://www.cl.cam.ac.uk/Research/HVG/cambridge.html"><img
-src="cambridge.gif" width=144 border=0 align=right
+src="cambridge.gif" width=145 border=0 align=right
 alt="[Cambridge]"></a> <a
 href="http://www.in.tum.de/~isabelle/munich.html"><img
-src="munich.gif" width=47 border=0 align=right alt="[Munich]"></a> The
+src="munich.gif" width=48 border=0 align=right alt="[Munich]"></a> The
 local Isabelle pages at <a
 href="http://www.cl.cam.ac.uk/Research/HVG/cambridge.html">Cambridge</a>
 and <a href="http://www.in.tum.de/~isabelle/munich.html">Munich</a>