Looks like Tocify to me http://gregfranko.com/jquery.tocify.js/