I little thing for making the GitHub header sticky.