<!--
// =================================================================================
// File: page.js
//
// Purpose: Handle stuff related to page look and feel etc
//
// =================================================================================

function Page_ToggleSideNote(id) {
	var expandArrowId = "expand" + id;

	Page_Toggle(document.getElementById(id));
	Page_ToggleText(document.getElementById(expandArrowId), '&laquo;', '&raquo;');
}

function Page_Toggle(styleDisplay){
	styleDisplay.style.display = (styleDisplay.style.display == 'none') ? 'inline' : 'none';
}

function Page_ToggleText(id, textOn, textOff){
	id.innerHTML = (id.innerHTML == 'ť') ? textOn : textOff;
}
-->