style changes to github.css