seamlessly remove .header-dark on github
Remove the .header-dark class on GitHub for the design update done 2017-02-10, using @run-at document-start to reduce potential flickering.