There is a set of radio buttons in the top right corner you can use to choose a different one :)

Weird, the older I get the better that font is for me. I wonder if that's because of nostalgia as all of the terminals at that age looked like this.

This website is the one of the rare times where safari’s reader mode that changes the font was super nice to read.

You can always use reader mode of your browser.

100% right. I completely forgot about that. Thanks.