xmlns:helm="http://www.cs.unibo.it/helm"
xmlns:html="http://www.w3.org/1999/xhtml">
+<xsl:include href="links_library.xsl" />
+
<!-- add theory's breadcrumb trail -->
<xsl:template name="breadcrumb_trail">
<xsl:param name="path" select="''" />
</xsl:call-template>
</xsl:when>
<xsl:otherwise>
- <xsl:value-of select="$path" />
+ <xsl:variable name="path_before_body" select="substring-before($path,'.body')"/>
+ <xsl:variable name="cleanpath">
+ <xsl:choose>
+ <xsl:when test="$path_before_body = ''">
+ <xsl:value-of select="$path"/>
+ </xsl:when>
+ <xsl:otherwise>
+ <xsl:value-of select="$path_before_body"/>
+ </xsl:otherwise>
+ </xsl:choose>
+ </xsl:variable>
+ <xsl:value-of select="$cleanpath" />
</xsl:otherwise>
</xsl:choose>
</xsl:template>
<xsl:template name="add_breadcrumb_trail">
<xsl:param name="CICURI" select="''"/>
<xsl:variable name="prefix" select="substring-before($CICURI, ':')" />
- <html:table width="100%">
- <html:tr>
- <html:td>
- <html:h3 style="font-family: sans-serif">
+ <html:table width="100%"><xsl:text>
+ </xsl:text>
+ <html:tr><xsl:text>
+ </xsl:text>
+ <html:td><xsl:text>
+ </xsl:text>
+ <html:span
+ style="font-family: sans-serif; font-weight: bold; font-size: 120%">
<html:a style="text-decoration: none"
href="{concat($prefix, ':/')}" helm:helm_link="href">
<xsl:value-of select="concat($prefix, ':')" />
select="substring($CICURI, string-length($prefix)+3)" />
<xsl:with-param name="acc" select="concat($prefix, ':/')" />
</xsl:call-template>
- </html:h3>
- </html:td>
- <html:td style="text-align:right">
+ </html:span><xsl:text>
+ </xsl:text>
+ </html:td><xsl:text>
+ </xsl:text>
+ <html:td style="text-align:right"><xsl:text>
+ </xsl:text>
<html:span style="font-family:sans-serif">
- <html:a href="http://mowgli.cs.unibo.it:58085/getpage?url=index.html&preprocess=true&param.keys=d_c%2CC1%2CHC2%2CL&param.thkeys=T1%2CT2%2CL%2CE&param.embedkeys=d_c%2CTC1%2CHC2%2CL&param.doctype-public=-//W3C//DTD%20XHTML%201.0%20Transitional//EN&param.encoding=iso-8859-1&param.thencoding=iso-8859-1&param.media-type=text/html&param.thmedia-type=text/html&param.CICURI=dummy:query_result&param.naturalLanguage=yes&param.annotations=no&param.processorURL=http://mowgli.cs.unibo.it:58080/" target="_top">Search</html:a>
- </html:span>
- </html:td>
+ <xsl:variable name="searchLinkURL">
+ <xsl:call-template name="makeSearchLinkURL" />
+ </xsl:variable>
+ [<html:a href="{$searchLinkURL}" target="_top">search</html:a>]
+ </html:span><xsl:text>
+ </xsl:text>
+ </html:td><xsl:text>
+ </xsl:text>
</html:tr>
- </html:table>
+ </html:table><xsl:text>
+ </xsl:text>
<html:hr />
</xsl:template>