HTML:
* make .html the default extension
* allow use of CSS stylesheet ("stylesheet.css", not included)
* make <set> TOC two levels deep
* put time of creation into meta header
Print:
* make print output justified by default
* footnotes at bottom of each page
* allow TeX to hyphenate