X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_root.xsl;h=d1faf246e920198a5c470110b7edf6168b39d67e;hp=f5cdfbed0464e7c055d161de1d28682471a90a11;hb=7bb7028a9aafcfd5c6570f4ad5ca472f19691bfc;hpb=cb9a85ca34af1e956c1e4714b0d64bd38c7feb18

diff --git a/helm/www/lambdadelta/xslt/ld_web_root.xsl b/helm/www/lambdadelta/xslt/ld_web_root.xsl
index f5cdfbed0..d1faf246e 100644
--- a/helm/www/lambdadelta/xslt/ld_web_root.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_root.xsl
@@ -154,6 +154,15 @@
    <li class="{@class}"><xsl:apply-templates/></li>
 </xsl:template>
 
+<xsl:template match="ld:line">
+  <div class="{@class}">
+    <xsl:choose>
+      <xsl:when test="@of"><xsl:value-of select="@of"/></xsl:when>
+      <xsl:otherwise><xsl:apply-templates/></xsl:otherwise>
+    </xsl:choose>
+  </div>
+</xsl:template>
+
 <xsl:template match="ld:style">
   <span class="{@class}">
     <xsl:choose>