Change menu font.

Hi there, love the theme.

I would like to change my font on the menu bar. All I have is a TTF file, I noticed there are different formats in the fonts directory.

Any help would be appreciated!

thanks,

Rob