]> 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 2eef8f14933c64a9b3356b755f66755224133932..014d2e65ed3f39a47a7269115c6581e979c16bff 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/>
 
 <xsl:template match="ld:basic-icon">
    <img class="icon32"
-       alt="[basic lambdadelta]"
+       alt="[basic lambdadelta logo]"
        title="basic lambdadelta"
        src="{$baseurl}images/basic_32.png"
    />
    <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>