added notations for abstact polinomials

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

diff --git a/helm/style/html_init.xsl b/helm/style/html_init.xsl
index 66ff1c030c50a1975236776930997467d7829ebf..f8930ed05cc1938169e9ef74d03a51a56c60c67a 100644 (file)
--- a/helm/style/html_init.xsl
+++ b/helm/style/html_init.xsl
@@ -76,7 +76,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>
@@ -93,7 +93,7 @@
   <xsl:choose>
    <xsl:when test="count(child::*)=2">
     <a href="{$uri}">
-    <xsl:text>-</xsl:text>
+    <FONT FACE="symbol" SIZE="+2" mathcolor="blue">&#45;</FONT>
     </a>
     <xsl:apply-templates mode="inline" select="*[2]"/>
    </xsl:when>
@@ -101,7 +101,7 @@
     <xsl:text>(</xsl:text>
     <xsl:apply-templates mode="inline" select="*[2]"/>
     <a href="{$uri}">
-     <xsl:text>-</xsl:text>
+     <FONT FACE="symbol" SIZE="+2" mathcolor="blue">&#45;</FONT>
     </a>
     <xsl:apply-templates mode="inline" select="*[3]"/>
     <xsl:text>)</xsl:text>
@@ -116,7 +116,7 @@
    <xsl:value-of select="m:not/@definitionURL"/>
   </xsl:variable>
      <a href="{$uri}">
-     <FONT FACE="symbol" mathcolor="blue">&#216;</FONT>
+     <FONT FACE="symbol" SIZE="+2" mathcolor="blue">&#216;</FONT>
      </a>
      <xsl:apply-templates mode="inline" select="*[2]"/>
  </xsl:template>
@@ -128,7 +128,7 @@
    <xsl:value-of select="m:exists/@definitionURL"/>
   </xsl:variable>
   <a href="{$uri}">
-   <FONT FACE="symbol" mathcolor="blue">&#36;</FONT>
+   <FONT FACE="symbol" SIZE="+2" mathcolor="blue">&#36;</FONT>
   </a>
   <xsl:apply-templates select="m:bvar/m:ci"/>
   <xsl:text>:</xsl:text>
@@ -196,7 +196,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>
@@ -222,7 +222,7 @@
   <xsl:choose>
    <xsl:when test="count(child::*)=2">
     <a href="{$uri}">
-    <xsl:text>-</xsl:text>
+    <FONT FACE="symbol" SIZE="+2" mathcolor="blue">&#45;</FONT>
     </a>
     <xsl:apply-templates select="*[2]">
      <xsl:with-param name="current_indent" select="$current_indent + 1"/>
@@ -243,7 +243,7 @@
        <xsl:with-param name="current_indent" select="$current_indent + 2"/> 
       </xsl:call-template>
       <a href="{$uri}">
-      <xsl:text>-</xsl:text>
+      <FONT FACE="symbol" SIZE="+2" mathcolor="blue">&#45;</FONT>
       </a>
       <xsl:apply-templates select="*[3]">
        <xsl:with-param name="current_indent" select="$current_indent + 2"/>
@@ -267,7 +267,7 @@
    <xsl:value-of select="m:not/@definitionURL"/>
   </xsl:variable>
      <a href="{$uri}">
-     <FONT FACE="symbol" mathcolor="blue">&#216;</FONT>
+     <FONT FACE="symbol" SIZE="+2" mathcolor="blue">&#216;</FONT>
      </a>
      <xsl:apply-templates select="*[2]"/>
  </xsl:template>
@@ -286,7 +286,7 @@
   <xsl:choose>
     <xsl:when test="$charlength > $framewidth">
      <a href="{$uri}">
-      <FONT FACE="symbol" mathcolor="blue">&#36;</FONT>
+      <FONT FACE="symbol" SIZE="+2" mathcolor="blue">&#36;</FONT>
      </a>
      <xsl:apply-templates select="m:bvar/m:ci"/>
      <xsl:text>:</xsl:text>