A web-based format for HTML files.