HTML refinements.