function replace_search_condition(){
	var element = document.getElementById("replace-search-results");
	var offset = 0;
	do { offset += element.offsetTop || 0;
	element = element.offsetParent;} while (element);
	conditionHeight = document.getElementById("replace-search-condition").offsetHeight;
	document.getElementById("replace-search-condition").style.top = offset + "px";
	document.getElementById("replace-search-results").style.margin = conditionHeight + 10 + "px 0 0";
}