reformat HTML page.