[r2005-07-05 14:30:36 by afrisch] Header

Original author: afrisch
Date: 2005-07-05 14:30:36+00:00

web/site.cd

@@ -28,7 +28,10 @@ let load_include (Latin1 -> [Any*])
 
 (* Loading *)
 
-let [<site>[ <title>site (<footer>footer | /(footer:=[])) main_page ] ] = 
+let [<site>[ <title>site 
+             (<header>header | /(header:=[])) 
+             (<footer>footer | /(footer:=[])) 
+             main_page ] ] = 
  try (load_include input :? [ Site ])
  with err & Latin1 -> 
    print ['Invalid input document:\n' !err '\n']; 
@@ -262,16 +265,7 @@ match page with
 <page name=name leftbar="false"&(leftbar:=`false) else (leftbar:=`true) ..>[ 
  (<title>title <banner>banner | <title>(title & banner)) 
  items::_* ] ->
- let items = 
-      [<meta>[<p>[ 
-         <a href="cgi-bin/cduce">"Online Interpreter" '  -  '
-         <a href="documentation.html">"Documentation"'  -  '
-         <a href="download.html">"Download"'  -  '
-         <a href="demo.html">"Demo"'  -  '
-         <a href="mailing.html">"Support"
-      ]]] 
-    @ items 
-    @ footer in
+ let items = header @ items @ footer in
 
  let footnote_counter = ref Int 0 in 
  let footnotes = ref H.Flow [] in

web/site.xml

 <?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
 <site>
 <title>CDuce</title>
+
+<header>
+<meta>
+<p>
+<local href="proto"/> -
+<local href="documentation"/> -
+<local href="download"/> -
+<local href="demo"/> -
+<local href="mailing"/>
+</p>
+</meta>
+</header>
+
 <footer>
 <meta>
 <p>

web/siteTypes.cd

@@ -2,7 +2,8 @@
 using H = "xhtml"
 
 
-type Site = <site>[ <title>String Footer? Page ]
+type Site = <site>[ <title>String Header? Footer? Page ]
+type Header = <header>[ Item* ]
 type Footer = <footer>[ Item* ]
 type Page =  <page name=Latin1 url=?String new=?"" leftbar=?("true"|"false")>[ <title>String <banner>[InlineText*]? Item* ]
 type External = <external href=String title=String name=String>[]