Added header to all files.

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

index d042a758d0afce53ddc88c8314a91eb84d956bd5..447e8c60cfc393ba26f6211ee7d76ba7f20ff9b9 100644 (file)
--- a/helm/matita_homepage/documentation.html
+++ b/helm/matita_homepage/documentation.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>