Cosmetic changes.

diff --git a/matitaB/matita/html/icons/saveas.png b/matitaB/matita/html/icons/saveas.png
new file mode 100644 (file)
index 0000000..8da6ae1
Binary files /dev/null and b/matitaB/matita/html/icons/saveas.png differ

diff --git a/matitaB/matita/html/index.html b/matitaB/matita/html/index.html
index b34fa6b8f1c287360cccb615b9b69f4bff323842..65a6ca6b9db9c09eeb20b6bbb9cd6f40b05151c6 100644 (file)
--- a/matitaB/matita/html/index.html
+++ b/matitaB/matita/html/index.html
@@ -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>