These duplicate attributes are ignored by at least Firefox and Chrome, so this change has no effect on the style
