HTML-related coding style fixes