X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_root.xsl;h=014d2e65ed3f39a47a7269115c6581e979c16bff;hb=85155a59a3986914b005d7e7edd7351d8090e234;hp=d0024b8dc14ef6fce865aa3cbb9eac4528177888;hpb=fca909e9e53de73771e1b47e94434ae8f747d7fb;p=helm.git

diff --git a/helm/www/lambdadelta/xslt/ld_web_root.xsl b/helm/www/lambdadelta/xslt/ld_web_root.xsl
index d0024b8dc..014d2e65e 100644
--- a/helm/www/lambdadelta/xslt/ld_web_root.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_root.xsl
@@ -62,6 +62,12 @@
    </div>
 </xsl:template>
 
+<xsl:template match="ld:subsection">
+   <div class="head3sn" id="{@name}">
+      <xsl:apply-templates/>
+   </div>
+</xsl:template>
+
 <xsl:template match="ld:body">
    <div class="text">
       <xsl:apply-templates/>