section of LaTeX2HTML-generated documents. Includes credit to Christopher Petrilli for the navigation icons.