added notations for abstact polinomials

[helm.git] / helm / style / html_set.xsl

diff --git a/helm/style/html_set.xsl b/helm/style/html_set.xsl
index 3bff65d2be918111d2bf44f7de7e8635d213a216..3eb8264653316a9334d5ce5c8e66d0746d768717 100644 (file)
--- 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="+2" 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="+2" 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="+2" 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="+2" mathcolor="blue">&#198;</FONT>
    </xsl:when>
    <xsl:otherwise>
     <xsl:variable name="charlength">