]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/xslt/ld_web_root.xsl
- xhtbl: minor improvement
[helm.git] / helm / www / lambdadelta / xslt / ld_web_root.xsl
index 43e6123010f69a2200dda6e93cd3335ed6ef9fce..8c2c3ad3949300b3ed505f761ceb3b7520a99bb9 100644 (file)
    </div>
 </xsl:template>
 
+<xsl:template match="ld:subsection">
+   <div class="head3sn" id="{@name}">
+      <xsl:apply-templates/>
+   </div>
+</xsl:template>
+
 <xsl:template match="ld:body">
    <div class="text">
       <xsl:apply-templates/>
@@ -76,7 +82,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>
    <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:value-of select="@notice"/></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">
    </body></html>
 </xsl:template>
 
+<xsl:template match="@*|node()">
+   <xsl:copy>
+      <xsl:apply-templates select="@*|node()"/>
+   </xsl:copy>
+</xsl:template>
+
 </xsl:stylesheet>