Fonte des menus d'Openoffice

[Erwan David]

        Je voudrais changer cette fonte pour une plus grande, comment
faire, je n'ai rien vu dans les options de configuration. Une
resource X ?

-- 
Erwan