correct default hightlight theme to github