# HG changeset patch
# User haftmann
# Date 1115371810 -7200
# Node ID 2c351ab6c403f13a138d308dac24e1ae952323ee
# Parent  8d2fdcc558d1af05177a42571c367b5fd9809ecd
replaced some outdated HTML by more modern constructs

diff -r 8d2fdcc558d1 -r 2c351ab6c403 Admin/page/common/functions.pl
--- a/Admin/page/common/functions.pl	Fri May 06 08:37:39 2005 +0200
+++ b/Admin/page/common/functions.pl	Fri May 06 11:30:10 2005 +0200
@@ -90,7 +90,7 @@
     # empty_line(numcols)
     sub empty_line {
       my $retval = <<EOF;
-      <p>
+      <div style="height: 13px"></div>
 EOF
       return $retval;
     }
diff -r 8d2fdcc558d1 -r 2c351ab6c403 Admin/page/dist-content/packages.content
--- a/Admin/page/dist-content/packages.content	Fri May 06 08:37:39 2005 +0200
+++ b/Admin/page/dist-content/packages.content	Fri May 06 11:30:10 2005 +0200
@@ -46,7 +46,7 @@
 <p>
 
 <!-- _GP_ setdowncolor("\"#E0E0E0\"") -->
-<center>
+<div style="text-align: center">
 
 <table border="0" cellspacing="5" cellpadding="4" width="520">
 
@@ -82,7 +82,7 @@
 <!-- _GP_ download(1, "HOL4 proof terms", "contrib/HOL4-proofs.tar.gz", "../..") -->
 
 </table>
-</center>
+</div>
 
 <p>
 
diff -r 8d2fdcc558d1 -r 2c351ab6c403 Admin/page/dist-layout/navigation.html
--- a/Admin/page/dist-layout/navigation.html	Fri May 06 08:37:39 2005 +0200
+++ b/Admin/page/dist-layout/navigation.html	Fri May 06 11:30:10 2005 +0200
@@ -1,14 +1,9 @@
-<p>
-&nbsp;
-<center>
-<a href="index.html"><img src="isabelle.gif" width="100" height="86" alt="[Isabelle logo]" border="0"></a>
-</center>
-<p>
-<center>
-<strong>Isabelle Distribution Area</strong>
-</center>
-&nbsp;
-<p>
+<div style="text-align: center; margin-top: 30px; margin-bottom: 45px">
+<a href="index.html">
+  <img src="isabelle.gif" width="100" height="86" alt="[Isabelle logo]" border="0">
+  <div style="font-weight: bold; margin-top: 10px">Isabelle Distribution Area</div>
+</a>
+</div>
 <!-- _GP_ setnavcolor("#F0F0F0") -->
 <!-- _GP_ page("Mirrors", "index") -->
 <!-- _GP_ empty_line(3) -->
@@ -19,4 +14,3 @@
 <!-- _GP_ page("Past Releases", "past") -->
 <!-- _GP_ empty_line(3) -->
 &nbsp;
-&nbsp;
diff -r 8d2fdcc558d1 -r 2c351ab6c403 Admin/page/main-layout/navigation.html
--- a/Admin/page/main-layout/navigation.html	Fri May 06 08:37:39 2005 +0200
+++ b/Admin/page/main-layout/navigation.html	Fri May 06 11:30:10 2005 +0200
@@ -1,11 +1,8 @@
-<p>
-&nbsp;
-<center>
-<a href="index.html"><img src="isabelle.gif" width="100" height="86" alt="[Isabelle logo]" border="0"></a>
-</center>
-<p>
-&nbsp;
-<p>
+<div style="text-align: center; margin-top: 30px; margin-bottom: 45px">
+<a href="index.html">
+  <img src="isabelle.gif" width="100" height="86" alt="[Isabelle logo]" border="0">
+</a>
+</div>
 <!-- _GP_ setnavcolor("#F0F0F0") -->
 <!-- _GP_ page("Home", "index") -->
 <!-- _GP_ empty_line(3) -->
diff -r 8d2fdcc558d1 -r 2c351ab6c403 Admin/page/main-layout/template.html
--- a/Admin/page/main-layout/template.html	Fri May 06 08:37:39 2005 +0200
+++ b/Admin/page/main-layout/template.html	Fri May 06 11:30:10 2005 +0200
@@ -20,7 +20,7 @@
 
         <td width="100%" valign="top">
 
-          <center>	    
+          <div style="text-align: center">
             <table width="95%" border="0" cellspacing="10" cellpadding="10">
               <tr>		
                 <td width="60%" align="center" bgcolor="#aacccc">
@@ -37,11 +37,11 @@
 		</td>
               </tr>
             </table>
-          </center>
+          </div>
 
           <p>&nbsp;
 
-          <center>
+          <div style="text-align: center">
             <table width="99%" border="0" cellspacing="0" cellpadding="10">
               <tr>
                 <td align="left">
@@ -49,7 +49,7 @@
                 </td>
               </tr>
             </table>
-          </center>
+          </div>
         </td>
       </tr>