Major interface upgrade still going on. But we are approaching the end of the

[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
index a22213a2edc4b2c44200c54a543c5d48abd80d01..deca927a1531a7ce49b93f8771fa61791d05914d 100644 (file)
--- a/helm/on-line/xslt/toplevel_header.xsl
+++ b/helm/on-line/xslt/toplevel_header.xsl
@@ -34,7 +34,7 @@
   <xsl:variable name="prefix" select="substring-before($CICURI, ':')" />
   <html:table width="100%">
     <html:tr>
-      <html:td style="text-align:left">
+      <html:td>
        <html:h3 style="font-family: sans-serif">
          <html:a style="text-decoration: none"
            href="{concat($prefix, ':/')}" helm:helm_link="href">
@@ -48,6 +48,12 @@
          </xsl:call-template>
        </html:h3>
       </html:td>
+      <html:td style="text-align:right">
+       <html:span style="font-family:sans-serif">
+         <html:a href="">Search</html:a>
+       </html:span>
+      </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>
@@ -55,6 +61,7 @@
          <html:a href="cic:/" helm:helm_link="href">cic:/</html:a>
        </html:span>
       </html:td>
+-->
     </html:tr>
   </html:table>
   <html:hr />