add jquery.tocify.js again