<!--
	
	/*Load up all the necessary images. Initialise is called after page has
		loaded, so want to do that before so that it works cleanly straight away. 
		Only need to load the normal images, the bright ones will be loaded automatically
		when a different page loads. */
	button_off = new Image(150, 50);
	button_off.src = dirPrefix + "images/gray_button_off.gif";
	button_on = new Image(150, 50);
	button_on.src = dirPrefix + "images/gray_button_on.gif";


	/* Called when the body is loaded to perform initialisation functions */
	function initialise(){
		if(pageDescription == "Thesis")
			loadSummaryStyles();
		
		if(pageDescription == "XML")
			loadXMLDescriptionElements();
			
		if(pageDescription == "Video")
			loadVideoElements();
		
		//Get hold of appropriate parts of the document
		if(document.all && !document.getElementById){
			//Button styles	
			homeStyle = document.all["HomeButton"].style;
			thesisStyle = document.all["ThesisButton"].style;
			omcStyle = document.all["OMCButton"].style;
			networkStyle = document.all["NetworkButton"].style;
			representationStyle = document.all["RepresentationButton"].style;
			informationStyle = document.all["InformationButton"].style;
			xmlStyle = document.all["XMLButton"].style;
			videoStyle = document.all["VideoButton"].style;
			codeStyle = document.all["CodeButton"].style;
			contactStyle = document.all["ContactButton"].style;
		}
		else if (document.getElementById){	
			homeStyle = document.getElementById("HomeButton").style;
			thesisStyle = document.getElementById("ThesisButton").style;
			omcStyle = document.getElementById("OMCButton").style;
			networkStyle = document.getElementById("NetworkButton").style;	
			representationStyle = document.getElementById("RepresentationButton").style;
			informationStyle = document.getElementById("InformationButton").style;
			xmlStyle = document.getElementById("XMLButton").style;
			videoStyle = document.getElementById("VideoButton").style;	
			codeStyle = document.getElementById("CodeButton").style;
			contactStyle = document.getElementById("ContactButton").style;
		}
	}


	//Changes the background of the buttons
	function showHighlight(value){
		if(value == "Home"){
			if(pageDescription != "Home")
				homeStyle.backgroundImage = "url(" + dirPrefix + "images/gray_button_on.gif)";
		}
		else if(value == "Thesis"){
			if(pageDescription != "Thesis")
				thesisStyle.backgroundImage = "url(" + dirPrefix + "images/gray_button_on.gif)";
		}
		else if(value == "OMC"){
			if(pageDescription != "OMC")
				omcStyle.backgroundImage = "url(" + dirPrefix + "images/gray_button_on.gif)";
		}
		else if(value == "Network"){
			if(pageDescription != "Network")
				networkStyle.backgroundImage = "url(" + dirPrefix + "images/gray_button_on.gif)";
		}
		else if(value == "Representation"){
			if(pageDescription != "Representation")
				representationStyle.backgroundImage = "url(" + dirPrefix + "images/gray_button_on.gif)";
		}
		else if(value == "Information"){
			if(pageDescription != "Information")
				informationStyle.backgroundImage = "url(" + dirPrefix + "images/gray_button_on.gif)";
		}
		else if(value == "XML"){
			if(pageDescription != "XML")
				xmlStyle.backgroundImage = "url(" + dirPrefix + "images/gray_button_on.gif)";
		}
		else if(value == "Video"){
			if(pageDescription != "Video")
				videoStyle.backgroundImage = "url(" + dirPrefix + "images/gray_button_on.gif)";
		}
		else if(value == "Code"){
			if(pageDescription != "Code")
				codeStyle.backgroundImage = "url(" + dirPrefix + "images/gray_button_on.gif)";
		}
		else if(value == "Contact"){
			if(pageDescription != "Contact")
				contactStyle.backgroundImage = "url(" + dirPrefix + "images/gray_button_on.gif)";
		}
		else
			alert("ID not found in show highlight: " + value);
	}

	//Changes the background of the buttons
	function hideHighlight(value){
		if(value == "Home"){
			if(pageDescription != "Home"){
				homeStyle.backgroundImage = "url(" + dirPrefix + "images/gray_button_off.gif)";
			}
		}
		else if(value == "Thesis"){
			if(pageDescription != "Thesis"){
				thesisStyle.backgroundImage = "url(" + dirPrefix + "images/gray_button_off.gif)";
			}
		}
		else if(value == "OMC"){
			if(pageDescription != "OMC"){
				omcStyle.backgroundImage = "url(" + dirPrefix + "images/gray_button_off.gif)";
			}
		}
		else if(value == "Network"){
			if(pageDescription != "Network"){
				networkStyle.backgroundImage = "url(" + dirPrefix + "images/gray_button_off.gif)";
			}
		}
		else if(value == "Representation"){
			if(pageDescription != "Representation"){
				representationStyle.backgroundImage = "url(" + dirPrefix + "images/gray_button_off.gif)";
			}
		}
		else if(value == "Information"){
			if(pageDescription != "Information"){
				informationStyle.backgroundImage = "url(" + dirPrefix + "images/gray_button_off.gif)";
			}
		}
		else if(value == "XML"){
			if(pageDescription != "XML"){
				xmlStyle.backgroundImage = "url(" + dirPrefix + "images/gray_button_off.gif)";
			}
		}
		else if(value == "Video"){
			if(pageDescription != "Video"){
				videoStyle.backgroundImage = "url(" + dirPrefix + "images/gray_button_off.gif)";
			}
		}
		else if(value == "Code"){
			if(pageDescription != "Code"){
				codeStyle.backgroundImage = "url(" + dirPrefix + "images/gray_button_off.gif)";
			}
		}
		else if(value == "Contact"){
			if(pageDescription != "Contact"){
				contactStyle.backgroundImage = "url(" + dirPrefix + "images/gray_button_off.gif)";
			}
		}
		else
			alert("ID not found in mouse off: " + value);
	}

	
-->