helm/www/matita/splash.shtml

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