
function hideToggleHint(el) {
	var e = document.getElementById(el);
	if (e)
		e.style.display = "none";
}

function showToggleHint(el) {
	var e = document.getElementById(el);
	if (e) {
		var pointer = document.createElement('span');
		pointer.className = 'hintPointer';
		pointer.innerHTML = '  ';
		e.appendChild(pointer);
		e.style.display = "inline";
	}
}

