changing the font in gnome-panel

[Dinh-Tuan Pham imag fr]

	Hi all
	Does any body know how to change the font use in the panel
menu (and in the time and date display). I have asked this question in
various newgroups (many times), check the gnome-FAQ, read the whole
gnome-user guide and never get the answer. In all the documents I
look, I can never find any mention of font. So out of desperation I
subscribe to this list and post this message (I am not a gnome
developer and am only interest on how to use gnome), hoping that some
one might have an answer. I have heard about theme, but never know how
to make it works. In any case I just want to change a font. For an X
application, it is quite easy. Why it is so hard with gnome and there
never had any documentation about it (by the way such thing usually is
explained in the man page of the application, but there is no man page
for gnome application !)

-- 
PHAM Dinh Tuan                         | e-mail: Dinh-Tuan.Pham@imag.fr
Laboratoire de Modelisation et Calcul  | Tel: +33 4 76 51 44 23
BP 53, 38041 Grenoble cedex (France)   | Fax: +33 4 76 63 12 63
-----------------------------------------------------------------------