Modified Files:

[helm.git] / helm / style / html_set.xsl

diff --git a/helm/style/html_set.xsl b/helm/style/html_set.xsl
index 5b50211df2731a16af83b354ee2b20225dfe3eab..cafdbefc40cf92cc9fcdafe06ebe6b2dce38e49f 100644 (file)
--- a/helm/style/html_set.xsl
+++ b/helm/style/html_set.xsl
@@ -59,7 +59,7 @@
      <xsl:attribute name="href">
       <xsl:value-of select="concat(string($header),string($uri))"/>
      </xsl:attribute>
-     <FONT FACE="symbol" SIZE="+2" color="blue">&#206;</FONT>
+     <FONT FACE="symbol" SIZE="+2" mathcolor="blue">&#206;</FONT>
      </a>
      <xsl:apply-templates select="*[3]">
       <xsl:with-param name="current_indent" select="$current_indent + 2"/>
@@ -73,7 +73,7 @@
      <xsl:attribute name="href">
       <xsl:value-of select="concat(string($header),string($uri))"/>
      </xsl:attribute>
-     <FONT FACE="symbol" SIZE="+2" color="blue">&#206;</FONT>
+     <FONT FACE="symbol" SIZE="+2" mathcolor="blue">&#206;</FONT>
      </a>
      <xsl:apply-templates select="*[3]"/>
      <xsl:text>)</xsl:text>
@@ -102,7 +102,7 @@
      <xsl:call-template name="make_indent">
       <xsl:with-param name="current_indent" select="$current_indent + 2"/> 
      </xsl:call-template>
-     <FONT FACE="symbol" SIZE="+2" color="blue">&#207;</FONT>
+     <FONT FACE="symbol" SIZE="+2" mathcolor="blue">&#207;</FONT>
      <xsl:apply-templates select="*[3]">
       <xsl:with-param name="current_indent" select="$current_indent + 2"/>
      </xsl:apply-templates>
@@ -111,7 +111,7 @@
     <xsl:otherwise>
      <xsl:text>(</xsl:text>
      <xsl:apply-templates select="*[2]"/>
-     <FONT FACE="symbol" SIZE="+2" color="blue">&#207;</FONT>
+     <FONT FACE="symbol" SIZE="+2" mathcolor="blue">&#207;</FONT>
      <xsl:apply-templates select="*[3]"/>
      <xsl:text>)</xsl:text>
     </xsl:otherwise>
@@ -128,7 +128,7 @@
   </xsl:variable>
   <xsl:choose>
    <xsl:when test="count(child::*) = 0">
-    <FONT FACE="symbol" color="blue">&#198;</FONT>
+    <FONT FACE="symbol" mathcolor="blue">&#198;</FONT>
    </xsl:when>
    <xsl:otherwise>
     <xsl:variable name="charlength">
@@ -231,7 +231,7 @@
      <xsl:attribute name="href">
       <xsl:value-of select="concat(string($header),string($uri))"/>
      </xsl:attribute>
-     <FONT FACE="symbol" SIZE="+2" color="blue">&#199;</FONT>
+     <FONT FACE="symbol" SIZE="+2" mathcolor="blue">&#199;</FONT>
      </a>
      <xsl:apply-templates select="*[3]">
       <xsl:with-param name="current_indent" select="$current_indent + 2"/>
@@ -245,7 +245,7 @@
      <xsl:attribute name="href">
       <xsl:value-of select="concat(string($header),string($uri))"/>
      </xsl:attribute>
-     <FONT FACE="symbol" SIZE="+2" color="blue">&#199;</FONT>
+     <FONT FACE="symbol" SIZE="+2" mathcolor="blue">&#199;</FONT>
      </a>
      <xsl:apply-templates select="*[3]"/>
      <xsl:text>)</xsl:text>
@@ -278,7 +278,7 @@
      <xsl:attribute name="href">
       <xsl:value-of select="concat(string($header),string($uri))"/>
      </xsl:attribute>
-     <FONT FACE="symbol" SIZE="+2" color="blue">&#200;</FONT>
+     <FONT FACE="symbol" SIZE="+2" mathcolor="blue">&#200;</FONT>
      </a>
      <xsl:apply-templates select="*[3]">
       <xsl:with-param name="current_indent" select="$current_indent + 2"/>
@@ -292,7 +292,7 @@
      <xsl:attribute name="href">
       <xsl:value-of select="concat(string($header),string($uri))"/>
      </xsl:attribute>
-     <FONT FACE="symbol" SIZE="+2" color="blue">&#200;</FONT>
+     <FONT FACE="symbol" SIZE="+2" mathcolor="blue">&#200;</FONT>
      </a>
      <xsl:apply-templates select="*[3]"/>
      <xsl:text>)</xsl:text>
@@ -324,7 +324,7 @@
      <xsl:attribute name="href">
       <xsl:value-of select="concat(string($header),string($uri))"/>
      </xsl:attribute>
-     <FONT FACE="symbol" SIZE="+2" color="blue">&#205;</FONT>
+     <FONT FACE="symbol" SIZE="+2" mathcolor="blue">&#205;</FONT>
      </a>
      <xsl:apply-templates select="*[3]">
       <xsl:with-param name="current_indent" select="$current_indent + 2"/>
@@ -338,7 +338,7 @@
      <xsl:attribute name="href">
       <xsl:value-of select="concat(string($header),string($uri))"/>
      </xsl:attribute>
-     <FONT FACE="symbol" SIZE="+2" color="blue">&#205;</FONT>
+     <FONT FACE="symbol" SIZE="+2" mathcolor="blue">&#205;</FONT>
      </a>
      <xsl:apply-templates select="*[3]"/>
      <xsl:text>)</xsl:text>
@@ -370,7 +370,7 @@
      <xsl:attribute name="href">
       <xsl:value-of select="concat(string($header),string($uri))"/>
      </xsl:attribute>
-     <FONT FACE="symbol" SIZE="+2" color="blue">&#204;</FONT>
+     <FONT FACE="symbol" SIZE="+2" mathcolor="blue">&#204;</FONT>
      </a>
      <xsl:apply-templates select="*[3]">
       <xsl:with-param name="current_indent" select="$current_indent + 2"/>
@@ -384,7 +384,7 @@
      <xsl:attribute name="href">
       <xsl:value-of select="concat(string($header),string($uri))"/>
      </xsl:attribute>
-     <FONT FACE="symbol" SIZE="+2" color="blue">&#204;</FONT>
+     <FONT FACE="symbol" SIZE="+2" mathcolor="blue">&#204;</FONT>
      </a>
      <xsl:apply-templates select="*[3]"/>
      <xsl:text>)</xsl:text>