Размер шрифтов в FF

Спасибо за ссылку...Видимо при поиске пропустил.
Это решение меняет только шрифт СОДЕРЖАНИЯ страницы. Но направление "раскопок" я понял. Решить проблему помогла страница:

http://kb.mozillazine.org/Pane_and_menu_fonts#Menus

Простое добавление строк в файл userChrome.css :
/* Menu font */
menu, menuitem, menulist, toolbar {
font-family: Arial !important;
font-size: 14pt !important;
}