Quote HTML attributes for consistency

... in editors