X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_root.xsl;h=a6b25cb6fc2d9d3cf1d9dab7e41ab7b5cf89c18e;hb=37e1b4f314ffae815beca71300688040f8da6939;hp=07bd9bf3f8f05e0ca0435e29c9b6601f9eaf8320;hpb=cb0d4e730bd6ec9bed1018be37748120f740f0a9;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..a6b25cb6f 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">
@@ -46,9 +42,18 @@
    </div>
 </xsl:template>
 
+<xsl:template match="ld:section6">
+   <div class="head2dx" id="{@name}">
+      <xsl:apply-templates/>
+      <xsl:call-template name="sp"/>
+      <xsl:call-template name="butterfly">
+         <xsl:with-param name="name" select="6"/>
+      </xsl:call-template>
+   </div>
+</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">
@@ -57,22 +62,22 @@
    </div>
 </xsl:template>
 
-<xsl:template match="ld:body">
-   <div class="text">
+<xsl:template match="ld:subsection">
+   <div class="head3sn" id="{@name}">
       <xsl:apply-templates/>
    </div>
 </xsl:template>
 
-<xsl:template match="ld:link">
-   <a href="{@to}">
+<xsl:template match="ld:body">
+   <div class="text">
       <xsl:apply-templates/>
-   </a>
+   </div>
 </xsl:template>
 
-<xsl:template match="ld:rlink">
-   <a href="{$baseurl}{@to}">
+<xsl:template match="ld:topitem">
+   <ul id="{@name}"><li>
       <xsl:apply-templates/>
-   </a>
+   </li></ul>
 </xsl:template>
 
 <xsl:template match="ld:news">
@@ -95,6 +100,62 @@
    </div>
 </xsl:template>
 
+<xsl:template match="ld:link">
+   <a href="{@to}">
+      <xsl:apply-templates/>
+   </a>
+</xsl:template>
+
+<xsl:template match="ld:rlink">
+   <a href="{$baseurl}{@to}">
+      <xsl:apply-templates/>
+   </a>
+</xsl:template>
+
+<xsl:template match="ld:list">
+   <ul><xsl:apply-templates/></ul>
+</xsl:template>
+
+<xsl:template match="ld:item">
+   <li><xsl:apply-templates/></li>
+</xsl:template>
+
+<xsl:template match="ld:date">
+   <span class="date"><xsl:value-of select="@date"/></span>
+</xsl:template>
+
+<xsl:template match="ld:version2-icon">
+   <xsl:call-template name="butterfly">
+      <xsl:with-param name="name" select="4"/>
+   </xsl:call-template>
+   <xsl:call-template name="sp"/>
+</xsl:template>
+
+<xsl:template match="ld:version1-icon">
+   <xsl:call-template name="butterfly">
+      <xsl:with-param name="name" select="6"/>
+   </xsl:call-template>
+   <xsl:call-template name="sp"/>
+</xsl:template>
+
+<xsl:template match="ld:crux-icon">
+   <img class="icon32"
+	alt="[Crux logo]"
+	title="the Crux"
+	src="{$baseurl}images/crux_32.png"
+   />
+   <xsl:call-template name="sp"/>
+</xsl:template>
+
+<xsl:template match="ld:helena-icon">
+   <img class="icon32"
+	alt="[Helena logo]"
+	title="Helena"
+	src="{$baseurl}images/helena_32.png"
+   />
+   <xsl:call-template name="sp"/>
+</xsl:template>
+
 <xsl:template match="ld:footer">
    <xsl:call-template name="rule"/>
    <div class="spacer"><br/></div>