Space Grotesk: a proportional variant of the original fixed-width Space Mono family - View it on GitHub