]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/xslt/toplevel_header.xsl
(dis)organized web stuff
[helm.git] / helm / on-line / xslt / toplevel_header.xsl
diff --git a/helm/on-line/xslt/toplevel_header.xsl b/helm/on-line/xslt/toplevel_header.xsl
deleted file mode 100644 (file)
index 88650a5..0000000
+++ /dev/null
@@ -1,87 +0,0 @@
-<?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>