That's a good point. Why change the user's setting ? If the user is unhappy with the system wide setting, s/he would change it in the control panel. The fact that the user is living with that menu font size means s/he is comfortable. Why do you think your application should behave any differently. Just curious to know the reason ( accessibility etc. ? )