]> 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 a90d005a1d87ec7dadd10a11ffab47894b04fa6c..60b0602495b5e5b5e5222600e66abaa38ae05e25 100644 (file)
@@ -5,29 +5,28 @@
                 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"
+          title="\lambda\delta rainbow rule"
            src="{$baseurl}images/rainbow.png"
       />
    </div>
 </xsl:template>
 
-<xsl:template name="xhtml">
+<xsl:template name="butterfly">
+   <xsl:param name="name"/>
+   <img class="icon37"
+      alt="[butterfly]"
+      title="\lambda\delta butterfly"
+      src="{$baseurl}images/b{$name}.png"
+   />
+</xsl:template>
+
+<!-- label support -->
+
+<xsl:template name="xhtml-label">
    <a href="http://validator.w3.org/check?uri=referer">
       <img class="w3c"
            alt="[Valid XHTML 1.1]"
@@ -37,7 +36,7 @@
    </a>
 </xsl:template>
 
-<xsl:template name="css">
+<xsl:template name="css-label">
    <a href="http://jigsaw.w3.org/css-validator/check/referer">
       <img class="w3c"
            alt="[Valid CSS level 2]"
@@ -47,7 +46,7 @@
    </a>
 </xsl:template>
 
-<xsl:template name="xslt">
+<xsl:template name="xslt-label">
    <a href="http://www.w3.org/XML/">
       <img class="w3c"
            alt="[Generated from XML via XSL]"
@@ -57,7 +56,7 @@
    </a>
 </xsl:template>
 
-<xsl:template name="png">
+<xsl:template name="png-label">
    <a href="http://www.w3.org/Graphics/PNG/">
       <img class="w3c"
            alt="[PNG used here]"
@@ -67,7 +66,7 @@
    </a>
 </xsl:template>
 
-<xsl:template name="browser">
+<xsl:template name="browser-label">
    <a href="http://www.anybrowser.org/campaign/">
       <img class="w3c"
            alt="[Viewable with any browser]"
    </a>
 </xsl:template>
 
-<xsl:template name="helena">
+<xsl:template name="helena-label">
    <a href="{$baseurl}implementation.html#helena">
       <img class="w3c"
-           alt="[Powered by Helena lambdadelta processor]"
-          title="Powered by Helena lambdadelta processor"
+           alt="[Powered by Helena \lambda\delta processor]"
+          title="Powered by Helena \lambda\delta processor"
           src="{$baseurl}images/helena_label.png"
       />
    </a>
 </xsl:template>
 
+<!-- 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}html/home.html"><img class="icon32"
+      alt="[\lambda\delta home]"
+      title="\lambda\delta home"
+      src="{$baseurl}images/crux_32.png"
+   /></a>
+</xsl:template>
+
+<xsl:template name="ld3-logo">
+   <xsl:call-template name="butterfly">
+      <xsl:with-param name="name" select="8"/>
+   </xsl:call-template>
+</xsl:template>
+
+<xsl:template name="ld2-logo">
+   <xsl:call-template name="butterfly">
+      <xsl:with-param name="name" select="4"/>
+   </xsl:call-template>
+</xsl:template>
+
+<xsl:template name="ld1-logo">
+   <xsl:call-template name="butterfly">
+      <xsl:with-param name="name" select="6"/>
+   </xsl:call-template>
+</xsl:template>
+
+<xsl:template name="osn-logo">
+   <a href="{$baseurl}osn/"><img class="w3c"
+      alt="[Open Symbolic Notation logo]"
+      title="OSN: Open Symbolic Notation"
+      src="{$baseurl}images/osn_label.png"
+   /></a>
+</xsl:template>
+
+<xsl:template name="helena-logo">
+   <img class="icon32"
+       alt="[Helena logo]"
+       title="Helena"
+       src="{$baseurl}images/helena_32.png"
+   />
+</xsl:template>
+
+<xsl:template name="lddl-logo">
+   <img class="icon32"
+       alt="[\lambda\delta digital library logo]"
+       title="LDDL: \lambda\delta digital library"
+       src="{$baseurl}images/crux_32.png"
+   />
+</xsl:template>
+
+<xsl:template name="smile-logo">
+   <img class="icon32"
+       alt="[Smiling face]"
+       title="Smile!"
+       src="{$baseurl}images/smile.png"
+   />
+</xsl:template>
+
+<!-- img main template -->
+
+<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>
+    <xsl:when test="@logo='ld3'">
+      <xsl:call-template name="ld3-logo"/>
+    </xsl:when>
+    <xsl:when test="@logo='ld2'">
+      <xsl:call-template name="ld2-logo"/>
+    </xsl:when>
+    <xsl:when test="@logo='ld1'">
+      <xsl:call-template name="ld1-logo"/>
+    </xsl:when>
+    <xsl:when test="@logo='osn'">
+      <xsl:call-template name="osn-logo"/>
+    </xsl:when>
+    <xsl:when test="@logo='helena'">
+      <xsl:call-template name="helena-logo"/>
+    </xsl:when>
+    <xsl:when test="@logo='lddl'">
+      <xsl:call-template name="lddl-logo"/>
+    </xsl:when>
+    <xsl:when test="@logo='smile'">
+      <xsl:call-template name="smile-logo"/>
+    </xsl:when>
+    <xsl:when test="@label='helena'">
+      <xsl:call-template name="helena-label"/>
+    </xsl:when>
+  </xsl:choose>
+</xsl:template>
+
+<xsl:template name="sp">
+   <xsl:text> </xsl:text>
+</xsl:template>
+
 </xsl:stylesheet>