]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/content_to_html.xsl
Big bug: & was not quoted in the URL for xmluri (that actually always had
[helm.git] / helm / style / content_to_html.xsl
index b5706d60c29f91a00ce635b5922379261e22c546..ba3ec1d002d111a5aa5ddbf51c5347162e391647 100644 (file)
     <xsl:when test="$name='arrow'">
      <xsl:text>(</xsl:text>
      <xsl:apply-templates mode="inline" select="*[position()=2]"/>
-     <FONT color="blue" SIZE="+2" FACE="symbol">
+     <FONT color="blue" SIZE="+0" FACE="symbol">
       <xsl:text>&#x00ae;</xsl:text>
      </FONT>
      <xsl:apply-templates mode="inline" select="*[position()=3]"/>
        </xsl:when> 
       </xsl:choose>
       <xsl:apply-templates mode="inline" select="."/>
-      <FONT FACE="Symbol" SIZE="+2" mathcolor="green">&#222;</FONT>
+      <FONT FACE="Symbol" SIZE="+0" mathcolor="green">&#222;</FONT>
       <xsl:apply-templates mode="inline"
            select="following-sibling::*[position()= 1]"/>
      </xsl:for-each>
         <xsl:with-param name="current_indent" select="$current_indent + 2"/> 
        </xsl:call-template>
        <!-- -> -->
-       <FONT color="blue" SIZE="+2" FACE="symbol">
+       <FONT color="blue" SIZE="+0" FACE="symbol">
         <xsl:text>&#x00ae;</xsl:text>
        </FONT>
        <xsl:apply-templates select="*[position()=3]">
             </xsl:otherwise>
             </xsl:choose>
             <xsl:apply-templates select="."/>
-            <FONT FACE="Symbol" SIZE="+2" mathcolor="green">&#222;</FONT>
+            <FONT FACE="Symbol" SIZE="+0" mathcolor="green">&#222;</FONT>
             <xsl:apply-templates select="following-sibling::*[position()= 1]">
              <xsl:with-param name="current_indent" select="$current_indent + 4 + string-length()"/>
             </xsl:apply-templates>