<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"
/>
<!-- 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>
<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"
<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>