> Incidentally, now that it's working, is there a way to make the fonts
There are too many ways to do this! I use either the ~/.Xdefaults file
or the init file (~/.snd) with similar stuff:
(set! (axis-numbers-font) "9x15")))
You can use the same init file with gtk (which has a different font
convention) -- see grfsnd.html for details.