
doHRFix = function() {

	var hr_tags = getElementsBySelector("hr.divider");
	
	for (i=0; i<hr_tags.length; i++) {
		var node = hr_tags[i];
		var parent = node.parentNode;
		var new_node = document.createElement("div");
		new_node.className = "divider";

		parent.replaceChild(new_node, node);
	}
}

EventUtils.addEventListener(window,'load',doHRFix);


