Added Pygments style (github theme) and included in default.html for theme