Matita header

[helm.git] / helm / matita_homepage / developers.html
diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html

index aad8963ee96eec1b00599cc59fad0faa0ed841b3..d604eee5916d99e6f2b7182fe332f4389964d667 100644 (file)
--- a/helm/matita_homepage/developers.html
+++ b/helm/matita_homepage/developers.html
@@ -9,8 +9,54 @@
   </style>
  
    <body>
-    
+        
      <font size="-1" face="Arial, Helvetica, sans-serif">
+
+    <!-- Matita Header -->
+      <table align=center border=1 bordercolor=#227722 bgcolor=#227722 
+      width=95% cellpadding=3>
+       <tr>
+         <td bgcolor=#D0FFD0>
+           <table align=center border=0 width=100%>
+             <tr>
+               <td bgcolor=#D0FFD0 align=center>
+                 <a href=developers.html>Developers</a>
+               </td>
+       
+               <td bgcolor=#D0FFD0 align=center>
+                 <a href=documentation.html>Documentation</a>
+               </td>
+
+               <td bgcolor=#D0FFD0 align=center>
+                 <a href=community.html>Community</a>
+           </font>
+         </td>
+         <td bgcolor=#D0FFD0 align=center>
+
+           <font face=arial size=3 color=#000000>
+             <a href=download.html STYLE="text-decoration: none">Tool Download</a>
+           </font>
+         </td>
+         <td bgcolor=#D0FFD0 align=center>
+           <font face=arial size=3 color=#000000>
+             <a href=benchmarks.html STYLE="text-decoration: none">Benchmark Suites</a>
+           </font>
+
+         </td>
+         <td bgcolor=#D0FFD0 align=center>
+           <font face=arial size=3 color=#000000>
+             <a href=drafts.html STYLE="text-decoration: none">Draft Papers</a>
+           </font>
+         </td>
+       </tr>
+      </table>
+
+    </td>
+  </tr>
+</table>
+
+<br>
+
      <h2>Current team members</h2>
      <ul>
        <li><a href="http://www.cs.unibo.it/~asperti">Andrea Asperti</a> Full Professor</li>