Bug fixing + cosmetic changes

[helm.git] / matitaB / matita / html / index.html

diff --git a/matitaB/matita/html/index.html b/matitaB/matita/html/index.html
index 7f921c69cd0f7eae5f1ba469dd2b03cc9b7ee1cc..b34fa6b8f1c287360cccb615b9b69f4bff323842 100644 (file)
--- a/matitaB/matita/html/index.html
+++ b/matitaB/matita/html/index.html
@@ -28,7 +28,7 @@
 
 <div class="toparea ui-layout-north" id="toparea">
 <div class="titlebar" id="titlebar">
-  <div class="mainTitle"><H2 id="matitaTitle">Matita - &lt;&lt;Filename&gt;&gt;</H2></div>
+  <div class="mainTitle"><img src="icons/matita-32.png"><H2 id="matitaTitle">&lt;&lt;Filename&gt;&gt;</H2></div>
   <div class="mainRight" id="matitaLogout"><A id="hlogout" href="/logout.html">Log out</A></div>
 </div>