- Turn on the use of tables to build navigation headers/footers
- Turn off the shading of verbatim environments. Replace with our own scheme which wraps these in <blockquote>, more in keeping with other documents.
- Specify the root filename for the HTML version as 'index.html'