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 4b51eb320c86729ac0d468e62836a916ac872db7..b070e87fcfb03420ce8129c7380c96f32073c2cf 100644 (file)
--- 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"/>