X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_root.xsl;h=20e35cf632339b0e31791a423530bcd56cec9644;hb=e586251363da945585f3a39bdffee9a759f36f22;hp=07bd9bf3f8f05e0ca0435e29c9b6601f9eaf8320;hpb=c0d87c3cdf879f61aa53e91f43580e9815ae7190;p=helm.git

diff --git a/helm/www/lambdadelta/xslt/ld_web_root.xsl b/helm/www/lambdadelta/xslt/ld_web_root.xsl
index 07bd9bf3f..20e35cf63 100644
--- a/helm/www/lambdadelta/xslt/ld_web_root.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_root.xsl
@@ -7,15 +7,13 @@
 >
 
 <xsl:template match="ld:section">
-   <a name="{@name}"/>
-   <div class="head2sn">
+   <div class="head2sn" id="{@name}">
       <xsl:apply-templates/>
    </div>
 </xsl:template>
 
 <xsl:template match="ld:section3">
-   <a name="{@name}"/>
-   <div class="head2dx">
+   <div class="head2dx" id="{@name}">
       <xsl:apply-templates/>
       <xsl:call-template name="sp"/>
       <xsl:call-template name="butterfly">
@@ -25,8 +23,7 @@
 </xsl:template>
 
 <xsl:template match="ld:section4">
-    <a name="{@name}"/>
-    <div class="head2dx">
+    <div class="head2dx" id="{@name}">
       <xsl:apply-templates/>
       <xsl:call-template name="sp"/>
       <xsl:call-template name="butterfly">
@@ -36,8 +33,7 @@
 </xsl:template>
 
 <xsl:template match="ld:section5">
-   <a name="{@name}"/>
-   <div class="head2dx">
+   <div class="head2dx" id="{@name}">
       <xsl:apply-templates/>
       <xsl:call-template name="sp"/>
       <xsl:call-template name="butterfly">
@@ -47,8 +43,7 @@
 </xsl:template>
 
 <xsl:template match="ld:section9">
-   <a name="{@name}"/>
-   <div class="head2dx">
+   <div class="head2dx" id="{@name}">
       <xsl:apply-templates/>
       <xsl:call-template name="sp"/>
       <xsl:call-template name="butterfly">