From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 4 Apr 2001 10:27:44 +0000 (+0000)
Subject: fonts for lambda prod and forall enlarged
X-Git-Tag: v0_1_2~36
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8594a189d62bb4056fdba59a8ed042d9c45f1051;p=helm.git

fonts for lambda prod and forall enlarged
---

diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl
index 07999b6e0..ba3ec1d00 100644
--- 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">