HTML: Formatting changes.