Using github's fonts for the terminal