From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 20 Jun 2001 12:09:37 +0000 (+0000)
Subject: Small bugs fixed:
X-Git-Tag: v0_1_3~146
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=78f0e9834348f091eebe7904a97e9db0ec63825a;p=helm.git

Small bugs fixed:

 mathcolor ==> color in <FONT>
 arrow size set equal to "+0"
---

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"/>