Update TinyMCE wiget code according to r783. I hope I did it correctly this time. http://code.google.com/p/soc/source/detail?r=783 Patch by: Pawel Solyga Review by: to-be-reviewed

.panel_wrapper {height:85px;}
.panel_wrapper div.current {height:85px;}

/* IE */
* html .panel_wrapper {height:100px;}
* html .panel_wrapper div.current {height:100px;}