X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_library.xsl;h=f7fcb332eb29aa43278dc60a84a8f5f9d426223f;hb=049f6a9c248a1638495196e04cf17d30154d5de4;hp=ad10ba2eb5edea514bedc4adfeec3b489e31f4d4;hpb=286f7302d857a8a6674e1cf66fa1b1a1527dd1ac;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..f7fcb332e 100644
--- a/helm/www/lambdadelta/xslt/ld_web_library.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_library.xsl
@@ -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>