// Menu Highlighter javascript. Ralph Hughes 2008
	// Originally made for FDSL site. Altered here to not highlight chain of div's above but expand
	// divs that are closed by default and change the button image next to them.
			NavMenu3();
			
			function NavMenu3() {
				
				var listULs=document.getElementById('nav').getElementsByTagName("UL");
				// Search through all UL's within nav_menu
				for (i=0; i<listULs.length;i++) {
					var thisUL=listULs[i];
					var listLIs = thisUL.childNodes;
					// Search through all LI's within UL
					for (j=0; j<listLIs.length;j++) {
						thisLI=listLIs[j];
						listAs=thisLI.childNodes;
						// Search through all A's within LI
						for (k=0; k<listAs.length;k++) {
							thisA=listAs[k];
							if (thisA.nodeName=='A') {
								// This is one of the links. It should be unique.
								if (thisA.href==document.location.href) {
									// This is the active link, it needs its parent div expanding if necessary:
									if (thisUL.style.display=='none') {
										thisUL.style.display='block';	// expand the parent div
										// change the expand image icon
										var expandImage = document.getElementById(thisUL.id + 'Img');
										expandImage.src = 'Images/design2/minusicon.png';
									}
								}
							}	
						}
					}
				}
			}