document.getElementById("main").style.top = newHeight + "px"; 
document.getElementById("main").style.top = (newHeight + 1) + "px"; 
WebInspector.searchResultsResizerDrag = function(event){    var searchResults = document.getElementById("searchResults");    if (searchResults.dragging == true) {        var y = event.clientY;        var newHeight = Number.constrain(y, 100, window.innerHeight - 100);        if (y == newHeight)            searchResults.dragLastY = y;        WebInspector.searchResultsHeight = newHeight - Preferences.toolbarHeight;        searchResults.style.height = WebInspector.searchResultsHeight + "px";        document.getElementById("main").style.top = newHeight + "px";        document.getElementById("searchResultsResizer").style.top = (newHeight - 2) + "px";        event.preventDefault();    }}
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/6c161d3d3cd6fdb3725066af6b0d62bb3243f957/inspector.js/clean/WebCore/page/inspector/inspector.js