Make session auth cookie name configurable

Thomas Bruederli

2013-08-15 8d2963a4bf916d047cb0aebd825588a5e20b838f

 program/js/tiny_mce/plugins/searchreplace/css/searchreplace.css

New file
@@ -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;}