fix

[helm.git] / helm / matita / scripts / public_html / index.html
diff --git a/helm/matita/scripts/public_html/index.html b/helm/matita/scripts/public_html/index.html

index e08234d20259c8a97306861909b722611abb5c1c..12fd7be9fac0e52c73ae44eebe3300052b8badcb 100644 (file)
--- a/helm/matita/scripts/public_html/index.html
+++ b/helm/matita/scripts/public_html/index.html
@@ -6,6 +6,10 @@
    </head>
    <body>
      <h1>MATITA BENCHMARKING SYSTEM</h1>
-    <p><a href="bench.php">Go to the benchmark query page</a></p>
+    <p> 
+    <center> <!-- Yes, It sucks! :P -->
+      <a href="bench.php">Go to the benchmark query page</a>
+    </center>
+    </p>
    </body>
  </html>