]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/html_init.xsl
version information
[helm.git] / helm / style / html_init.xsl
index d73a48b72c1b4b6fc1821ef1e31bf118cd673fe5..bb6bea3ba064347478c777b5c9c2f91d6c1b65fa 100644 (file)
@@ -32,9 +32,6 @@
 <!-- HELM Group: Asperti, Padovani, Sacerdoti, Schena                      -->
 <!--***********************************************************************--> 
 
-<xsl:variable name="absPath">http://localhost:8081/getciconly?uri=</xsl:variable>
-
-
 <!-- BASIC OPERATORS -->
 
  <xsl:template match="m:apply[m:and|m:or|m:eq|m:neq|m:leq|m:lt
@@ -95,7 +92,7 @@
      <xsl:attribute name="href">
       <xsl:value-of select="concat(string($header),string($uri))"/>
      </xsl:attribute>
-     <FONT FACE="symbol" color="blue">
+     <FONT FACE="symbol" mathcolor="blue">
       <xsl:value-of select="$symbol"/>
      </FONT>
      </a>
      <xsl:attribute name="href">
       <xsl:value-of select="concat(string($header),string($uri))"/>
      </xsl:attribute>
-     <FONT FACE="symbol" color="blue">
+     <FONT FACE="symbol" mathcolor="blue">
      <xsl:value-of select="$symbol"/>
      </FONT>
      </a>
      <xsl:attribute name="href">
       <xsl:value-of select="concat(string($header),string($uri))"/>
      </xsl:attribute>
-     <FONT FACE="symbol" color="blue">&#216;</FONT>
+     <FONT FACE="symbol" mathcolor="blue">&#216;</FONT>
      </a>
      <xsl:apply-templates select="*[2]"/>
  </xsl:template>
      <xsl:attribute name="href">
       <xsl:value-of select="concat(string($header),string($uri))"/>
      </xsl:attribute>
-     <FONT FACE="symbol" color="blue">&#36;</FONT>
+     <FONT FACE="symbol" mathcolor="blue">&#36;</FONT>
      </a>
      <xsl:apply-templates select="m:bvar/m:ci"/>
      <xsl:text>:</xsl:text>
      <xsl:attribute name="href">
       <xsl:value-of select="concat(string($header),string($uri))"/>
      </xsl:attribute>
-     <FONT FACE="symbol" color="blue">&#36;</FONT>
+     <FONT FACE="symbol" mathcolor="blue">&#36;</FONT>
      </a>
      <xsl:apply-templates select="m:bvar/m:ci"/>
      <xsl:text>:</xsl:text>