...

diff --git a/helm/software/matita/help/C/figures/matita.png b/helm/software/matita/help/C/figures/matita.png
new file mode 100644 (file)
index 0000000..5a68071
Binary files /dev/null and b/helm/software/matita/help/C/figures/matita.png differ

diff --git a/helm/software/matita/help/C/xsl/matita-xhtml.xsl b/helm/software/matita/help/C/xsl/matita-xhtml.xsl
index 099c390f08b939b3164b042b43061c7160665dd3..008f669134d36ac894492e70c6f26c78934dff27 100644 (file)
--- a/helm/software/matita/help/C/xsl/matita-xhtml.xsl
+++ b/helm/software/matita/help/C/xsl/matita-xhtml.xsl
@@ -61,9 +61,9 @@
   <!-- Matita logo on the top left corner -->
 
   <xsl:template name="user.header.navigation">
-    <a href="../../">
+         <a href="../../../">
       <div class="matita_logo">
-       <img src="../../images/matita-tiny.png" alt="Tiny Matita logo" />
+       <img src="figures/matita.png" alt="Tiny Matita logo" />
        <span>Matita Home</span>
       </div>
     </a>