-
Andrew Manning authored
Replace homemade table of content generator with existing jQuery plugin. Now toc is linked to document headings.
7124c0ae
Replace homemade table of content generator with existing jQuery plugin. Now toc is linked to document headings.