// Show a term in the glossary box in the header
function show_glossary(term, meaning) {
 	$("term").set("html", term);
 	$("meaning").set("html", meaning);
 	$("glossary").fade(0);
	$("glossary").setStyle("display", "block");
	$("glossary").fade(1);
}

// Hide the glossary box
function hide_glossary() {
 	$("glossary").fade(0);
	setTimeout('$("glossary").setStyle("display", "none")', 1000);
}