]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/xslt/ld_web_root.xsl
- update in basic_2
[helm.git] / helm / www / lambdadelta / xslt / ld_web_root.xsl
index d0024b8dc14ef6fce865aa3cbb9eac4528177888..a6b25cb6fc2d9d3cf1d9dab7e41ab7b5cf89c18e 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/>
    <span class="date"><xsl:value-of select="@date"/></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: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>