X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_library.xsl;h=ad10ba2eb5edea514bedc4adfeec3b489e31f4d4;hb=f39d53ed5f2a11cacbfabf5348e01b47d19479e5;hp=fb76831dc8510dd4792523c85b7200c11a90442a;hpb=f7d7f2459b3b0409be5f168822be3b836ccc929b;p=helm.git

diff --git a/helm/www/lambdadelta/xslt/ld_web_library.xsl b/helm/www/lambdadelta/xslt/ld_web_library.xsl
index fb76831dc..ad10ba2eb 100644
--- a/helm/www/lambdadelta/xslt/ld_web_library.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_library.xsl
@@ -5,18 +5,6 @@
                 xmlns="http://www.w3.org/1999/xhtml"
 >
 
-<xsl:template name="home">
-   <div class="spacer">
-      <a href="{$baseurl}">
-         <img class="icon32"
-	      alt="[\lambda\delta home]"
-	      title="\lambda\delta home"
-	      src="{$baseurl}images/crux_32.png"
-         />
-      </a>
-   </div>
-</xsl:template>
-
 <xsl:template name="rule">
    <div class="spacer">
       <img class="rule"
@@ -36,7 +24,9 @@
    />
 </xsl:template>
 
-<xsl:template name="xhtml">
+<!-- label support -->
+
+<xsl:template name="xhtml-label">
    <a href="http://validator.w3.org/check?uri=referer">
       <img class="w3c"
            alt="[Valid XHTML 1.1]"
@@ -46,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]"
@@ -56,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]"
@@ -66,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]"
@@ -76,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]"
@@ -86,7 +76,7 @@
    </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 \lambda\delta processor]"
@@ -96,6 +86,89 @@
    </a>
 </xsl:template>
 
+<!-- logo support -->
+
+<xsl:template name="crux-logo">
+   <a href="{$baseurl}"><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.html"><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>
+
+<!-- img main template -->
+
+<xsl:template name="img">
+  <xsl:choose>
+    <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="@label='helena'">
+      <xsl:call-template name="helena-label"/>
+    </xsl:when>
+  </xsl:choose>
+</xsl:template>
+
 <xsl:template name="sp">
    <xsl:text> </xsl:text>
 </xsl:template>