]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/xslt/ld_web_root.xsl
minor bugs fixed in the web site, and minor updates
[helm.git] / helm / www / lambdadelta / xslt / ld_web_root.xsl
index ee9d210537f7a20dbeac2312dc8882f716f61b10..388873a990a50ce3fc10810d2acfc88d38faf814 100644 (file)
 </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:version3-icon">