use github for hightlight.js