X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita_homepage%2Fmatita.html;h=fae7d202a7e963ed14ab75c416834737f3f81fe1;hb=2b2b90087f836c2f32291935216549e9370e68c3;hp=e661c3b012dd8954c6566f2fbcf46700a09aa8fa;hpb=2f96ed63a40e2996bb4a249968e90fd0eef3f580;p=helm.git

diff --git a/helm/matita_homepage/matita.html b/helm/matita_homepage/matita.html
index e661c3b01..fae7d202a 100644
--- a/helm/matita_homepage/matita.html
+++ b/helm/matita_homepage/matita.html
@@ -23,22 +23,22 @@
   dd#developersDef{ top: 206px; left: 30px; }
   dd#developersDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; }
   dd#developersDef a span{ display: none; }
-  dd#developersDef a:hover{ position: absolute; background: transparent url(bg.png) ; top: 0px}
+  dd#developersDef a:hover{ position: absolute; background: transparent url(bg0.png) ; top: 0px}
   
   dd#documentationDef{ top: 277px; left: 30px; }
   dd#documentationDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; }
   dd#documentationDef a span{ display: none; }
-  dd#documentationDef a:hover{ position: absolute; background: transparent url(bg.png) ; top: 0px}
+  dd#documentationDef a:hover{ position: absolute; background: transparent url(bg1.png) ; top: 0px}
   
   dd#communityDef{ top: 348px; left: 30px; }
   dd#communityDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; }
   dd#communityDef a span{ display: none; }
-  dd#communityDef a:hover{ position: absolute; background: transparent url(bg.png) ; top: 0px}
+  dd#communityDef a:hover{ position: absolute; background: transparent url(bg2.png) ; top: 0px}
   
   dd#downloadDef{ top: 419px; left: 30px; }
   dd#downloadDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; }
   dd#downloadDef a span{ display: none; }
-  dd#downloadDef a:hover{ position: absolute; background: transparent url(bg.png) ; top: 0px}
+  dd#downloadDef a:hover{ position: absolute; background: transparent url(bg3.png) ; top: 0px}
 
  div#ex {margin-left:auto; margin-right:auto}
  </style>
@@ -63,3 +63,5 @@
   </body>
 
 </html>
+
+<!-- $Id$ -->