correct default hightlight theme to github
style github fixes