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

diff --git a/helm/www/lambdadelta/xslt/ld_web_root.xsl b/helm/www/lambdadelta/xslt/ld_web_root.xsl
index 07bd9bf3f..d1faf246e 100644
--- a/helm/www/lambdadelta/xslt/ld_web_root.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_root.xsl
@@ -7,15 +7,23 @@
 >
 
 <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:section1">
+   <div class="head2dx" id="{@name}">
+      <xsl:apply-templates/>
+      <xsl:call-template name="sp"/>
+      <xsl:call-template name="butterfly">
+         <xsl:with-param name="name" select="1"/>
+      </xsl:call-template>
+   </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 +33,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 +43,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 +52,28 @@
    </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: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">
-   <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,27 +82,37 @@
    </div>
 </xsl:template>
 
-<xsl:template match="ld:body">
-   <div class="text">
+<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:link">
-   <a href="{@to}">
+<xsl:template match="ld:subsection">
+   <div class="head3sn" id="{@name}">
       <xsl:apply-templates/>
-   </a>
+   </div>
 </xsl:template>
 
-<xsl:template match="ld:rlink">
-   <a href="{$baseurl}{@to}">
+<xsl:template match="ld:body">
+   <div class="text">
       <xsl:apply-templates/>
-   </a>
+   </div>
+</xsl:template>
+
+<xsl:template match="ld:topitem">
+   <ul id="{@name}"><li>
+      <xsl:apply-templates/>
+   </li></ul>
 </xsl:template>
 
 <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>
@@ -95,16 +130,98 @@
    </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:newline">
+   <br/>
+</xsl:template>
+
+<xsl:template match="ld:list">
+   <ul><xsl:apply-templates/></ul>
+</xsl:template>
+
+<xsl:template match="ld:item">
+   <li class="{@class}"><xsl:apply-templates/></li>
+</xsl:template>
+
+<xsl:template match="ld:line">
+  <div class="{@class}">
+    <xsl:choose>
+      <xsl:when test="@of"><xsl:value-of select="@of"/></xsl:when>
+      <xsl:otherwise><xsl:apply-templates/></xsl:otherwise>
+    </xsl:choose>
+  </div>
+</xsl:template>
+
+<xsl:template match="ld:style">
+  <span class="{@class}">
+    <xsl:choose>
+      <xsl:when test="@title">
+        <xsl:attribute name="title"><xsl:value-of select="@title"/></xsl:attribute>
+      </xsl:when>
+    </xsl:choose>
+    <xsl:choose>
+      <xsl:when test="@of"><xsl:value-of select="@of"/></xsl:when>
+      <xsl:otherwise><xsl:apply-templates/></xsl:otherwise>
+    </xsl:choose>
+  </span>
+</xsl:template>
+
+<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:sub">
+   <sub><xsl:apply-templates/></sub>
+</xsl:template>
+
+<xsl:template match="ld:sup">
+   <sup><xsl:apply-templates/></sup>
+</xsl:template>
+
+<xsl:template match="ld:img">
+   <xsl:call-template name="img"/>
+   <xsl:choose>
+      <xsl:when test="@logo">
+         <xsl:call-template name="sp"/>
+      </xsl:when>
+   </xsl:choose>
+</xsl:template>
+
+<xsl:template match="ld:ucs-bronze">
+   <img
+      alt="[Official bronze sponsor of Unicode Consortium]"
+      title="Official bronze sponsor of Unicode Consortium"
+      src="{$baseurl}images/bronze-{@char}.png"
+   />
+</xsl:template>
+
 <xsl:template match="ld:footer">
    <xsl:call-template name="rule"/>
    <div class="spacer"><br/></div>   
    <div class="spacer">
-      <xsl:call-template name="xhtml"/>
-      <xsl:call-template name="css"/>
-      <xsl:call-template name="xslt"/>
+      <xsl:call-template name="xhtml-label"/>
+      <xsl:call-template name="css-label"/>
+      <xsl:call-template name="xslt-label"/>
       <xsl:apply-templates/>
-      <xsl:call-template name="png"/>
-      <xsl:call-template name="browser"/>
+      <xsl:call-template name="png-label"/>
+      <xsl:call-template name="browser-label"/>
    </div>
    <div class="spacer"><br/></div>   
    <div class="spacer">
@@ -113,10 +230,6 @@
    </div>
 </xsl:template>
 
-<xsl:template match="ld:helena-label">
-   <xsl:call-template name="helena"/>
-</xsl:template>
-
 <xsl:template match="ld:page">
    <html xsl:exclude-result-prefixes="ld" dir="ltr" lang="en-us"><head> 
       <meta http-equiv="Content-Language" content="en-us"/>
@@ -135,14 +248,20 @@
             href="{$baseurl}css/xhtbl.css"
       />
       <link rel="shortcut icon" 
-            href="{$baseurl}images/crux_16.ico"
+            href="{$baseurl}images/crux_32.ico"
       />
    </head><body lang="en-US">
-      <xsl:call-template name="home"/>
+      <div class="spacer"><xsl:call-template name="img"/></div>
       <div class="head1"><xsl:value-of select="@head"/></div>
       <xsl:call-template name="rule"/>
       <xsl:apply-templates/>
    </body></html>
 </xsl:template>
 
+<xsl:template match="@*|node()">
+   <xsl:copy>
+      <xsl:apply-templates select="@*|node()"/>
+   </xsl:copy>
+</xsl:template>
+
 </xsl:stylesheet>