Automatically creates a table of contents for all HTML-headers on a web page.
当前为
This script was not written by me, all credits go to the original author: Rune Skaug (see: UserScripts-Mirror).
I use this script for years, and though it was last updated in 2006, it still does a great job: it adds a TOC (table-of-contents) to each page, making long pages much easier to navigate. For the TOC not eating screen space unnecessarily, I recommend using it together with my Hide/unHide AutoTOC navigation bar user style.
