An HTML element