HTML whitespace cleanup.