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

diff --git a/helm/www/lambdadelta/xslt/ld_web_library.xsl b/helm/www/lambdadelta/xslt/ld_web_library.xsl
index ad10ba2eb..e6b8df546 100644
--- a/helm/www/lambdadelta/xslt/ld_web_library.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_library.xsl
@@ -18,7 +18,7 @@
 <xsl:template name="butterfly">
    <xsl:param name="name"/>
    <img class="icon37"
-      alt="[spacer]"
+      alt="[butterfly]"
       title="\lambda\delta butterfly"
       src="{$baseurl}images/b{$name}.png"
    />
@@ -115,7 +115,7 @@
 </xsl:template>
 
 <xsl:template name="osn-logo">
-   <a href="{$baseurl}osn.html"><img class="w3c"
+   <a href="{$baseurl}osn/"><img class="w3c"
       alt="[Open Symbolic Notation logo]"
       title="OSN: Open Symbolic Notation"
       src="{$baseurl}images/osn_label.png"
@@ -138,6 +138,14 @@
    />
 </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">
@@ -163,6 +171,9 @@
     <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>