]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/xslt/ld_web_library.xsl
updated web site
[helm.git] / helm / www / lambdadelta / xslt / ld_web_library.xsl
index e6b8df546d02b66cb978351787722cf7d74d44eb..60b0602495b5e5b5e5222600e66abaa38ae05e25 100644 (file)
 
 <!-- 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"
 
 <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>