Userstyle for making GitHub nicer to use.