// JavaScript Document

		function onLoadHandler()
		{
			initMenus();
			initMenuScrollFix();
		}

/* -------------------------------------------- Hover Over Functions -------------------------------------------- */

		function initMenus()
		{
			initMenu('menu');
		}

		function initMenu(containerDiv) {
		/* Check we are dealing with IE */
			if (document.all && document.getElementById) {
				/* Deal with the main navigation */
				var nav = document.getElementById(containerDiv);
				if (nav) {
					var navItems = nav.getElementsByTagName('li');
					for (i = 0; i < navItems.length; i++) {
						var navItem = navItems[i];
						
						navItem.onmouseover = function() {
						
							/* If there are other classes applied
							 * to the tag, add a space. Otherwise
							 * just set "hover" as the only class
							 */
							 
							if ("" != this.className) {
								this.className += ' '; 
							}
								this.className = 'hover'; 
							}
						
						navItem.onmouseout = function() {
						
							/* Check to see if hover is the only
							 * class applied to the tag. If so
							 * clear the whole class name.
							 * Otherwise search for " hover"
							 * and remove it.
							 */
							 
							if ("hover" == this.className) {
								this.className = ''; 
							} else {
								this.className = this.className.replace(' hover', ''); 
							}
						}
					}
				}
			}
		}
		
		
		var timeout = true;
		
		function initMenuScrollFix() {
		/* Check we are dealing with Firefox */
			if (!document.all && document.getElementById) {
				/* Deal with the main navigation */
				var nav = document.getElementById('menu');
				if (nav) {
					nav.onmouseover = function() {
					
						var bodyContent = document.getElementById('body_content');
						bodyContent.style.overflow = 'hidden';
						
						var bodyContentPadding = document.getElementById('body_content_padding');
						if (bodyContentPadding)
						{
							bodyContentPadding.style.paddingRight = '16px';
						}
						 
						timeout = false;

					}
					
					nav.onmouseout = function() {
					
						 timeout = true;
						 /* The setTimeout function is used so that
						    the body_content doesn't flicker. If the user
							 hasn't selected another menu item after 10 milliseconds
							 the body_content will revert back to the normal
							 overflow: auto; */
						 setTimeout('setBodyContentAuto()', 10);
 
					}
				}
			}
		}
		
		function setBodyContentAuto()
		{
			if (timeout)
			{
				var bodyContent = document.getElementById('body_content');
				bodyContent.style.overflow = 'auto';
				
				var bodyContentPadding = document.getElementById('body_content_padding');
				if (bodyContentPadding)
				{
					bodyContentPadding.style.paddingRight = '0';
				}
			}
		}