Insert section numbers in HTML and make a table of contents