Hello,  I am a newbie and need help with resizing the gnome-main-menu (0.9.12).  The menu was an appropriate size for my HP mini netbook, but recently it got larger, probably with an update.  Is there a settings file that I could modify?<div>
<br></div><div>Thanks,</div><div><br></div><div>Ricardo</div>