Not sure if this is the correct place for this question because it is a theme question more than a Window manager question but here goes.
Which file do I look at to change the height of the panel. I am using the Mint-X theme stock standard with Mint 13 Cinnamon.
I found this thread but it is for Mint-Z and the two themes have quite different file structures. http://forums.linuxmint.com/viewtopic.php?f=205&t=87838&p=543244#p543244