]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/html_init.xsl
Modified Files:
[helm.git] / helm / style / html_init.xsl
index 26ddf68d2c83eff3f86a8f1481c6c2a57490cf56..66ff1c030c50a1975236776930997467d7829ebf 100644 (file)
   </xsl:variable>
   <xsl:text>(</xsl:text>
   <xsl:apply-templates mode="inline" select="*[2]"/>
-  <a>
-   <xsl:attribute name="href">
-    <xsl:call-template name="makeURL">
-     <xsl:with-param name="url" select="$uri"/>
-    </xsl:call-template>
-   </xsl:attribute>
+  <a href="{$uri}">
    <FONT FACE="symbol" mathcolor="blue">
     <xsl:value-of select="$symbol"/>
    </FONT>
   </xsl:variable>
   <xsl:choose>
    <xsl:when test="count(child::*)=2">
-    <a>
-    <xsl:attribute name="href">
-    <xsl:call-template name="makeURL">
-     <xsl:with-param name="url" select="$uri"/>
-    </xsl:call-template>
-    </xsl:attribute>
+    <a href="{$uri}">
     <xsl:text>-</xsl:text>
     </a>
     <xsl:apply-templates mode="inline" select="*[2]"/>
    <xsl:otherwise>
     <xsl:text>(</xsl:text>
     <xsl:apply-templates mode="inline" select="*[2]"/>
-    <a>
-     <xsl:attribute name="href">
-      <xsl:call-template name="makeURL">
-       <xsl:with-param name="url" select="$uri"/>
-      </xsl:call-template>
-     </xsl:attribute>
+    <a href="{$uri}">
      <xsl:text>-</xsl:text>
     </a>
     <xsl:apply-templates mode="inline" select="*[3]"/>
   <xsl:variable name="uri">
    <xsl:value-of select="m:not/@definitionURL"/>
   </xsl:variable>
-     <a>
-     <xsl:attribute name="href">
-      <xsl:call-template name="makeURL">
-       <xsl:with-param name="url" select="$uri"/>
-      </xsl:call-template>
-     </xsl:attribute>
+     <a href="{$uri}">
      <FONT FACE="symbol" mathcolor="blue">&#216;</FONT>
      </a>
      <xsl:apply-templates mode="inline" select="*[2]"/>
   <xsl:variable name="uri">
    <xsl:value-of select="m:exists/@definitionURL"/>
   </xsl:variable>
-  <a>
-   <xsl:attribute name="href">
-    <xsl:call-template name="makeURL">
-     <xsl:with-param name="url" select="$uri"/>
-    </xsl:call-template>
-   </xsl:attribute>
+  <a href="{$uri}">
    <FONT FACE="symbol" mathcolor="blue">&#36;</FONT>
   </a>
   <xsl:apply-templates select="m:bvar/m:ci"/>
      <xsl:call-template name="make_indent">
       <xsl:with-param name="current_indent" select="$current_indent + 2"/> 
      </xsl:call-template>
-     <a>
-     <xsl:attribute name="href">
-      <xsl:call-template name="makeURL">
-       <xsl:with-param name="url" select="$uri"/>
-      </xsl:call-template>
-     </xsl:attribute>
+     <a href="{$uri}">
      <FONT FACE="symbol" mathcolor="blue">
       <xsl:value-of select="$symbol"/>
      </FONT>
   </xsl:variable>
   <xsl:choose>
    <xsl:when test="count(child::*)=2">
-    <a>
-    <xsl:attribute name="href">
-     <xsl:call-template name="makeURL">
-      <xsl:with-param name="url" select="$uri"/>
-     </xsl:call-template>
-    </xsl:attribute>
+    <a href="{$uri}">
     <xsl:text>-</xsl:text>
     </a>
     <xsl:apply-templates select="*[2]">
       <xsl:call-template name="make_indent">
        <xsl:with-param name="current_indent" select="$current_indent + 2"/> 
       </xsl:call-template>
-      <a>
-      <xsl:attribute name="href">
-       <xsl:call-template name="makeURL">
-        <xsl:with-param name="url" select="$uri"/>
-       </xsl:call-template>
-      </xsl:attribute>
+      <a href="{$uri}">
       <xsl:text>-</xsl:text>
       </a>
       <xsl:apply-templates select="*[3]">
   <xsl:variable name="uri">
    <xsl:value-of select="m:not/@definitionURL"/>
   </xsl:variable>
-     <a>
-     <xsl:attribute name="href">
-      <xsl:call-template name="makeURL">
-       <xsl:with-param name="url" select="$uri"/>
-      </xsl:call-template>
-     </xsl:attribute>
+     <a href="{$uri}">
      <FONT FACE="symbol" mathcolor="blue">&#216;</FONT>
      </a>
      <xsl:apply-templates select="*[2]"/>
   </xsl:variable>
   <xsl:choose>
     <xsl:when test="$charlength > $framewidth">
-     <a>
-     <xsl:attribute name="href">
-      <xsl:call-template name="makeURL">
-       <xsl:with-param name="url" select="$uri"/>
-      </xsl:call-template>
-     </xsl:attribute>
-     <FONT FACE="symbol" mathcolor="blue">&#36;</FONT>
+     <a href="{$uri}">
+      <FONT FACE="symbol" mathcolor="blue">&#36;</FONT>
      </a>
      <xsl:apply-templates select="m:bvar/m:ci"/>
      <xsl:text>:</xsl:text>