Use CDN for highlight.js.