work around whitespace bugs in the HTML version
1 file changed