[ZVEr13]

menu_txt.getTextFormat().font

Так можно узнать какой шрифт используется
Или как вариант создаете свой TextFormat и используете его:

myTextFormat = new TextFormat();
myTextFormat.font = 'Verdana';
menu_txt.setTextFormat(myTextFormat);