]> matita.cs.unibo.it Git - helm.git/blobdiff - daemons/on-line/xslt/toplevel_header.xsl
1. the default encoding for the stylesheets is now UTF8
[helm.git] / daemons / on-line / xslt / toplevel_header.xsl
index 88650a5a73066ccd0912ee0cfe4e97d77b8a0224..4acd249d67f0026abba8dbc81c1ca07921474e2b 100644 (file)
     <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,'/')" />
 <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>