]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/html_reals.xsl
Removed rebuilding of urls_of_uris.db on update user request.
[helm.git] / helm / style / html_reals.xsl
index 03dd369fdcb717f5a27b68c4197c58d063c6a3c3..de3196b128118af37f2538009623f992a92449a5 100644 (file)
@@ -32,8 +32,6 @@
 <!-- HELM Group: Asperti, Padovani, Sacerdoti, Schena                      -->
 <!--***********************************************************************--> 
 
-<xsl:variable name="absPath">http://localhost:8081/getciconly?uri=</xsl:variable>
-
 <!-- LIMIT -->
 
 <xsl:template match="m:apply[m:limit]">
@@ -55,7 +53,7 @@
      </a>
      <SUB>
       <xsl:apply-templates select="m:bvar/m:ci"/>
-      <FONT FACE="symbol" color="blue">&#174;</FONT>
+      <FONT FACE="symbol" mathcolor="blue">&#174;</FONT>
       <xsl:apply-templates select="m:lowlimit"/>
      </SUB>
      <BR/> 
@@ -75,7 +73,7 @@
      </a>
      <SUB>
       <xsl:apply-templates select="m:bvar/m:ci"/>
-      <FONT FACE="symbol" color="blue">&#174;</FONT>
+      <FONT FACE="symbol" mathcolor="blue">&#174;</FONT>
       <xsl:apply-templates select="m:lowlimit"/>
      </SUB>
      <xsl:apply-templates select="*[4]">