Just number the top level sections in HTML output.