Font in gnome-help-browser

[Jose Romildo Malaquias <romildo urano iceb ufop br>]

Hello.

It seems that there is no option to customize the
font used by gnome-help-browser, and the defatul font
is hardcoded in the sources. Would anybody point
me out to the module and source file it is coded
so that I can modify the source to satisfy my
needs and recompile.

Thanks.

Romildo
-- 
Prof. José Romildo Malaquias <romildo@iceb.ufop.br>
Departamento de Computação
Universidade Federal de Ouro Preto
Brasil