Update jquery.toc.full.js