]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/xslt/ld_web_root.xsl
some changes in lambdadelta butterflies
[helm.git] / helm / www / lambdadelta / xslt / ld_web_root.xsl
index 7c36784c9515e0adfc4babcaa44f347b1dfddc1e..ee9d210537f7a20dbeac2312dc8882f716f61b10 100644 (file)
@@ -2,14 +2,88 @@
 
 <xsl:stylesheet version="1.0"
                 xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
-               xmlns:date="http://exslt.org/dates-and-times"
                 xmlns:ld="http://lambdadelta.info/"
                 xmlns="http://www.w3.org/1999/xhtml"
-                extension-element-prefixes="date"
 >
 
 <xsl:template match="ld:section">
-   <div class="head2">
+   <div class="head2sn" id="{@name}">
+      <xsl:apply-templates/>
+   </div>
+</xsl:template>
+
+<xsl:template match="ld:section3">
+   <div class="head2dx" id="{@name}">
+      <xsl:apply-templates/>
+      <xsl:call-template name="sp"/>
+      <xsl:call-template name="butterfly">
+         <xsl:with-param name="name" select="3"/>
+      </xsl:call-template>
+   </div>
+</xsl:template>
+
+<xsl:template match="ld:section4">
+    <div class="head2dx" id="{@name}">
+      <xsl:apply-templates/>
+      <xsl:call-template name="sp"/>
+      <xsl:call-template name="butterfly">
+         <xsl:with-param name="name" select="4"/>
+      </xsl:call-template>
+   </div>
+</xsl:template>
+
+<xsl:template match="ld:section5">
+   <div class="head2dx" id="{@name}">
+      <xsl:apply-templates/>
+      <xsl:call-template name="sp"/>
+      <xsl:call-template name="butterfly">
+         <xsl:with-param name="name" select="5"/>
+      </xsl:call-template>
+   </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">
+   <div class="head2dx" id="{@name}">
+      <xsl:apply-templates/>
+      <xsl:call-template name="sp"/>
+      <xsl:call-template name="butterfly">
+         <xsl:with-param name="name" select="9"/>
+      </xsl:call-template>
+   </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/>
    </div>
 </xsl:template>
    </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">
    <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>
    </div>
 </xsl:template>
 
+<xsl:template match="ld:sitemap">
+   <div class="spacer"><br/></div>   
+   <div class="text">
+      <xsl:call-template name="xhtbl"/>
+   </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:notice">
+   <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"/>
+   </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>   
    <div class="spacer"><br/></div>   
    <div class="spacer">
       <xsl:value-of select="'Last update: '"/> 
-      <xsl:value-of select="date:date-time()"/>
+      <xsl:value-of select="$date"/>
    </div>
 </xsl:template>
 
 </xsl:template>
 
 <xsl:template match="ld:page">
-   <html xmlns="http://www.w3.org/1999/xhtml" dir="ltr" lang="en-us"><head>
+   <html xsl:exclude-result-prefixes="ld" dir="ltr" lang="en-us"><head> 
       <meta http-equiv="Content-Language" content="en-us"/>
       <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
       <meta http-equiv="Content-Style-Type" content="text/css"/>
    </body></html>
 </xsl:template>
 
+<xsl:template match="@*|node()">
+   <xsl:copy>
+      <xsl:apply-templates select="@*|node()"/>
+   </xsl:copy>
+</xsl:template>
+
 </xsl:stylesheet>