]> matita.cs.unibo.it Git - helm.git/blob - helm/matita_homepage/matita.html
fix
[helm.git] / 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>