#######################################################################
# 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();
\}
}