We now preserve leading whitespace on HTML lines

This should make the output easier to read.