GitHub ribbon uses sans-serif font