helm/matita_homepage/matita.html

   1 <html>
   2  <head>
   3   <title>Matita home page</title>
   4  </head>
   5  <style>
   6   a {text-decoration:none}
   7   img.image{ display: none; }
   8
   9   dl#matitaMap {
  10         margin-left:auto;
  11         margin-right:auto;
  12         margin-top:50px;
  13         padding: 0;
  14         background: url(matita.png) top left no-repeat;
  15         height: 590px;
  16         width: 485px;
  17         position: relative;
  18   }
  19
  20   dt{ margin: 0; padding: 0; position: absolute; font-size: 85%; display: none; }
  21   dd{ margin: 0; padding: 0; position: absolute;  font-size: 85%; }
  22
  23   dd#developersDef{ top: 206px; left: 30px; }
  24   dd#developersDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; }
  25   dd#developersDef a span{ display: none; }
  26   dd#developersDef a:hover{ position: absolute; background: transparent url(bg0.png) ; top: 0px}
  27
  28   dd#documentationDef{ top: 277px; left: 30px; }
  29   dd#documentationDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; }
  30   dd#documentationDef a span{ display: none; }
  31   dd#documentationDef a:hover{ position: absolute; background: transparent url(bg1.png) ; top: 0px}
  32
  33   dd#communityDef{ top: 348px; left: 30px; }
  34   dd#communityDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; }
  35   dd#communityDef a span{ display: none; }
  36   dd#communityDef a:hover{ position: absolute; background: transparent url(bg2.png) ; top: 0px}
  37
  38   dd#downloadDef{ top: 419px; left: 30px; }
  39   dd#downloadDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; }
  40   dd#downloadDef a span{ display: none; }
  41   dd#downloadDef a:hover{ position: absolute; background: transparent url(bg3.png) ; top: 0px}
  42
  43  div#ex {margin-left:auto; margin-right:auto}
  44  </style>
  45
  46   <body>
  47
  48 <div id="ex" >
  49 <img src="matita.png" width="485" height="590" border="0" class="image" />
  50
  51     <dl id="matitaMap">
  52      <dt id="developers">1. Developers</dt>
  53      <dd id="developersDef"><a href="developers.html"></a></dd>
  54      <dt id="documentation">2. Documentation</dt>
  55      <dd id="documentationDef"><a href="documentation.html"></a></dd>
  56      <dt id="community">3. Community</dt>
  57      <dd id="communityDef"><a href="community.html"></a></dd>
  58      <dt id="download">4. Download</dt>
  59      <dd id="downloadDef"><a href="download.html"></a></dd>
  60     </dl>
  61     <div>
  62
  63   </body>
  64
  65 </html>