What's the font that Jeremy uses in his console

Part 1 (2018)
1

fastai_console
fastai_console.jpg1536×864 524 KB