X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_library.xsl;h=60b0602495b5e5b5e5222600e66abaa38ae05e25;hb=cdb85e803cd6038352ec0a318285f96f42faf02d;hp=a90d005a1d87ec7dadd10a11ffab47894b04fa6c;hpb=2a5e0b799cd6aae5d920c67a5ddc9d9888cf7e80;p=helm.git

diff --git a/helm/www/lambdadelta/xslt/ld_web_library.xsl b/helm/www/lambdadelta/xslt/ld_web_library.xsl
index a90d005a1..60b060249 100644
--- a/helm/www/lambdadelta/xslt/ld_web_library.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_library.xsl
@@ -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]"
@@ -77,14 +76,123 @@
    </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>