You are correct the menu can not be changed in size but, if you reduce the monitors resolution slightly the menues will appear larger.
ICC programmer and developer, Photographer, artist and color management expert, Print standards and process expert.