reworked css and html structure, continuing offline ...

[helm.git] / helm / www / matita / matita.shtml
diff --git a/helm/www/matita/matita.shtml b/helm/www/matita/matita.shtml

index 245cba1c3898c46c393abe70a1c4c8f263698220..6ef651759f927bbb6380f4eb7fb0e021e2a838a4 100644 (file)
--- a/helm/www/matita/matita.shtml
+++ b/helm/www/matita/matita.shtml
@@ -5,7 +5,7 @@
   </head>
   <style>
    a {text-decoration:none}
-  img.image{ display: none; }
+  img.invisible { display: none; }
  
    dl#matitaMap {
         margin-left:auto;
@@ -47,11 +47,11 @@
    <body>
  
  <div id="ex" >
-<img src="images/matita.png" width="485" height="590" border="0" class="image" />
+<img src="images/matita.png" width="485" height="590" border="0" class="invisible" />
  
      <dl id="matitaMap">
       <dt id="developers">1. Developers</dt>
-     <dd id="developersDef"><a href="developers.shtml"></a></dd>
+     <dd id="developersDef"><a href="development.shtml"></a></dd>
       <dt id="documentation">2. Documentation</dt>
       <dd id="documentationDef"><a href="documentation.shtml"></a></dd>
       <dt id="community">3. Community</dt>