An HTML div.