X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2Ftoplevel_header.xsl;h=88650a5a73066ccd0912ee0cfe4e97d77b8a0224;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=a963fa799d2780d29b4248a26fb7ffce141dfaff;hpb=5b69327f7461843c387d0b7ab0976743f66d939b;p=helm.git

diff --git a/helm/on-line/xslt/toplevel_header.xsl b/helm/on-line/xslt/toplevel_header.xsl
index a963fa799..88650a5a7 100644
--- a/helm/on-line/xslt/toplevel_header.xsl
+++ b/helm/on-line/xslt/toplevel_header.xsl
@@ -5,6 +5,8 @@
   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="''" />
@@ -24,7 +26,18 @@
       </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>
@@ -32,10 +45,14 @@
 <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, ':')" />
@@ -46,15 +63,24 @@
 	      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&amp;preprocess=true&amp;param.keys=d_c%2CC1%2CHC2%2CL&amp;param.thkeys=T1%2CT2%2CL%2CE&amp;param.embedkeys=d_c%2CTC1%2CHC2%2CL&amp;param.doctype-public=-//W3C//DTD%20XHTML%201.0%20Transitional//EN&amp;param.encoding=iso-8859-1&amp;param.thencoding=iso-8859-1&amp;param.media-type=text/html&amp;param.thmedia-type=text/html&amp;param.CICURI=dummy:query_result&amp;param.naturalLanguage=yes&amp;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>