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>