Prettify HTML up to the table of contents