Patch to make it compile with recent OCaml

[helm.git] / helm / www / matita / bottombar.shtml

diff --git a/helm/www/matita/bottombar.shtml b/helm/www/matita/bottombar.shtml
index c0a399fafa7d166126f4eee80540f9abc11881e7..6c480c44a41eea5392a6be1e092ca0197d3b19f6 100644 (file)
--- a/helm/www/matita/bottombar.shtml
+++ b/helm/www/matita/bottombar.shtml
@@ -1,14 +1,11 @@
-<table>
-  <tr>
-    <td>
-      <a class="quiet" href="http://validator.w3.org/check/referer">
-       <img class="quiet" alt="Valid XHTML 1.0!" src="images/valid-xhtml10.png" width="88" height="31" />
-      </a>
-      <a class="quiet" href="http://jigsaw.w3.org/css-validator/">
-       <img class="quiet" alt="Valid CSS" src="images/valid-css.png" width="88" height="31" />
-      </a>
-    </td>
-
-  </tr>
-</table>
 <!-- $Id$ -->
+<div class="bottombar">
+  <samp class="tiny">Last-modified: <!--#flastmod file="$DOCUMENT_NAME"--></samp>
+  <div class="uplined">
+    <a class="quiet" href="http://validator.w3.org/check/referer">
+      <img alt="Valid XHTML 1.0!" src="images/valid-xhtml10.png" width="88" height="31" /></a>
+    <a class="quiet" href="http://jigsaw.w3.org/css-validator/">
+      <img alt="Valid CSS" src="images/valid-css.png" width="88" height="31" />
+    </a>
+  </div>
+</div>