better appearance in lynx and netscape4

--- a/Admin/website/css/isabelle_base.css	Wed Sep 28 08:57:19 2005 +0200
+++ b/Admin/website/css/isabelle_base.css	Wed Sep 28 09:14:44 2005 +0200
@@ -182,3 +182,7 @@
 table.download tr td + td + td {
     text-align: right;
 }
+
+table.download tr.rowspan td + td {
+    text-align: right;
+}

--- a/Admin/website/include/downloadtable.include.html	Wed Sep 28 08:57:19 2005 +0200
+++ b/Admin/website/include/downloadtable.include.html	Wed Sep 28 09:14:44 2005 +0200
@@ -35,12 +35,10 @@
     </td>
     <?downloadCells target="//dist/contrib/polyml_x86-linux.tar.gz" title="polyml_x86-linux.tar.gz"?>
   </tr>
-  <tr>
-    <td style="display: none"></td>
+  <tr class="rowspan">
     <?downloadCells target="//dist/contrib/polyml_sparc-solaris.tar.gz" title="polyml_sparc-solaris.tar.gz"?>
   </tr>
-  <tr>
-    <td style="display: none"></td>
+  <tr class="rowspan">
     <?downloadCells target="//dist/contrib/polyml_ppc-darwin.tar.gz" title="polyml_ppc-darwin.tar.gz"?>
   </tr>
   <tr><td colspan="3" class="downloadheader">Precompiled logics</td></tr>
@@ -50,12 +48,10 @@
     </td>
     <?downloadCells target="//dist/HOL_x86-linux.tar.gz" title="HOL_x86-linux.tar.gz"?>
   </tr>
-  <tr>
-    <td style="display: none"></td>
+  <tr class="rowspan">
     <?downloadCells target="//dist/HOL_sparc-solaris.tar.gz" title="HOL_sparc-solaris.tar.gz"?>
   </tr>
-  <tr>
-    <td style="display: none"></td>
+  <tr class="rowspan">
     <?downloadCells target="//dist/HOL_ppc-darwin.tar.gz" title="HOL_ppc-darwin.tar.gz"?>
   </tr>
   <tr>
@@ -64,12 +60,10 @@
     </td>
     <?downloadCells target="//dist/HOL-Complex_x86-linux.tar.gz" title="HOL-Complex_x86-linux.tar.gz"?>
   </tr>
-  <tr>
-    <td style="display: none"></td>
+  <tr class="rowspan">
     <?downloadCells target="//dist/HOL-Complex_sparc-solaris.tar.gz" title="HOL-Complex_sparc-solaris.tar.gz"?>
   </tr>
-  <tr>
-    <td style="display: none"></td>
+  <tr class="rowspan">
     <?downloadCells target="//dist/HOL-Complex_ppc-darwin.tar.gz" title="HOL-Complex_ppc-darwin.tar.gz"?>
   </tr>
   <tr>
@@ -78,12 +72,10 @@
     </td>
     <?downloadCells target="//dist/HOL4_x86-linux.tar.gz" title="HOL4_x86-linux.tar.gz"?>
   </tr>
-  <tr>
-    <td style="display: none"></td>
+  <tr class="rowspan">
     <?downloadCells target="//dist/HOL4_sparc-solaris.tar.gz" title="HOL4_sparc-solaris.tar.gz"?>
   </tr>
-  <tr>
-    <td style="display: none"></td>
+  <tr class="rowspan">
     <?downloadCells target="//dist/HOL4_ppc-darwin.tar.gz" title="HOL4_ppc-darwin.tar.gz"?>
   </tr>
   <tr>
@@ -92,12 +84,10 @@
     </td>
     <?downloadCells target="//dist/ZF_x86-linux.tar.gz" title="ZF_x86-linux.tar.gz"?>
   </tr>
-  <tr>
-    <td style="display: none"></td>
+  <tr class="rowspan">
     <?downloadCells target="//dist/ZF_sparc-solaris.tar.gz" title="ZF_sparc-solaris.tar.gz"?>
   </tr>
-  <tr>
-    <td style="display: none"></td>
+  <tr class="rowspan">
     <?downloadCells target="//dist/ZF_ppc-darwin.tar.gz" title="ZF_ppc-darwin.tar.gz"?>
   </tr>
   <tr><td colspan="3" class="downloadheader">HOL4 proof terms</td></tr>

--- a/Admin/website/include/mirrorlist.include.html	Wed Sep 28 08:57:19 2005 +0200
+++ b/Admin/website/include/mirrorlist.include.html	Wed Sep 28 09:14:44 2005 +0200
@@ -2,7 +2,6 @@
 <!DOCTYPE div PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 <!-- $Id$ -->
 <div class="mirrorlist">
-    <div class="hr"><hr/></div>
     <h3>Site Mirrors:</h3>
     <ul>
         <li><?mirror prefix="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/" title="Cambridge (.uk)" ?></li>

--- a/Admin/website/include/navigation.include.html	Wed Sep 28 08:57:19 2005 +0200
+++ b/Admin/website/include/navigation.include.html	Wed Sep 28 09:14:44 2005 +0200
@@ -11,6 +11,9 @@
         <?navitem target="download.html"        title="Download"                       ?>
         <?navitem target="documentation.html"   title="Documentation"                  ?>
         <?navitem target="community.html"       title="Community"                      ?>
+    </ul>
+    <div class="hr"><hr/></div>
+    <ul>
         <li><?include file="//include/mirrorlist.include.html"?></li>
     </ul>
 </div>