You should be able to find out what fonts your system uses if you open Display Settings, go to the Appearance tab, click on Advanced, and then from the drop-down menu you can go through all the different elements and fonts (I believe this one would be under Menu).