try to generate html list of toc, not done yet