]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/xslt/ld_web_library.xsl
planned dehyphenation of lambdadelta eventually took place!
[helm.git] / helm / www / lambdadelta / xslt / ld_web_library.xsl
diff --git a/helm/www/lambdadelta/xslt/ld_web_library.xsl b/helm/www/lambdadelta/xslt/ld_web_library.xsl
new file mode 100644 (file)
index 0000000..a90d005
--- /dev/null
@@ -0,0 +1,90 @@
+<?xml version="1.0" encoding="UTF-8"?>
+
+<xsl:stylesheet version="1.0"
+                xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+                xmlns="http://www.w3.org/1999/xhtml"
+>
+
+<xsl:template name="home">
+   <div class="spacer">
+      <a href="{$baseurl}">
+         <img class="icon32"
+             alt="[lambdadelta home]"
+             title="lambdadelta home"
+             src="{$baseurl}images/crux_32.png"
+         />
+      </a>
+   </div>
+</xsl:template>
+
+<xsl:template name="rule">
+   <div class="spacer">
+      <img class="rule"
+           alt="[Spacer]"
+          title="lambdadelta rainbow rule"
+           src="{$baseurl}images/rainbow.png"
+      />
+   </div>
+</xsl:template>
+
+<xsl:template name="xhtml">
+   <a href="http://validator.w3.org/check?uri=referer">
+      <img class="w3c"
+           alt="[Valid XHTML 1.1]"
+          title="Valid XHTML 1.1" 
+           src="http://www.w3.org/Icons/valid-xhtml11-blue"
+      />
+   </a>
+</xsl:template>
+
+<xsl:template name="css">
+   <a href="http://jigsaw.w3.org/css-validator/check/referer">
+      <img class="w3c"
+           alt="[Valid CSS level 2]"
+          title="Valid CSS level 2" 
+           src="http://www.w3.org/Icons/valid-css2-blue"
+      />
+   </a>
+</xsl:template>
+
+<xsl:template name="xslt">
+   <a href="http://www.w3.org/XML/">
+      <img class="w3c"
+           alt="[Generated from XML via XSL]"
+          title="Generated from XML via XSL"
+          src="{$baseurl}images/xml_xsl2.png"
+      />
+   </a>
+</xsl:template>
+
+<xsl:template name="png">
+   <a href="http://www.w3.org/Graphics/PNG/">
+      <img class="w3c"
+           alt="[PNG used here]"
+          title="PNG used here"
+           src="{$baseurl}images/PNGnow2.png"
+      />
+   </a>
+</xsl:template>
+
+<xsl:template name="browser">
+   <a href="http://www.anybrowser.org/campaign/">
+      <img class="w3c"
+           alt="[Viewable with any browser]"
+          title="Viewable with any browser"
+           src="http://www.anybrowser.org/campaign/bvgraphics/abtfile.png"
+      />
+   </a>
+</xsl:template>
+
+<xsl:template name="helena">
+   <a href="{$baseurl}implementation.html#helena">
+      <img class="w3c"
+           alt="[Powered by Helena lambdadelta processor]"
+          title="Powered by Helena lambdadelta processor"
+          src="{$baseurl}images/helena_label.png"
+      />
+   </a>
+</xsl:template>
+
+</xsl:stylesheet>