# Page content
function page_header {
print -r -- '
'
if (( WSH_CSS == 1 )); then
print -r -- " "
fi
if [[ -n $WSH_TITLE ]]; then
print -r -- " ${WSH_TITLE}${WSH_GENFILE_TITLE:+ | $WSH_GENFILE_TITLE}"
else
print -r -- " ${WSH_GENFILE_TITLE}"
fi
print -r -- '
'
}
function page_footer {
print -r -- '
'
}