Update HTML with minor stylistic tweaks