<html>
- <head>
- <title>Matita home page - community</title>
- </head>
- <style>
- </style>
-
- <body>
- <font size="-1" face="Arial, Helvetica, sans-serif">
-
- <br></br>
-
- <table align=center width=95% cellpadding=4>
- <tr>
- <td bgcolor="green">
-
- <!-- Matita Header -->
- <table bgcolor=#D0FFD0 align=center cellpadding=3 width=100%>
- <tr>
- <td align=center>
- <a href=index.html>Matita Home</a>
- </td>
-
- <td align=center>
- <a href=developers.html>Developers</a>
- </td>
-
- <td align=center>
- <a href=documentation.html>Documentation</a>
- </td>
-
- <td align=center>
- <a href=community.html>Community</a>
- </td>
-
- <td align=center>
- <a href=download.html>Download</a>
- </td>
- </tr>
- </table>
- </td>
- </tr>
-
- <tr>
- <td>
- <br>
- testo qui
- </td>
- </tr>
-
- </table>
-
- </font>
- </body>
-
+<head>
+ <title>Matita home page - community</title>
+ <link type="text/css" rel="stylesheet" href="style.css"/>
+</head>
+<body>
+ <div class="upmenu">
+ <a class="upmenu" href=index.html>Matita Home</a>
+ <a class="upmenu" href=developers.html>Developers</a>
+ <a class="upmenu" href=documentation.html>Documentation</a>
+ <a class="upmenu" href=community.html>Community</a>
+ <a class="upmenu" href=download.html>Download</a>
+ </div>
+ <h1><span class="h1">Miki</span></h1>
+ <p>
+ Miki is not yet ready...
+ </p>
+</body>
</html>
<html>
- <head>
- <title>Matita home page - developers</title>
- </head>
- <style>
-
-
-
- </style>
-
- <body>
-
- <font size="-1" face="Arial, Helvetica, sans-serif">
-
- <br/>
-
- <!-- Matita Header -->
- <table align=center width=95% cellpadding=4>
- <tr>
- <td bgcolor="green">
- <table bgcolor=#D0FFD0 align=center cellpadding=3 width=100%>
- <tr>
- <td align=center>
- <a href=index.html>Matita Home</a>
- </td>
-
- <td align=center>
- <a href=developers.html>Developers</a>
- </td>
+<head>
+ <title>Matita home page - developers</title>
+ <link type="text/css" rel="stylesheet" href="style.css"/>
+</head>
+<body>
+ <div class="upmenu">
+ <a class="upmenu" href=index.html>Matita Home</a>
+ <a class="upmenu" href=developers.html>Developers</a>
+ <a class="upmenu" href=documentation.html>Documentation</a>
+ <a class="upmenu" href=community.html>Community</a>
+ <a class="upmenu" href=download.html>Download</a>
+ </div>
- <td align=center>
- <a href=documentation.html>Documentation</a>
- </td>
-
- <td align=center>
- <a href=community.html>Community</a>
- </td>
-
- <td align=center>
- <a href=download.html>Download</a>
- </td>
- </tr>
- </table>
- </td>
- </tr>
-
- <tr>
- <td>
- <Br>
- <h2>Current team members</h2>
+ <h1><span class="h1">Current team members</span></h1>
<ul>
<li><a href="http://www.cs.unibo.it/~asperti">Andrea Asperti</a> - Full Professor</li>
<li><a href="http://www.cs.unibo.it/~sacerdot">Claudio Sacerdoti Coen</a> - Researcher </li>
<li><a href="http://www.cs.unibo.it/~zacchiro">Stefano Zacchiroli</a> - PhD Student</li>
</ul>
- <h2>Former members</h2>
+ <h1><span class="h1">Former members</span></h1>
<ul>
<li><a href="http://www.cs.unibo.it/~fguidi/">Ferruccio Guidi</a></li>
<li><a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a></li>
<li><a href="http://www.cs.unibo.it/~schena/">Irene Schena</a></li>
</ul>
- <h2>Students, developers and contributors</h2>
+ <h1><span class="h1">Students, developers and contributors</span></h1>
<ul>
<li>Pietro Di Lena</li>
<li>Michele Galata'</li>
<li>Matteo Selmi</li>
<li>Vincenzo Tamburrelli</li>
</ul>
- </td>
- </tr>
- </table>
-
- </font>
</body>
</html>
<html>
- <head>
- <title>Matita home page - documentation</title>
- </head>
- <style>
- </style>
-
- <body>
- <font size="-1" face="Arial, Helvetica, sans-serif">
-
- <br></br>
-
- <table align=center width=95% cellpadding=4>
- <tr>
- <td bgcolor="green">
-
- <!-- Matita Header -->
- <table bgcolor=#D0FFD0 align=center cellpadding=3 width=100%>
- <tr>
- <td align=center>
- <a href=index.html>Matita Home</a>
- </td>
-
- <td align=center>
- <a href=developers.html>Developers</a>
- </td>
-
- <td align=center>
- <a href=documentation.html>Documentation</a>
- </td>
-
- <td align=center>
- <a href=community.html>Community</a>
- </td>
-
- <td align=center>
- <a href=download.html>Download</a>
- </td>
- </tr>
- </table>
- </td>
- </tr>
-
- <tr>
- <td>
- <br>
- testo qui
- </td>
- </tr>
-
- </table>
-
- </font>
- </body>
-
+<head>
+ <title>Matita home page - documentation</title>
+ <link type="text/css" rel="stylesheet" href="style.css"/>
+</head>
+<body>
+ <div class="upmenu">
+ <a class="upmenu" href=index.html>Matita Home</a>
+ <a class="upmenu" href=developers.html>Developers</a>
+ <a class="upmenu" href=documentation.html>Documentation</a>
+ <a class="upmenu" href=community.html>Community</a>
+ <a class="upmenu" href=download.html>Download</a>
+ </div>
+ <h1><span class="h1">User manual</span></h1>
+ <p>
+ Please be patient...
+ </p>
+</body>
</html>
<html>
- <head>
- <title>Matita home page - download</title>
- </head>
- <style>
- </style>
-
- <body>
- <font size="-1" face="Arial, Helvetica, sans-serif">
-
- <br></br>
-
- <table align=center width=95% cellpadding=4>
- <tr>
- <td bgcolor="green">
-
- <!-- Matita Header -->
- <table bgcolor=#D0FFD0 align=center cellpadding=3 width=100%>
- <tr>
- <td align=center>
- <a href=index.html>Matita Home</a>
- </td>
-
- <td align=center>
- <a href=developers.html>Developers</a>
- </td>
-
- <td align=center>
- <a href=documentation.html>Documentation</a>
- </td>
-
- <td align=center>
- <a href=community.html>Community</a>
- </td>
-
- <td align=center>
- <a href=download.html>Download</a>
- </td>
- </tr>
- </table>
- </td>
- </tr>
-
- <tr>
- <td>
- Since there is no official release, you can browse the svn
- repository and get sources of the <a href="http://helm.cs.unibo.it/websvn/dl.php?repname=helm&path=%2Ftrunk%2Fhelm%2Focaml%2F&rev=0&isdir=1">ocaml/</a> and
- <a href="http://helm.cs.unibo.it/websvn/dl.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fmatita%2F&rev=0&isdir=1">matita/</a> modules.
- <br>
- </td>
- </tr>
-
- </table>
-
- </font>
+<head>
+ <title>Matita home page - download</title>
+ <link type="text/css" rel="stylesheet" href="style.css"/>
+</head>
+<body>
+ <div class="upmenu">
+ <a class="upmenu" href=index.html>Matita Home</a>
+ <a class="upmenu" href=developers.html>Developers</a>
+ <a class="upmenu" href=documentation.html>Documentation</a>
+ <a class="upmenu" href=community.html>Community</a>
+ <a class="upmenu" href=download.html>Download</a>
+ </div>
+ <h1><span class="h1">Sources</span></h1>
+ <p>
+ Since there is no official release, you can browse the svn repository
+ and get sources of the <a
+ href="http://helm.cs.unibo.it/websvn/dl.php?repname=helm&path=%2Ftrunk%2Fhelm%2Focaml%2F&rev=0&isdir=1">ocaml/</a>
+ and <a
+ href="http://helm.cs.unibo.it/websvn/dl.php?repname=helm&path=%2Ftrunk%2Fhelm%2Fmatita%2F&rev=0&isdir=1">matita/</a>
+ modules.
+ </p>
</body>
</html>
--- /dev/null
+body {
+ font-family: sans-serif;
+ font-size: 14pt;
+
+ margin-left: 20px;
+}
+
+span.h1 {
+ font-family: sans-serif;
+ font-size: 18pt;
+
+ color: #808080;
+
+ border-bottom-width: 4px;
+ border-top-width: 0px;
+ border-left-width: 0px;
+ border-right-width: 0px;
+ border-style: solid;
+ border-color: #cb8080;
+
+ margin-right:auto;
+}
+
+p {
+ margin-left:5px;
+}
+
+a.upmenu {
+ color: #591622;
+ background-color: #ffffff;
+
+ font-family: sans-serif;
+ font-style : italic;
+
+ text-decoration : none;
+
+ border-color: #cb8080;
+ border-bottom-width: 3px;
+ border-top-width: 0px;
+ border-left-width: 0px;
+ border-right-width: 0px;
+ border-style: solid;
+
+ margin-left:20px;
+ margin-right:20px;
+}
+
+a.upmenu:hover {
+ color: #591622;
+ border-color: #808080;
+}
+
+a {
+ color: #591622;
+ text-decoration : none;
+
+ /*
+ border-bottom-width: 2px;
+ border-top-width: 0px;
+ border-left-width: 0px;
+ border-right-width: 0px;
+ border-style: solid;
+ border-color: #cb8080;
+ */
+}
+
+a:hover {
+ color: #808080;
+}
+
+div.upmenu {
+ display: block;
+ width: auto;
+ text-align:center;
+ margin-bottom: 40px;
+}
+
projects / helm.git / commitdiff