####################################################################### # PAGE STYLES ####################################################################### package Style # to use this style system output # _header_ # all your page content, then # _footer_ # use the page parameter 'style' to choose the appropriate style # the style system uses # _pagetitle_ - what gets displayed at the top of the browser window # _pagescriptextra_ - any extra javascript you want included in the header # _pagebannerextra_ - anything extra you want displayed in the page banner # _pagefooterextra_ - anything extra you want displayed in the footer # defaults for the above macros _pagetitle_ {_collectionname_} _pagescriptextra_ {} _pagebannerextra_ {} _pagefooterextra_ {} # it also relies on lots of Globals, the most important of these are: # _cookie_ - put in the cgi header # _globalscripts_ - javascript stuff # _httpiconchalk_ - the image down the left of the page # _imagecollection_ # _imagehome_ # _imagehelp_ # _imagepref_ # _imagethispage_ # _linkotherversion_ _header_ {_cgihead_ _htmlhead_(background="_httpiconchalk_")_startspacer__pagebanner_ } _header_[v=1] {_cgihead_ _htmlhead__pagebanner_ } # _cgihead_ {Content-type: text/html # _cookie_ # # } _cgihead_{} # htmlhead uses: # _1_ - extra parameters for the body tag # _pagetitle_ # _globalscripts_ _htmlhead_ { _pagetitle_ _globalscripts_ } # _startspacer_ is a spacer to get past the 10010 graphic. It contains an open # tag which must eventually be closed by _endspacer_. _startspacer_ {
} # pagebanner uses : # _imagecollection_ # _imagehome_ # _imagehelp_ # _imagepref_ # _imagethispage_ # _pagebannerextra_ _pagebanner_ {
_imagecollection_ _javalinks_
_imagethispage_
_pagebannerextra_
} _pagebanner_[v=1] {

_imagecollection_

_javalinks_ _pagebannerextra_

} _footer_ { _pagefooterextra_

_endspacer__htmlfooter_ } _endspacer_ {
} _htmlfooter_ { } _globalscripts_{ } _globalscripts_ [v=1] { } _scriptdetach_ { function close\_detach() \{ close(); \} }