An abstraction of the HTML specification