added notations for abstact polinomials

[helm.git] / helm / style / content_to_html.xsl
diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl

index 028f65504cfa970ec95bd0e6dfa5f299ad62c784..b5706d60c29f91a00ce635b5922379261e22c546 100644 (file)
--- a/helm/style/content_to_html.xsl
+++ b/helm/style/content_to_html.xsl
@@ -29,9 +29,11 @@
  
  <!--***********************************************************************--> 
  <!-- From MathML content to HTML                                           -->
-<!-- HELM Group: Asperti, Padovani, Sacerdoti, Schena                      -->
+<!-- HELM Group: Asperti, Padovani, Sacerdoti, Schena, Guidi               -->
  <!--***********************************************************************--> 
  
+<xsl:param name="CICURI" select="''"/>
+
  <xsl:include href="html_init.xsl"/>
  <xsl:include href="html_set.xsl"/>
  <xsl:include href="html_reals.xsl"/>
@@ -58,19 +60,18 @@
  <xsl:variable name="framewidth" select="45"/>
  
  <xsl:template match="/">
- <xsl:param name="current_indent" select="0"/>
-               <html> 
-                <head>
-                 <style>
-                 A { text-decoration: none }
-                 </style>
-                </head>
-                <body bgcolor="white">
-                <xsl:apply-templates>
-                 <xsl:with-param name="current_indent" select="0"/>
-                </xsl:apply-templates>
-                </body>
-               </html>
+   <xsl:param name="current_indent" select="0"/>
+   <html> 
+      <head>
+        <title> <xsl:value-of select="$CICURI"/> </title> <!-- FG -->
+         <style> A { text-decoration: none } </style>
+      </head>
+      <body bgcolor="white">
+         <xsl:apply-templates>
+            <xsl:with-param name="current_indent" select="0"/>
+         </xsl:apply-templates>
+      </body>
+   </html>
  </xsl:template>
  
  <!--***********************************************************************-->
@@ -158,7 +159,7 @@
      <xsl:when test="$name='arrow'">
       <xsl:text>(</xsl:text>
       <xsl:apply-templates mode="inline" select="*[position()=2]"/>
-     <FONT color="blue" FACE="symbol">
+     <FONT color="blue" SIZE="+2" FACE="symbol">
        <xsl:text>&#x00ae;</xsl:text>
       </FONT>
       <xsl:apply-templates mode="inline" select="*[position()=3]"/>
@@ -284,6 +285,14 @@
       <FONT color="red">&#x00a0;hence&#x00a0;</FONT>
       <xsl:apply-templates mode="inline" select="*[7]"/>
      </xsl:when>
+   
+      <!-- INTERP -->
+      <xsl:when test="$name='interp'">
+         <font color="green">[</font>
+            <xsl:apply-templates select="*[2]"/>
+         <font color="green">]</font>
+      </xsl:when>
+
     </xsl:choose>
  </xsl:template>
  
@@ -375,7 +384,7 @@
          <xsl:with-param name="current_indent" select="$current_indent + 2"/> 
         </xsl:call-template>
         <!-- -> -->
-       <FONT color="blue" FACE="symbol">
+       <FONT color="blue" SIZE="+2" FACE="symbol">
          <xsl:text>&#x00ae;</xsl:text>
         </FONT>
         <xsl:apply-templates select="*[position()=3]">
@@ -1018,6 +1027,14 @@
          <xsl:with-param name="current_indent" select="$current_indent"/>
         </xsl:apply-templates>
        </xsl:when>
+
+      <!-- INTERP -->
+      <xsl:when test="$name='interp'">
+         <font color="green">[</font>
+            <xsl:apply-templates select="*[2]"/>
+         <font color="green">]</font>
+      </xsl:when>
+
       </xsl:choose>
  </xsl:template>