how to set default font size for wxPython/GTK2

Hello,

we have this wxPython application (http://wiki.gnumed.de). A
user complains that on one machine the default font size is
too small while on another machine it is OK. Both machines
are Debian/Etch with the same set of packages installed.

So, I'd like to know whether there are default settings for
the font size anywhere which I might check for differences.

It's only about the font size when no explicit SetFont() is
used.

I am thinking there might be some config file somewhere
telling wx to "use that font and pitch if none is given".

Any thoughts on this ?

Thanks,
Karsten

ยทยทยท

--
GPG key ID E4071346 @ wwwkeys.pgp.net
E167 67FD A291 2BEA 73BD 4537 78B9 A9F9 E407 1346