Improve formatting of generated html source, make extra whitespace optional

[3b]

Currently HTML is generated with some newlines and no indentation. Working indentation would be nice to have, as would an option to add no extra whitespace including newlines.

*PADDING* and PADDED sound like they should modify indentation, but apparently just do something with newlines?