coercion command now requires an uri

[helm.git] / helm / matita_homepage / matita.html

diff --git a/helm/matita_homepage/matita.html b/helm/matita_homepage/matita.html
index 229bf9643d0d6aede0000afba55ee17664d41d89..734266db5e4a9c9b7d5a82c7845c790461ad7e73 100644 (file)
--- a/helm/matita_homepage/matita.html
+++ b/helm/matita_homepage/matita.html
@@ -4,6 +4,7 @@
  </head>
  <style>
   a {text-decoration:none}
+  img.image{ display: none; }
 
   dl#matitaMap {
        margin-left:auto;
@@ -22,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>
@@ -49,13 +50,13 @@
 
     <dl id="matitaMap">
      <dt id="developers">1. Developers</dt>
-     <dd id="developersDef"><a href="developers"></a></dd>
+     <dd id="developersDef"><a href="developers.html"></a></dd>
      <dt id="documentation">2. Documentation</dt>
-     <dd id="documentationDef"><a href="documentation"></a></dd>
+     <dd id="documentationDef"><a href="documentation.html"></a></dd>
      <dt id="community">3. Community</dt>
-     <dd id="communityDef"><a href="community"></a></dd>
+     <dd id="communityDef"><a href="community.html"></a></dd>
      <dt id="download">4. Download</dt>
-     <dd id="downloadDef"><a href="download"></a></dd>
+     <dd id="downloadDef"><a href="download.html"></a></dd>
     </dl>
     <div>