diff WebContent/jscripts/tiny_mce/plugins/searchreplace/css/searchreplace.css @ 5:0be9d53a6967

editor for annotations
author dwinter
date Tue, 13 Dec 2011 17:43:46 +0100
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/WebContent/jscripts/tiny_mce/plugins/searchreplace/css/searchreplace.css	Tue Dec 13 17:43:46 2011 +0100
@@ -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;}