function hide_all_designers() {
	$$('div.designer_overlay').each(function(div) {
		div.hide();
	});	
}

function show_designer(id) {
	hide_all_designers();
	
	overlay = $('designer_'+id);
	overlay.show();
}

