From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 6 Feb 2006 18:22:42 +0000 (+0000)
Subject: added last-modified info at the bottom of every page
X-Git-Tag: make_still_working~7616
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1f6f7f7f695b602c5b8b51574d7489c0a96898b8;p=helm.git

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 3f4fbd712..5f541d8a3 100644
--- 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 a5898e43f..64cc6d8b4 100644
--- 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;