Hacker News new | ask | show | jobs
by hownottowrite 1351 days ago
Looks like Tocify to me http://gregfranko.com/jquery.tocify.js/