X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_root.xsl;h=f5cdfbed0464e7c055d161de1d28682471a90a11;hb=21e21b3b061807035bbd18d29d7a4fd8086ca10d;hp=82ce7d78149c5d24fd4442b892e6128bdf735911;hpb=d8f6494f48aa08bb32d9d1ac82fc16e9e41b76ac;p=helm.git

diff --git a/helm/www/lambdadelta/xslt/ld_web_root.xsl b/helm/www/lambdadelta/xslt/ld_web_root.xsl
index 82ce7d781..f5cdfbed0 100644
--- a/helm/www/lambdadelta/xslt/ld_web_root.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_root.xsl
@@ -155,12 +155,17 @@
 </xsl:template>
 
 <xsl:template match="ld:style">
-   <span class="{@class}">
-      <xsl:choose>
-         <xsl:when test="@of"><xsl:value-of select="@of"/></xsl:when>
-         <xsl:otherwise><xsl:apply-templates/></xsl:otherwise>
-      </xsl:choose>
-   </span>
+  <span class="{@class}">
+    <xsl:choose>
+      <xsl:when test="@title">
+        <xsl:attribute name="title"><xsl:value-of select="@title"/></xsl:attribute>
+      </xsl:when>
+    </xsl:choose>
+    <xsl:choose>
+      <xsl:when test="@of"><xsl:value-of select="@of"/></xsl:when>
+      <xsl:otherwise><xsl:apply-templates/></xsl:otherwise>
+    </xsl:choose>
+  </span>
 </xsl:template>
 
 <xsl:template match="ld:notice">