An html page using extra markup from HTML