fonts for lambda prod and forall enlarged

diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl
index 07999b6e080b33e14b5fd783860359c8e3b5490e..ba3ec1d002d111a5aa5ddbf51c5347162e391647 100644 (file)
--- a/helm/style/content_to_html.xsl
+++ b/helm/style/content_to_html.xsl
@@ -140,7 +140,7 @@
    <xsl:choose>
     <!-- FORALL -->
     <xsl:when test="$name='forall'">
-     <FONT FACE="Symbol" SIZE="+0" color="blue">&#x22;</FONT>
+     <FONT FACE="Symbol" SIZE="+2" color="blue">&#x22;</FONT>
      <xsl:apply-templates select="m:bvar/m:ci"/>
      <xsl:text>:</xsl:text>
      <xsl:apply-templates mode="inline" select="m:bvar/m:type"/>
@@ -148,7 +148,7 @@
      <xsl:apply-templates mode="inline" select="*[position()=3]"/>
     </xsl:when>
     <xsl:when test="$name='prod'">
-     <FONT FACE="Symbol" SIZE="+0" color="blue">&#x00d5;</FONT>
+     <FONT FACE="Symbol" SIZE="+2" color="blue">&#x00d5;</FONT>
      <xsl:apply-templates mode="inline" select="m:bvar/m:ci"/>
      <xsl:text>:</xsl:text>
      <xsl:apply-templates mode="inline" select="m:bvar/m:type"/>
@@ -297,7 +297,7 @@
 </xsl:template>
 
 <xsl:template mode="inline" match="m:lambda">
-      <FONT SIZE="+0" color="red" FACE="symbol">l</FONT>
+      <FONT SIZE="+2" color="red" FACE="symbol">l</FONT>
       <xsl:apply-templates select="m:bvar/m:ci"/>
       <xsl:text>:</xsl:text>
       <xsl:apply-templates mode="inline" select="m:bvar/m:type"/>
@@ -326,7 +326,7 @@
        <xsl:choose>
        <xsl:when test="$charlength > $framewidth">
          <!-- &#x03a0; -->
-         <FONT FACE="Symbol" SIZE="+0" color="blue">&#x22;</FONT>
+         <FONT FACE="Symbol" SIZE="+2" color="blue">&#x22;</FONT>
          <xsl:apply-templates select="m:bvar/m:ci"/>
          <xsl:text>:</xsl:text>
          <xsl:apply-templates select="m:bvar/m:type">
@@ -351,7 +351,7 @@
       <xsl:when test="$name='prod'">
        <xsl:choose>
        <xsl:when test="$charlength > $framewidth">
-         <FONT FACE="Symbol" SIZE="+0" color="blue">&#x00d5;</FONT>
+         <FONT FACE="Symbol" SIZE="+2" color="blue">&#x00d5;</FONT>
          <xsl:apply-templates select="m:bvar/m:ci"/>
          <xsl:text>:</xsl:text>
          <xsl:apply-templates select="m:bvar/m:type">
@@ -1051,7 +1051,7 @@
      <xsl:choose>
      <xsl:when test="$charlength > $framewidth">
        <!-- &#x03bb; -->
-       <FONT SIZE="+0" color="red" FACE="symbol">l</FONT>
+       <FONT SIZE="+2" color="red" FACE="symbol">l</FONT>
        <xsl:apply-templates select="m:bvar/m:ci"/>
        <xsl:text>:</xsl:text>
        <xsl:apply-templates select="m:bvar/m:type">