From 44f27c5113259badb27d6a773c0b86e933056203 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 26 May 2004 17:54:36 +0000 Subject: [PATCH] Major interface upgrade still going on. But we are approaching the end of the tunnel. --- helm/on-line/html/folder/control.html | 51 +++++++++++++++++++++++++++ helm/on-line/html/folder/index.html | 24 +++++++++++++ helm/on-line/xslt/ls2theory.xsl | 39 ++++++++++++++------ helm/on-line/xslt/toplevel_header.xsl | 9 ++++- helm/on-line/xslt/xslt_index.txt | 1 + 5 files changed, 113 insertions(+), 11 deletions(-) create mode 100644 helm/on-line/html/folder/control.html create mode 100644 helm/on-line/html/folder/index.html diff --git a/helm/on-line/html/folder/control.html b/helm/on-line/html/folder/control.html new file mode 100644 index 000000000..34a2f9523 --- /dev/null +++ b/helm/on-line/html/folder/control.html @@ -0,0 +1,51 @@ + + + + + + + + + + + + + + + +
+ +

+ +
+
+
+ HELM home +
+ + + diff --git a/helm/on-line/html/folder/index.html b/helm/on-line/html/folder/index.html new file mode 100644 index 000000000..4c50442bd --- /dev/null +++ b/helm/on-line/html/folder/index.html @@ -0,0 +1,24 @@ + + + + <subst:CICURI/> + + + diff --git a/helm/on-line/xslt/ls2theory.xsl b/helm/on-line/xslt/ls2theory.xsl index 210ab768b..5e221bd07 100644 --- a/helm/on-line/xslt/ls2theory.xsl +++ b/helm/on-line/xslt/ls2theory.xsl @@ -9,18 +9,23 @@ + @@ -34,8 +39,8 @@ -
  • - + @@ -44,11 +49,25 @@ -
  • - - - -
    • + + +
  • + + + +
    • +     + +
  • + + + +
    • +     +     diff --git a/helm/on-line/xslt/toplevel_header.xsl b/helm/on-line/xslt/toplevel_header.xsl index a22213a2e..deca927a1 100644 --- a/helm/on-line/xslt/toplevel_header.xsl +++ b/helm/on-line/xslt/toplevel_header.xsl @@ -34,7 +34,7 @@ - + @@ -48,6 +48,12 @@ + + + Search + + + diff --git a/helm/on-line/xslt/xslt_index.txt b/helm/on-line/xslt/xslt_index.txt index 7d1abeb38..3b6246839 100644 --- a/helm/on-line/xslt/xslt_index.txt +++ b/helm/on-line/xslt/xslt_index.txt @@ -5,5 +5,6 @@ makeGraphLinks.xsl metadataControl.xsl metadataLib.xsl resolve_topurl.xsl +substKey.xsl toplevel_header.xsl utils.xsl -- 2.39.2