X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fcommunity.shtml;h=30c7029dbd6cc50562ad1cbd4c1a9bc1d9a74041;hb=c4f04f460838ee0450e73f96bda214b7988b16a6;hp=16e029f73cbf94f4a7f7194bde7e6916b395667e;hpb=0775f6acafa9aa176d148a8f3acf7e750c1c3171;p=helm.git

diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml
index 16e029f73..30c7029db 100644
--- a/helm/www/matita/community.shtml
+++ b/helm/www/matita/community.shtml
@@ -1,3 +1,4 @@
+<!-- $Id$ -->
 <!--#include virtual="xhtml-header.shtml" -->
 <html>
   <head>
@@ -8,7 +9,8 @@
     <!--#include virtual="menubar.shtml" -->
     <div class="main">
       <h1>Matita Community</h1>
-      <h2><span class="h2">Miki</span></h1>
+
+      <h2>Miki</h2>
       <p>
       We are currently developing
       <a href="http://en.wikipedia.org/wiki/Wiki">Wiki</a>-like
@@ -17,8 +19,8 @@
       contributions. <em>"Miki: a formal Mathematics wIKI"</em> is the
       codename of the effort.
       </p>
+
       <!--#include virtual="bottombar.shtml" -->
     </div>
   </body>
 </html>
-<!-- $Id$ -->
