A collection of HTML element and attribute style-normalizations