- added a real-life index page

[helm.git] / helm / www / matita / community.shtml
diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml

index eebd71cc7f24ff229c9f1d158d19e80c40105921..16e029f73cbf94f4a7f7194bde7e6916b395667e 100644 (file)
--- a/helm/www/matita/community.shtml
+++ b/helm/www/matita/community.shtml
@@ -1,8 +1,8 @@
  <!--#include virtual="xhtml-header.shtml" -->
  <html>
    <head>
-    <title>Matita home page - community</title>
-    <link type="text/css" rel="stylesheet" href="style.css"/>
+    <title>Matita - Community</title>
+    <!--#include virtual="xhtml-meta.shtml" -->
    </head>
    <body>
      <!--#include virtual="menubar.shtml" -->
@@ -17,8 +17,8 @@
        contributions. <em>"Miki: a formal Mathematics wIKI"</em> is the
        codename of the effort.
        </p>
+      <!--#include virtual="bottombar.shtml" -->
      </div>
-    <!--#include virtual="bottombar.shtml" -->
    </body>
  </html>
  <!-- $Id$ -->