Interestingly, my shows with a _different_ unreadably inconveniently small font - good news, really.
Good because, probably this means it respects X-Windows resource overrides, and you can pick a bigger font through X font resource control.
Bad because, well, it does mean it basically has a bug with its font choices, and also because figuring out how to tell it a better font means learning how to control X fonts in X resources, which is a _bit_ arcane and ancient.
But probably, you can just set an environment variable, and make it use a different font. Not sure, mine isn't bad enough for me to try to futz with it.
