]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/xslt/ld_web_root.xsl
more minor bugs fixed in the web site
[helm.git] / helm / www / lambdadelta / xslt / ld_web_root.xsl
index f47a9a942db1bce60225da54343946d1ee47bb3a..f95f293a874666c9c08fa0a6d848acde38ac02de 100644 (file)
    </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/>
 </xsl:template>
 
 <xsl:template match="ld:notice">
-   <span class="emph {@class}"><xsl:value-of select="@notice"/></span>
+   <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:version3-icon">