--- /dev/null
+<html>
+ <head>
+ <title>Matita home page</title>
+ </head>
+ <style>
+ a {text-decoration:none}
+
+ dl#matitaMap {
+ margin-left:auto;
+ margin-right:auto;
+ margin-top:50px;
+ padding: 0;
+ background: url(matita.png) top left no-repeat;
+ height: 590px;
+ width: 485px;
+ position: relative;
+ }
+
+ dt{ margin: 0; padding: 0; position: absolute; font-size: 85%; display: none; }
+ dd{ margin: 0; padding: 0; position: absolute; font-size: 85%; }
+
+ 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(bg.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(bg.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(bg.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(bg.png) ; top: 0px}
+
+ div#ex {margin-left:auto; margin-right:auto}
+ </style>
+
+ <body>
+
+<div id="ex" >
+<img src="matita.png" width="485" height="590" border="0" class="image" />
+
+ <dl id="matitaMap">
+ <dt id="developers">1. Developers</dt>
+ <dd id="developersDef"><a href="developers"></a></dd>
+ <dt id="documentation">2. Documentation</dt>
+ <dd id="documentationDef"><a href="documentation"></a></dd>
+ <dt id="community">3. Community</dt>
+ <dd id="communityDef"><a href="community"></a></dd>
+ <dt id="download">4. Download</dt>
+ <dd id="downloadDef"><a href="download"></a></dd>
+ </dl>
+ <div>
+
+ </body>
+
+</html>
projects / helm.git / commitdiff
