From 78f0e9834348f091eebe7904a97e9db0ec63825a Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 20 Jun 2001 12:09:37 +0000
Subject: [PATCH] Small bugs fixed:

 mathcolor ==> color in <FONT>
 arrow size set equal to "+0"
---
 helm/style/content_to_html.xsl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl
index 4b51eb320..b070e87fc 100644
--- a/helm/style/content_to_html.xsl
+++ b/helm/style/content_to_html.xsl
@@ -83,7 +83,7 @@
       </xsl:when>
      </xsl:choose>
     </xsl:variable>
-    <FONT FACE="symbol" SIZE="{$size}" mathcolor="{$color}">
+    <FONT FACE="symbol" SIZE="{$size}" color="{$color}">
      <xsl:value-of select="$fontsymbol"/>
     </FONT>
    </xsl:when>
@@ -597,7 +597,7 @@
        <xsl:call-template name="mksymbol-1">
         <xsl:with-param name="symbol" select="$name"/>
         <xsl:with-param name="color" select="'blue'"/>
-        <xsl:with-param name="size" select="'+2'"/>
+        <xsl:with-param name="size" select="'+0'"/>
        </xsl:call-template>
        <xsl:apply-templates select="*[position()=3]">
         <xsl:with-param name="current_indent" select="$current_indent + 5"/>
-- 
2.39.2