--- /dev/null
+<?xml version="1.0"?>
+<xsl:stylesheet version="1.0"
+ xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+ xmlns:ht="http://www.cs.unibo.it/helm/namespaces/helm-theory"
+ 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:param name="acc" select="''" />
+ <xsl:choose>
+ <xsl:when test="contains($path, '/')">
+ <xsl:variable name="segment" select="substring-before($path,'/')" />
+ <xsl:variable name="newacc" select="concat($acc, $segment, '/')" />
+ <html:a style="text-decoration: none"
+ href="{$newacc}" helm:helm_link="href">
+ <xsl:value-of select="$segment" />
+ </html:a>
+ <xsl:text>/</xsl:text>
+ <xsl:call-template name="breadcrumb_trail">
+ <xsl:with-param name="path" select="substring-after($path,'/')" />
+ <xsl:with-param name="acc" select="$newacc" />
+ </xsl:call-template>
+ </xsl:when>
+ <xsl:otherwise>
+ <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%"><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, ':')" />
+ </html:a>
+ <xsl:text>/</xsl:text>
+ <xsl:call-template name="breadcrumb_trail">
+ <xsl:with-param name="path"
+ select="substring($CICURI, string-length($prefix)+3)" />
+ <xsl:with-param name="acc" select="concat($prefix, ':/')" />
+ </xsl:call-template>
+ </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">
+ <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><xsl:text>
+ </xsl:text>
+ <html:hr />
+</xsl:template>
+
+</xsl:stylesheet>