From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 25 Nov 2008 19:30:33 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~4502
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=92c4af96b3c1e4918bdc10b7cbdb3a37038de074;p=helm.git

...
---

diff --git a/helm/software/matita/help/C/figures/matita.png b/helm/software/matita/help/C/figures/matita.png
new file mode 100644
index 000000000..5a6807126
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 099c390f0..008f66913 100644
--- 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>