--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tinymce/3rdparty/plugins/searchreplace/css/searchreplace.css	Thu Jun 02 06:24:03 2011 -0400
@@ -0,0 +1,6 @@
+.panel_wrapper {height:85px;}
+.panel_wrapper div.current {height:85px;}
+
+/* IE */
+* html .panel_wrapper {height:100px;}
+* html .panel_wrapper div.current {height:100px;}