From 41d76f1dd8a3e5d67785900e6208eb80bf75cc9e Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 3 Feb 2006 17:29:42 +0000
Subject: [PATCH] added bg

---
 helm/www/matita/bottombar.shtml    |  18 +++++------
 helm/www/matita/developers.shtml   |  20 +++++-------
 helm/www/matita/images/sheetbg.png | Bin 0 -> 358 bytes
 helm/www/matita/style.css          |  47 +++++++++++++++++++++++------
 4 files changed, 52 insertions(+), 33 deletions(-)
 create mode 100644 helm/www/matita/images/sheetbg.png

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 0000000000000000000000000000000000000000..3583db8db4ba9c2a5a4a700a6d33b00e514d0893
GIT binary patch
literal 358
zcmeAS@N?(olHy`uVBq!ia0vp^av;pX1|+Qw)-3{3Y)RhkE)4%caKYZ?lYt_f1s;*b
z3=G`DAk4@xYmNj^kiEpy*OmPm6SJTY3)Ai^6M;gXJzX3_JdQt|=9_m!fyYhWtkLDs
zzvHK6H%SK^h!xx_S!%iQN|ckwpC2C+4O(jNubt8~Q&CCgxZ~QX_pBLCZ<<i7)^cFW
zJ!?glq#lO++O1(x*-NI}*w!nd{JfHB!KxKnhQ~ZKSwmBM4(?jlW5^&N7$Pe8^I;9s
z86M-^w_Kh`S--Z-?<o{DR$eycgr%}l&82t$o?bo>FMcU%_qK0=A6|d0>b|f1V9w_A
zVXIg5Cv87m>d)8TI6d`a;G2bF4rzXMGJkBZ+i@K``Dfka*-6_acF)V=zgqO)`0rnd
z^Y`yReh{^q-(u;P^9S<IFN*Go&bH$`^1AdFQ@ek9{t7n%1)%pCJYD@<);T3K0RTKZ
Blj#5e

literal 0
HcmV?d00001

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; 
 }
 
+
+
-- 
2.39.2