]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/xslt/ld_web_library.xsl
- we begin the new site based on ld_web
[helm.git] / helm / www / lambdadelta / xslt / ld_web_library.xsl
index a90d005a1d87ec7dadd10a11ffab47894b04fa6c..0a497c7b0b29e6775edbc8ff0867596b8ce78ef8 100644 (file)
    </div>
 </xsl:template>
 
+<xsl:template name="butterfly">
+   <xsl:param name="name"/>
+   <img class="icon37"
+      alt="[spacer]"
+      title="lambdadelta butterfly"
+      src="{$baseurl}images/b{$name}.png"
+   />
+</xsl:template>
+
 <xsl:template name="xhtml">
    <a href="http://validator.w3.org/check?uri=referer">
       <img class="w3c"
@@ -87,4 +96,8 @@
    </a>
 </xsl:template>
 
+<xsl:template name="sp">
+   <xsl:text> </xsl:text>
+</xsl:template>
+
 </xsl:stylesheet>