In the true spirit of the old web, you can adjust the default font in your browser's preferences to any font you prefer and the page respects it, as it doesn't specify what font to use at all.