X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fhtml_set.xsl;h=224c76088a51a62dcf2de94d419affc5464b6419;hb=f4b50fddad3bd0cfec71f98cad53220dfd248522;hp=3bff65d2be918111d2bf44f7de7e8635d213a216;hpb=6b3bf7885c6e9e5faee65dd18cdc428f0d1d383b;p=helm.git

diff --git a/helm/style/html_set.xsl b/helm/style/html_set.xsl
index 3bff65d2b..224c76088 100644
--- a/helm/style/html_set.xsl
+++ b/helm/style/html_set.xsl
@@ -44,7 +44,7 @@
   </xsl:variable>-->
   <xsl:choose>
    <xsl:when test="count(child::*) = 0">
-    <FONT FACE="symbol" mathcolor="blue">&#198;</FONT>
+    <FONT FACE="symbol" SIZE="+0" mathcolor="blue">&#198;</FONT>
    </xsl:when>
    <xsl:otherwise>
     <xsl:choose>
@@ -122,7 +122,7 @@
   <xsl:text>(</xsl:text>
   <xsl:apply-templates mode="inline" select="*[2]"/>
   <a href="{$uri}">
-   <FONT FACE="symbol" mathcolor="blue">
+   <FONT FACE="symbol" SIZE="+0" mathcolor="blue">
     <xsl:value-of select="$symbol"/>
    </FONT>
   </a>
@@ -178,7 +178,7 @@
       <xsl:with-param name="current_indent" select="$current_indent + 2"/> 
      </xsl:call-template>
      <a href="{$uri}">
-      <FONT FACE="symbol" mathcolor="blue">
+      <FONT FACE="symbol" SIZE="+0" mathcolor="blue">
        <xsl:value-of select="$symbol"/>
       </FONT>
      </a>
@@ -204,7 +204,7 @@
   </xsl:variable>-->
   <xsl:choose>
    <xsl:when test="count(child::*) = 0">
-    <FONT FACE="symbol" mathcolor="blue">&#198;</FONT>
+    <FONT FACE="symbol" SIZE="+0" mathcolor="blue">&#198;</FONT>
    </xsl:when>
    <xsl:otherwise>
     <xsl:variable name="charlength">