var GLOBAL_timeout_id = 0;

function ShowSpec(Spec) {
	var set_to_visible = "make_visible('" + Spec + "')";
	GLOBAL_timeout_id = setTimeout(set_to_visible, 250);
}

function HideSpec(Spec) {
	clearTimeout(GLOBAL_timeout_id);
	document.getElementById(Spec).className="InstaSpecHidden";
}

function make_visible(Spec) {
	document.getElementById(Spec).className="InstaSpecVisible";
}