Update highlighter.pdf.js