X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fhtml_init.xsl;h=0fad1aeab7d6cb33c1127ab176d42c90624ecb1e;hb=138e51f3dc9bd6a42b84e45f9bf2c681cd411393;hp=d73a48b72c1b4b6fc1821ef1e31bf118cd673fe5;hpb=8e1a7e55cbc7750446f0a7ab3d071190594243fb;p=helm.git

diff --git a/helm/style/html_init.xsl b/helm/style/html_init.xsl
index d73a48b72..0fad1aeab 100644
--- a/helm/style/html_init.xsl
+++ b/helm/style/html_init.xsl
@@ -95,7 +95,7 @@
      <xsl:attribute name="href">
       <xsl:value-of select="concat(string($header),string($uri))"/>
      </xsl:attribute>
-     <FONT FACE="symbol" color="blue">
+     <FONT FACE="symbol" mathcolor="blue">
       <xsl:value-of select="$symbol"/>
      </FONT>
      </a>
@@ -111,7 +111,7 @@
      <xsl:attribute name="href">
       <xsl:value-of select="concat(string($header),string($uri))"/>
      </xsl:attribute>
-     <FONT FACE="symbol" color="blue">
+     <FONT FACE="symbol" mathcolor="blue">
      <xsl:value-of select="$symbol"/>
      </FONT>
      </a>
@@ -195,7 +195,7 @@
      <xsl:attribute name="href">
       <xsl:value-of select="concat(string($header),string($uri))"/>
      </xsl:attribute>
-     <FONT FACE="symbol" color="blue">&#216;</FONT>
+     <FONT FACE="symbol" mathcolor="blue">&#216;</FONT>
      </a>
      <xsl:apply-templates select="*[2]"/>
  </xsl:template>
@@ -217,7 +217,7 @@
      <xsl:attribute name="href">
       <xsl:value-of select="concat(string($header),string($uri))"/>
      </xsl:attribute>
-     <FONT FACE="symbol" color="blue">&#36;</FONT>
+     <FONT FACE="symbol" mathcolor="blue">&#36;</FONT>
      </a>
      <xsl:apply-templates select="m:bvar/m:ci"/>
      <xsl:text>:</xsl:text>
@@ -239,7 +239,7 @@
      <xsl:attribute name="href">
       <xsl:value-of select="concat(string($header),string($uri))"/>
      </xsl:attribute>
-     <FONT FACE="symbol" color="blue">&#36;</FONT>
+     <FONT FACE="symbol" mathcolor="blue">&#36;</FONT>
      </a>
      <xsl:apply-templates select="m:bvar/m:ci"/>
      <xsl:text>:</xsl:text>