function ShowTerm(InstaGlossTerm) {
	document.getElementById(InstaGlossTerm).className="InstaGlossTermVisible";
}

function HideTerm(InstaGlossTerm) {
	document.getElementById(InstaGlossTerm).className="InstaGlossTermHidden";
}

function ShowDef(InstaGlossDef) {
	document.getElementById(InstaGlossDef).className="InstaGlossDefVisible";
}

function HideDef(InstaGlossDef) {
	document.getElementById(InstaGlossDef).className="InstaGlossDefHidden";
}