Fixed Korean characters in toc.js.