tweak down the font size of main menu. #3607