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..65a6ca6b9db9c09eeb20b6bbb9cd6f40b05151c6 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>
 
@@ -82,7 +82,7 @@
                                                     alt="Save" 
                                                     title="Save script"></A>
    <span style="width:1px; display:inline-block;"></span>
-   <A href="#" onClick="saveDialog()"><IMG class="toolbarimg" src="icons/save.png" 
+   <A href="#" onClick="saveDialog()"><IMG class="toolbarimg" src="icons/saveas.png" 
                                                     alt="Save as" 
                                                     title="Save script as..."></A>
    <span style="width:1px; display:inline-block;"></span>