I'm using Mint 12 64 bit with Gnome De since a couple of weeks , yesterday while I was trying to get HDMI audio output from my Dell M4400 (impossible since digital hardware is not detected ) I was dealing with Nvidia hardware driver and second screen when after a reboot I found that the menu bar size had increase as you can see in this image
.How can I resize it to normal dimensions ?

