From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 3 Feb 2006 17:29:42 +0000 (+0000)
Subject: added bg
X-Git-Tag: make_still_working~7639
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=41d76f1dd8a3e5d67785900e6208eb80bf75cc9e;p=helm.git

added bg
---

diff --git a/helm/www/matita/bottombar.shtml b/helm/www/matita/bottombar.shtml
index c0a399faf..3f4fbd712 100644
--- a/helm/www/matita/bottombar.shtml
+++ b/helm/www/matita/bottombar.shtml
@@ -1,14 +1,10 @@
-<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>
+<div class="bottombar">
+  <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>
-    </td>
-
-  </tr>
-</table>
+</a>
+</div>
+</div>
 <!-- $Id$ -->
diff --git a/helm/www/matita/developers.shtml b/helm/www/matita/developers.shtml
index 85b831f39..6b954b74d 100644
--- a/helm/www/matita/developers.shtml
+++ b/helm/www/matita/developers.shtml
@@ -16,18 +16,14 @@
 
     <h1><span class="h1">Former members</span></h1>
     <ul>
-      <li><a href="http://www.cs.unibo.it/~fguidi/">Ferruccio Guidi</a></li>
-      <li><a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a></li>
-      <li><a href="http://www.cs.unibo.it/~schena/">Irene Schena</a></li>
-    </ul>
-
-    <h1><span class="h1">Students, developers and contributors</span></h1>
-    <ul>
-      <li>Pietro Di Lena</li>
-      <li>Michele Galatá</li>
-      <li>Alberto Griggio</li>
-      <li>Matteo Selmi</li>
-      <li>Vincenzo Tamburrelli</li>
+      <li><a href="http://www.cs.unibo.it/~fguidi/">Ferruccio Guidi</a> - PhD</li>
+      <li><a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a> - Researcher</li>
+      <li><a href="http://www.cs.unibo.it/~schena/">Irene Schena</a> - PhD</li>
+      <li>Pietro Di Lena - Undergrad Student</li>
+      <li>Michele Galatá - Undergrad Student</li>
+      <li>Alberto Griggio - Undergrad Student</li>
+      <li>Matteo Selmi - Undergrad Student</li>
+      <li>Vincenzo Tamburrelli - Undergrad Student</li>
     </ul>
     <!--#include virtual="bottombar.shtml" -->
   </body>
diff --git a/helm/www/matita/images/sheetbg.png b/helm/www/matita/images/sheetbg.png
new file mode 100644
index 000000000..3583db8db
Binary files /dev/null and b/helm/www/matita/images/sheetbg.png differ
diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index c85733706..24fbcba4c 100644
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -1,7 +1,8 @@
 body {
   font-family: sans-serif;
   font-size: 12pt;
-
+  background-image: url(images/sheetbg.png);
+  background-repeat: repeat;
   margin-left: 20px;
 }
 
@@ -18,16 +19,21 @@ span.h1 {
   border-style: solid;
   border-color: #cb8080;
 
-  margin-right:auto;
+  margin-right: auto;
+  margin-left: 10%;
 }
 
 p {
-  margin-left:5px;
+  margin-left:10%;
+}
+ul {
+  margin-left:10%;
+  list-style-type: none;
 }
 
 a.upmenu {
   color: #591622;
-  background-color: #ffffff;
+  background-color: transparent;
   
   font-family: sans-serif;
   font-style : italic;
@@ -82,14 +88,35 @@ div.upmenu {
   margin-bottom: 40px;
 }
 
-a.quiet:link,visited { 
-  color: Background; 
+div.bottombar {
+  display: block;
+  width: auto;
+  text-align:right;
+  margin-top: 40px;
+  margin-right: 40px;
+
 }
-a.quiet:visited { 
-  color: Background; 
+
+div.uplined {
+  height: auto;
+  padding-top: 10px;
+  width: 40%;
+  margin-left:auto;
+  border-top-style: solid;
+  border-top-width: 3px;
+  border-color: #cb8080;
 }
-img.quiet:link,visited { 
+
+a.quiet:link,visited,hover { 
+  background-color:transparent;
+  text-decoration: none;
+  border-style:none;
+  
+}
+
+img.quiet { 
   border-style:none; 
-  color: Background; 
 }
 
+
+