X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=daemons%2Fon-line%2Fxslt%2Ftoplevel_header.xsl;h=4acd249d67f0026abba8dbc81c1ca07921474e2b;hb=94983be5804a0ecbd14b43fe3b7475443bc8c804;hp=88650a5a73066ccd0912ee0cfe4e97d77b8a0224;hpb=e4633c8734ded3d203fb292aec78d614a8b70ed7;p=helm.git

diff --git a/daemons/on-line/xslt/toplevel_header.xsl b/daemons/on-line/xslt/toplevel_header.xsl
index 88650a5a7..4acd249d6 100644
--- a/daemons/on-line/xslt/toplevel_header.xsl
+++ b/daemons/on-line/xslt/toplevel_header.xsl
@@ -15,10 +15,10 @@
     <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"
+      <a style="text-decoration: none"
 	href="{$newacc}" helm:helm_link="href">
 	<xsl:value-of select="$segment" />
-      </html:a>
+      </a>
       <xsl:text>/</xsl:text>
       <xsl:call-template name="breadcrumb_trail">
 	<xsl:with-param name="path" select="substring-after($path,'/')" />
@@ -45,43 +45,43 @@
 <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>
+  <table width="100%"><xsl:text>
     </xsl:text>
-    <html:tr><xsl:text>
+    <tr><xsl:text>
       </xsl:text>
-      <html:td><xsl:text>
+      <td><xsl:text>
 	</xsl:text>
-	<html:span
+	<span
 	  style="font-family: sans-serif; font-weight: bold; font-size: 120%">
-	  <html:a style="text-decoration: none"
+	  <a style="text-decoration: none"
 	    href="{concat($prefix, ':/')}" helm:helm_link="href">
 	    <xsl:value-of select="concat($prefix, ':')" />
-	  </html:a>
+	  </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>
+	</span><xsl:text>
       </xsl:text>
-      </html:td><xsl:text>
+      </td><xsl:text>
       </xsl:text>
-      <html:td style="text-align:right"><xsl:text>
+      <td style="text-align:right"><xsl:text>
 	</xsl:text>
-	<html:span style="font-family:sans-serif">
+	<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>
+	  [<a href="{$searchLinkURL}" target="_top">search</a>]
+	</span><xsl:text>
       </xsl:text>
-      </html:td><xsl:text>
+      </td><xsl:text>
     </xsl:text>
-    </html:tr>
-  </html:table><xsl:text>
+    </tr>
+  </table><xsl:text>
   </xsl:text>
-  <html:hr />
+  <hr />
 </xsl:template>
 
 </xsl:stylesheet>