//functions.js
//
//This file contains the functions for IR web site


//This function is used for changing style of menu items from "hidden" to show them in pages.

function toggle_element(id) {
	the_element = document.getElementById(id);	
	if (the_element.style.display == 'none' || the_element.style.display == '') {
	the_element.style.display = 'block';
} else {
	the_element.style.display = 'none';
	}
}
	
//This function is used to bookmark the page it's located on
	
function bookmark(url,title){
  if ((navigator.appName == "Microsoft Internet Explorer") && (parseInt(navigator.appVersion) >= 4)) {
  window.external.AddFavorite(url,title);
  } else if (navigator.appName == "Netscape") {
    window.sidebar.addPanel(title,url,"");
  } else {
    alert("Press CTRL-D (Netscape) or CTRL-T (Opera) to bookmark");
  }
}