Use grey GitHub ribbon instead of red