Switches controlling Navigation Panels

The following switches govern whether to include one or more navigation panels on each HTML page, also which buttons to include within such a panel.


\begin{htmllist}\htmlitemmark{PinkBall}%
\par\index{navigation panel!disabled}
\...
...\textsl{index-page} in the navigation panel if there is an index.
\end{htmllist}