use cdn highlight.js too