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

diff --git a/helm/www/lambdadelta/xslt/ld_web_root.xsl b/helm/www/lambdadelta/xslt/ld_web_root.xsl
index 014d2e65e..f95f293a8 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/>
@@ -62,6 +72,16 @@
    </div>
 </xsl:template>
 
+<xsl:template match="ld:section15">
+   <div class="head2dx" id="{@name}">
+      <xsl:apply-templates/>
+      <xsl:call-template name="sp"/>
+      <xsl:call-template name="butterfly">
+         <xsl:with-param name="name" select="15"/>
+      </xsl:call-template>
+   </div>
+</xsl:template>
+
 <xsl:template match="ld:subsection">
    <div class="head3sn" id="{@name}">
       <xsl:apply-templates/>
@@ -82,7 +102,7 @@
 
 <xsl:template match="ld:news">
    <ul><li>
-      <span class="date"><xsl:value-of select="@date"/></span>
+      <span class="emph {@class}"><xsl:value-of select="@date"/></span>
       <xsl:apply-templates/>
    </li></ul>
 </xsl:template>
@@ -120,16 +140,42 @@
    <li><xsl:apply-templates/></li>
 </xsl:template>
 
-<xsl:template match="ld:date">
-   <span class="date"><xsl:value-of select="@date"/></span>
+<xsl:template match="ld:notice">
+   <span class="emph {@class}">
+      <xsl:choose>
+         <xsl:when test="@notice"><xsl:value-of select="@notice"/></xsl:when>
+         <xsl:when test="@text"><xsl:value-of select="@text"/></xsl:when>
+         <xsl:otherwise><xsl:apply-templates/></xsl:otherwise>
+      </xsl:choose>
+   </span>
 </xsl:template>
 
-<xsl:template match="ld:basic-icon">
-   <img class="icon32"
-	alt="[basic lambdadelta logo]"
-	title="basic lambdadelta"
-	src="{$baseurl}images/basic_32.png"
-   />
+<xsl:template match="ld:sub">
+   <sub><xsl:apply-templates/></sub>
+</xsl:template>
+
+<xsl:template match="ld:sup">
+   <sup><xsl:apply-templates/></sup>
+</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"/>
+   </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>
 
@@ -201,4 +247,10 @@
    </body></html>
 </xsl:template>
 
+<xsl:template match="@*|node()">
+   <xsl:copy>
+      <xsl:apply-templates select="@*|node()"/>
+   </xsl:copy>
+</xsl:template>
+
 </xsl:stylesheet>