]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/content_to_html.xsl
Small bugs fixed:
[helm.git] / helm / style / content_to_html.xsl
index 4b51eb320c86729ac0d468e62836a916ac872db7..b070e87fcfb03420ce8129c7380c96f32073c2cf 100644 (file)
@@ -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>
        <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"/>