[Chimera-users] font size in pull-down menus

Hi, Is there a way to change the font size of the pull-down menus? For some reason on the Windows (XP) v.1.5.1 they seem smaller to me. Nothing in terms of graphics (or my eyesight) has changed since I upgraded to 1.5.1 recently.    Thanks,                Boaz    Thanks,                 Boaz Boaz Shaanan, Ph.D. Dept. of Life Sciences Ben-Gurion University of the Negev Beer-Sheva 84105 Israel Phone: 972-8-647-2220 ; Fax: 646-1710 Skype: boaz.shaanan‎