1 <!--#include virtual="xhtml-header.shtml" -->
4 <title>Matita home page</title>
7 a {text-decoration:none}
8 img.image{ display: none; }
15 background: url(images/matita.png) top left no-repeat;
21 dt{ margin: 0; padding: 0; position: absolute; font-size: 85%; display: none; }
22 dd{ margin: 0; padding: 0; position: absolute; font-size: 85%; }
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}
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}
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}
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}
44 div#ex {margin-left:auto; margin-right:auto}
50 <img src="images/matita.png" width="485" height="590" border="0" class="image" />
53 <dt id="developers">1. Developers</dt>
54 <dd id="developersDef"><a href="developers.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>