Hi Everybody, I want to reduce the height of the gnome-panel's menu items. There is just too much space (for my taste) both above and below the text in the menu items. Can you tell me where exactly should I look for doing that? Regards, Santanu Chatterjee