Increase the font size in the menu

Hello, could you please help me to find out how to change the menu font size? my users have been complaining because the menu font is so small. Please advice which file or style sheet should I  ed...