Github has it's own font now