JQuery function

From Null-pointer

(function(jQuery) {

 jQuery.adjustHeader = function()
 {
   var ec = jQuery("#extractContent");

   if ( ec.height() > 100 ) 
   {
     var nh = ec.height() + 13;
     jQuery("#extractBorder").css('margin-top', "-"  + nh +"px");
     jQuery("#draggable").height( ec.height() + 6 );
   }
   else
   {
     jQuery("#extractBorder").css('margin-top', "-100px");
     jQuery("#draggable").height( 100 );
   }
 }
})(jQuery);