// JavaScript Document

var dd_timer_id;

function show_dropdown(){
	clearTimeout(dd_timer_id);
	hide_dropdowns();

	dd = document.getElementById("dd-staying-at-the-strozzi");
	dd.style.display = "block";
}

function hide_dropdowns(){
	dd = document.getElementById("dd-staying-at-the-strozzi");
	dd.style.display = "none";
}

function hide_dropdowns_timer(){
	dd_timer_id = setTimeout("hide_dropdowns()", 500);
}

function stop_timer(){
	clearTimeout(dd_timer_id);
}