X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_root.xsl;h=f47a9a942db1bce60225da54343946d1ee47bb3a;hb=67fede5f273328bf920ad609f15d4f2389493c5c;hp=8c2c3ad3949300b3ed505f761ceb3b7520a99bb9;hpb=685c36442ffed93a7bb0de464d35478821884c77;p=helm.git

diff --git a/helm/www/lambdadelta/xslt/ld_web_root.xsl b/helm/www/lambdadelta/xslt/ld_web_root.xsl
index 8c2c3ad39..f47a9a942 100644
--- a/helm/www/lambdadelta/xslt/ld_web_root.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_root.xsl
@@ -52,6 +52,16 @@
    </div>
 </xsl:template>
 
+<xsl:template match="ld:section8">
+   <div class="head2dx" id="{@name}">
+      <xsl:apply-templates/>
+      <xsl:call-template name="sp"/>
+      <xsl:call-template name="butterfly">
+         <xsl:with-param name="name" select="8"/>
+      </xsl:call-template>
+   </div>
+</xsl:template>
+
 <xsl:template match="ld:section9">
    <div class="head2dx" id="{@name}">
       <xsl:apply-templates/>
@@ -124,6 +134,13 @@
    <span class="emph {@class}"><xsl:value-of select="@notice"/></span>
 </xsl:template>
 
+<xsl:template match="ld:version3-icon">
+   <xsl:call-template name="butterfly">
+      <xsl:with-param name="name" select="8"/>
+   </xsl:call-template>
+   <xsl:call-template name="sp"/>
+</xsl:template>
+
 <xsl:template match="ld:version2-icon">
    <xsl:call-template name="butterfly">
       <xsl:with-param name="name" select="4"/>