Revert empty-<ul>-hack on HTML table of contents in favor of CSS
Abolish spaces terminating LaTeX macros with no arguments
HTML prev/up/next navigation buttons
Rework HTML table-of-contents enclosing structure
Mark content portion of web pages with right class
Provide "heading" class consistently in HTML output