WebInspector.animateStyle([{element: element, start: {height: 0}, end: {height: element.offsetHeight}}], 250, function() { element.style.removeProperty("height"); element.style.removeProperty("overflow") }); 
WebInspector.animateStyle([{element: element, end: {height: 0}}], 250, function() { element.addStyleClass("hidden"); element.style.removeProperty("height") }); 
            WebInspector.animateStyle([{element: element, start: {height: 0}, end: {height: element.offsetHeight}}], 250, function() { element.style.removeProperty("height"); element.style.removeProperty("overflow") });
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/7d2aaa248e316cf8ee6c9d6ae9c057e355c7c994/NetworkPanel.js/clean/WebCore/page/inspector/NetworkPanel.js