helm/www/matita/matita.shtml

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