-
Peter Eisentraut authored
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
702f1235