Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/page/dist-layout/template.html
changeset 10344 bb0b65380516
parent 10051 6c3c87d1d275
child 13816 cc228bd9c1fc 
--- a/Admin/page/dist-layout/template.html	Thu Oct 26 14:59:38 2000 +0200
+++ b/Admin/page/dist-layout/template.html	Fri Oct 27 12:44:50 2000 +0200
@@ -9,14 +9,15 @@
 
   <body text="#000000" bgcolor="#FFFFFF" link="#0000FF" vlink="#000099" alink="#404040">
 
-    <table border="0" cellspacing="5" width="100%" height="100%">
+    <table border="0" cellspacing="5" width="100%">
 
       <tr>
-        <td width="20%" valign="top" bgcolor="#D8D8FF"> 
+        <td width="188" valign="top" bgcolor="#D8D8FF"> 
           <!-- _GP_ include("$pwd/dist-layout/navigation.html") -->
+          <table height="20"><tr><td>&nbsp;</td></tr></table>
         </td>
 
-        <td width="80%" valign="top">
+        <td width="100%" valign="top">
 
           <center>	    
             <table width="70%" border="0" cellspacing="10" cellpadding="10">
@@ -30,7 +31,7 @@
             </table>
           </center>
 
-          <p> 
+          <p>&nbsp;
 
           <center>
             <table width="99%" border="0" cellspacing="0" cellpadding="10">
isabelle