fix url for highlight.js