reworked css and html structure, continuing offline ...

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

index b525e47f6d9004d654a46dca1ce2c435f5b6fcd5..eebd71cc7f24ff229c9f1d158d19e80c40105921 100644 (file)
--- a/helm/www/matita/community.shtml
+++ b/helm/www/matita/community.shtml
@@ -6,15 +6,18 @@
    </head>
    <body>
      <!--#include virtual="menubar.shtml" -->
-    <h1><span class="h1">Miki</span></h1>
-    <p>
-    We are currently developing
-    <a href="http://en.wikipedia.org/wiki/Wiki">Wiki</a>-like
-    technologies to support collaborative development of the Matita
-    library, encouraging people to expand, modify and elaborate previous
-    contributions. <em>"Miki: a formal Mathematics wIKI"</em> is the
-    codename of the effort.
-    </p>
+    <div class="main">
+      <h1>Matita Community</h1>
+      <h2><span class="h2">Miki</span></h1>
+      <p>
+      We are currently developing
+      <a href="http://en.wikipedia.org/wiki/Wiki">Wiki</a>-like
+      technologies to support collaborative development of the Matita
+      library, encouraging people to expand, modify and elaborate previous
+      contributions. <em>"Miki: a formal Mathematics wIKI"</em> is the
+      codename of the effort.
+      </p>
+    </div>
      <!--#include virtual="bottombar.shtml" -->
    </body>
  </html>