needed, since it's always added to the comments in the page header anyway.
section of LaTeX2HTML-generated documents. Includes credit to Christopher Petrilli for the navigation icons.