fix link to highlight.js