]> matita.cs.unibo.it Git - helm.git/commitdiff
looks fine to me
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 Jan 2006 09:24:39 +0000 (09:24 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 20 Jan 2006 09:24:39 +0000 (09:24 +0000)
helm/matita_homepage/developers.html

index b41a1c21011e4006828b742e02ab896191a0dbf6..9e9c336fc05b74f0fe7972861b924878609fc9e8 100644 (file)
         
     <font size="-1" face="Arial, Helvetica, sans-serif">
 
+    <br/>
+       
     <!-- Matita Header -->
-      <table align=center border=1 bordercolor=#227722 bgcolor=#227722 
-      width=95% cellpadding=3>
+      <table align=center width=95% cellpadding=4>
        <tr>
-         <td bgcolor=#D0FFD0>
-           <table align=center border=0 width=100%>
+         <td bgcolor="green">
+           <table bgcolor=#D0FFD0 align=center cellpadding=3 width=100%>
              <tr>
-               <td bgcolor=#D0FFD0 align=center>
+               <td align=center>
+                 <a href=index.html>Matita Home</a>
+               </td>
+  
+               <td align=center>
                  <a href=developers.html>Developers</a>
                </td>
        
-               <td bgcolor=#D0FFD0 align=center>
+               <td align=center>
                  <a href=documentation.html>Documentation</a>
                </td>
 
-               <td bgcolor=#D0FFD0 align=center>
+               <td align=center>
                  <a href=community.html>Community</a>
                </td>
        
-               <td bgcolor=#D0FFD0 align=center>
-
+               <td align=center>
                  <a href=download.html>Download</a>
                </td>
              </tr>
 
        <tr>
          <td>
+            <Br>
            <h2>Current team members</h2>
            <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/~tassi">Enrico Tassi</a>PhD Student</li>
-             <li><a href="http://www.cs.unibo.it/~zacchiro">Stefano Zacchiroli</a>PhD Student</li>
+             <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/~tassi">Enrico Tassi</a> - PhD Student</li>
+             <li><a href="http://www.cs.unibo.it/~zacchiro">Stefano Zacchiroli</a> - PhD Student</li>
            </ul>
 
            <h2>Former members</h2>
@@ -60,7 +65,7 @@
            <h2>Students, developers and contributors</h2>
            <ul>
              <li>Pietro Di Lena</li>
-             <li>Michele Galata'.</li>
+             <li>Michele Galata'</li>
              <li>Alberto Griggio</li>
              <li>Matteo Selmi</li>
              <li>Vincenzo Tamburrelli</li>