Automatically creates a table of contents for all HTML-headers on a web page.
目前為
AutoTOC automatically creates a table of contents for all HTML-headers on a web page.
This script was originally written by Rune Skaug (see: UserScripts-Mirror, UserJS.org).
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, Rune had implemented a „toggle“ so you could switch it on and off. I decided it was much easier to generally hide the TOC to 95% – leaving just an indicator un-hiding it on mouse over; so I wrote a UserStyle for that purpose and uploaded it to UserStyles.Org (Hide/unHide AutoTOC navigation bar). With that site having become much too bloated, and Rune no longer working on the script (his last update was in 2006, as pointed out already), I've now integrated the CSS directly with the script for your convenience.
