change to github theme for highlight.js, not super happy with any of the themes