add number_sections to html docs