added last-modified info at the bottom of every page

diff --git a/helm/www/matita/bottombar.shtml b/helm/www/matita/bottombar.shtml
index 3f4fbd71267a83da4ddcdcbf27d755f7767aec6a..5f541d8a31e165400f6ef2a9475458db38e02a0c 100644 (file)
--- a/helm/www/matita/bottombar.shtml
+++ b/helm/www/matita/bottombar.shtml
@@ -1,9 +1,10 @@
 <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 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 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>
 </div>
 </div>

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index a5898e43f3aafbeef1e299ac6c206eb724db3dd3..64cc6d8b494b7f439b837f745f892101db7cb2ee 100644 (file)
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -7,6 +7,10 @@ body {
   margin-right: 7%;
 }
 
+samp.tiny {
+  font-size: 8pt;
+}
+
 span.h1 {
   font-family: sans-serif;
   font-size: 16pt;