There's a useful post on webupd8 with another workaround, that works with almost any theme:
http://www.webupd8.org/2010/05/script-to-fix-panel-for-all-themes-at.html
There's a useful post on webupd8 with another workaround, that works with almost any theme:
http:// www.webupd8. org/2010/ 05/script- to-fix- panel-for- all-themes- at.html