Comment 16 for bug 655184

I think the default font size should be changed from 10 to 9, thus will fit most of the long menus, it is still quite visible and it looks more professional.