changed highlightjs theme to github