X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_library.xsl;h=60b0602495b5e5b5e5222600e66abaa38ae05e25;hb=cdb85e803cd6038352ec0a318285f96f42faf02d;hp=f7fcb332eb29aa43278dc60a84a8f5f9d426223f;hpb=049f6a9c248a1638495196e04cf17d30154d5de4;p=helm.git

diff --git a/helm/www/lambdadelta/xslt/ld_web_library.xsl b/helm/www/lambdadelta/xslt/ld_web_library.xsl
index f7fcb332e..60b060249 100644
--- a/helm/www/lambdadelta/xslt/ld_web_library.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_library.xsl
@@ -18,7 +18,7 @@
 <xsl:template name="butterfly">
    <xsl:param name="name"/>
    <img class="icon37"
-      alt="[spacer]"
+      alt="[butterfly]"
       title="\lambda\delta butterfly"
       src="{$baseurl}images/b{$name}.png"
    />
@@ -88,8 +88,16 @@
 
 <!-- logo support -->
 
+<xsl:template name="forward-logo">
+   <a href="http://lambdadelta.info/"><img class="icon32"
+      alt="[forwarded logo]"
+      title="forwarded logo"
+      src="http://lambdadelta.info/images/crux_32.png"
+   /></a>
+</xsl:template>
+
 <xsl:template name="crux-logo">
-   <a href="{$baseurl}"><img class="icon32"
+   <a href="{$baseurl}html/home.html"><img class="icon32"
       alt="[\lambda\delta home]"
       title="\lambda\delta home"
       src="{$baseurl}images/crux_32.png"
@@ -115,7 +123,7 @@
 </xsl:template>
 
 <xsl:template name="osn-logo">
-   <a href="{$baseurl}osn.html"><img class="w3c"
+   <a href="{$baseurl}osn/"><img class="w3c"
       alt="[Open Symbolic Notation logo]"
       title="OSN: Open Symbolic Notation"
       src="{$baseurl}images/osn_label.png"
@@ -150,6 +158,9 @@
 
 <xsl:template name="img">
   <xsl:choose>
+    <xsl:when test="@logo='forward'">
+      <xsl:call-template name="forward-logo"/>
+    </xsl:when>
     <xsl:when test="@logo='crux'">
       <xsl:call-template name="crux-logo"/>
     </xsl:when>