Make default highlight.js theme 'github'