</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">Ø</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">$</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">Ø</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">$</FONT>
+ <a href="{$uri}">
+ <FONT FACE="symbol" mathcolor="blue">$</FONT>
</a>
<xsl:apply-templates select="m:bvar/m:ci"/>
<xsl:text>:</xsl:text>