- use kluwer bibtex style for numbered references

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

index 0115f2d383bafb853d3d7fcf3404db1fb7c600bb..240e4edb751172d902bf2ee035ba6d0c9ec06508 100644 (file)
--- a/helm/matita_homepage/community.html
+++ b/helm/matita_homepage/community.html
@@ -6,7 +6,51 @@
   </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>
  
  </html>