Small JavaScript table of contents generator for Markdown generated HTML