added github github theme for highlight.js