]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/xml/ld-html-entity.xsl
we are migrating the static htnl pagest to html 4 to xhtml 1.1 + css
[helm.git] / helm / software / lambda-delta / xml / ld-html-entity.xsl
index 84eea2c2304e860cf29d12ed35358e53eff478b7..689eb14207b9cd1a15f508ac6fdb2f166fb0d28b 100644 (file)
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ -->
 
-<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
+<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+                              xmlns="http://www.w3.org/1999/xhtml"
+>
 
 <xsl:strip-space elements="ABST ABBR"/>
 
 <xsl:template match="ABST">
    <h2>
-      <xsl:text>Declaration:</xsl:text>
-      <xsl:call-template name="entity"/>
+      <span class="global">
+         <xsl:text>Declaration:</xsl:text>
+         <xsl:call-template name="entity"/>
+      </span>      
    </h2>
    <xsl:call-template name="META"/>
    <div><xsl:apply-templates/></div>
 
 <xsl:template match="ABBR">
    <h2>
-      <xsl:text>Definition:</xsl:text>
-      <xsl:call-template name="entity"/>
+      <span class="global">
+         <xsl:text>Definition:</xsl:text>
+         <xsl:call-template name="entity"/>
+      </span>
    </h2>
    <xsl:call-template name="META"/>
    <div><xsl:apply-templates/></div>