]> matita.cs.unibo.it Git - helm.git/blob - helm/www/matita/splash.shtml
when sort inclusion is enabled, we can produce conversion constraints in xml
[helm.git] / 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>