压缩toc.js!