If you open the Font.ini file in a text editor, it shows the font, size, etc.

I assume that if you wanted to change the default font, you could just modify the file.