# HG changeset patch
# User kleing
# Date 1100726271 -3600
# Node ID 6b73cbe3460fbef95ca7b6bfd2a0d29a4565724d
# Parent  7797a04cc188e15ef64b6e3b3664ec21443fa933
replaced strangely encoded space characters by  

diff -r 7797a04cc188 -r 6b73cbe3460f Admin/page/main-layout/template.html
--- a/Admin/page/main-layout/template.html	Wed Nov 17 19:25:34 2004 +0100
+++ b/Admin/page/main-layout/template.html	Wed Nov 17 22:17:51 2004 +0100
@@ -15,7 +15,7 @@
       <tr>
         <td width="188" valign="top" bgcolor="#608080"> 
           <!-- _GP_ include("$pwd/main-layout/navigation.html") -->
-          <table height="20"><tr><td> </td></tr></table>
+          <table height="20"><tr><td>&nbsp;</td></tr></table>
         </td>
 
         <td width="100%" valign="top">
@@ -31,7 +31,7 @@
 		<td width="40%" valign="middle" align="center" nowrap>
 		  <a href="http://www4.in.tum.de/proj/theoremprov/group.html"><img src="munich.gif"
 		      border=0 width="48" height="59" alt="[Munich logo]"></a>
-		   
+		  &nbsp;
 		  <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><img
 		      src="cambridge.gif" width="150" height="49" border=0 alt="[Cambridge logo]"></a>
 		</td>
@@ -39,7 +39,7 @@
             </table>
           </center>
 
-          <p> 
+          <p>&nbsp;
 
           <center>
             <table width="99%" border="0" cellspacing="0" cellpadding="10">