CSS sees DOM attributes (what you get from element.getAttribute('type')), and not DOM properties (element.type).

These are different things kept roughly in sync by setters/getters (called "reflected properties" in HTML spec).

The `type` attribute is also supposed to have default value implied by the DTD, but that could only work in "validating" SGML/XML parsers (which browsers aren't).

I didn't know that. I tested it myself and you're right. The "Elide Attributes" filter seems fairly pointless anyway. I can't imagine it making that much of a difference in performance even if it was safe.