tests are now handled with a standard Makefile that does not use do_tests.sh

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

index 2bf6a2119984b97d5ed56ecf36d25fe60edae50a..245cba1c3898c46c393abe70a1c4c8f263698220 100644 (file)
--- a/helm/www/matita/matita.shtml
+++ b/helm/www/matita/matita.shtml
@@ -12,7 +12,7 @@
         margin-right:auto;
         margin-top:50px;
         padding: 0;
-       background: url(matita.png) top left no-repeat;
+       background: url(images/matita.png) top left no-repeat;
         height: 590px;
         width: 485px; 
         position: relative;
@@ -24,22 +24,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(bg0.png) ; top: 0px}
+  dd#developersDef a:hover{ position: absolute; background: transparent url(images/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(bg1.png) ; top: 0px}
+  dd#documentationDef a:hover{ position: absolute; background: transparent url(images/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(bg2.png) ; top: 0px}
+  dd#communityDef a:hover{ position: absolute; background: transparent url(images/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(bg3.png) ; top: 0px}
+  dd#downloadDef a:hover{ position: absolute; background: transparent url(images/bg3.png) ; top: 0px}
  
   div#ex {margin-left:auto; margin-right:auto}
   </style>
@@ -47,7 +47,7 @@
    <body>
  
  <div id="ex" >
-<img src="matita.png" width="485" height="590" border="0" class="image" />
+<img src="images/matita.png" width="485" height="590" border="0" class="image" />
  
      <dl id="matitaMap">
       <dt id="developers">1. Developers</dt>
@@ -61,8 +61,6 @@
      </dl>
      <div>
    
-<!--#include virtual="bottombar.shtml" -->
    </body>
  </html>
-
  <!-- $Id$ -->