]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/html_reals.xsl
Modified Files:
[helm.git] / helm / style / html_reals.xsl
index 03dd369fdcb717f5a27b68c4197c58d063c6a3c3..eb04dbb6f8dd58cff8f4f68d57e13e31b07d268b 100644 (file)
@@ -55,7 +55,7 @@
      </a>
      <SUB>
       <xsl:apply-templates select="m:bvar/m:ci"/>
-      <FONT FACE="symbol" color="blue">&#174;</FONT>
+      <FONT FACE="symbol" mathcolor="blue">&#174;</FONT>
       <xsl:apply-templates select="m:lowlimit"/>
      </SUB>
      <BR/> 
@@ -75,7 +75,7 @@
      </a>
      <SUB>
       <xsl:apply-templates select="m:bvar/m:ci"/>
-      <FONT FACE="symbol" color="blue">&#174;</FONT>
+      <FONT FACE="symbol" mathcolor="blue">&#174;</FONT>
       <xsl:apply-templates select="m:lowlimit"/>
      </SUB>
      <xsl:apply-templates select="*[4]">