Module htmlutils
Functions
about_page
build_page
get_public_html
get_web_server
simple_page
summary_page
write_glossary
write_menu
write_table
[
hide private
]