X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2Ftoplevel_header.xsl;h=a22213a2edc4b2c44200c54a543c5d48abd80d01;hb=d8b76c102e4f540c3ecfa550267331a7a72810c2;hp=4dc5a88c695a84a26a5c8b7774bd04a0dbca820d;hpb=bb236c2ac110124de92fa2d0fb2882d273a7f7eb;p=helm.git

diff --git a/helm/on-line/xslt/toplevel_header.xsl b/helm/on-line/xslt/toplevel_header.xsl
index 4dc5a88c6..a22213a2e 100644
--- a/helm/on-line/xslt/toplevel_header.xsl
+++ b/helm/on-line/xslt/toplevel_header.xsl
@@ -13,7 +13,8 @@
     <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">
+      <html:a style="text-decoration: none"
+	href="{$newacc}" helm:helm_link="href">
 	<xsl:value-of select="$segment" />
       </html:a>
       <xsl:text>/</xsl:text>
@@ -30,19 +31,32 @@
 
 <xsl:template name="add_breadcrumb_trail">
   <xsl:param name="CICURI" select="''"/>
-<!--   <xsl:param name="prefix" select="''"/> -->
   <xsl:variable name="prefix" select="substring-before($CICURI, ':')" />
-  <html:h3 style="font-family: sans-serif">
-    <html:a style="text-decoration: none" href="{concat($prefix, ':/')}">
-      <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:h3>
+  <html:table width="100%">
+    <html:tr>
+      <html:td style="text-align:left">
+	<html:h3 style="font-family: sans-serif">
+	  <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:h3>
+      </html:td>
+      <html:td style="text-align:right">
+	<html:span style="font-family:sans-serif">
+	  <html:a href="theory:/" helm:helm_link="href">theory:/</html:a>
+	  <xsl:text>&#xa0;&#xa0;&#xa0;</xsl:text>
+	  <html:a href="cic:/" helm:helm_link="href">cic:/</html:a>
+	</html:span>
+      </html:td>
+    </html:tr>
+  </html:table>
   <html:hr />
 </xsl:template>