/**
* Returns the height of the window in any browser.
/ @return Integer 
*/
function getWindowHeight() 
{
  var windowHeight = 0;
  if (typeof(window.innerHeight) == 'number') 
	{
   windowHeight = window.innerHeight;
  }
  else 
	{
   if (document.documentElement && document.documentElement.clientHeight) 
	 {
   	windowHeight = document.documentElement.clientHeight;
   }
   else 
	 {
    if (document.body && document.body.clientHeight) 
		{
     windowHeight = document.body.clientHeight;
    }
   }
  }
  return windowHeight;
}

/**
* Check if we are running IE6
*/
function versionDetect()
{
	if(navigator.appVersion.indexOf("MSIE 6.0")>0)return true;
}

/**
* Place the left menu 50px to the left.
* and fixes a float problem for the menu
* TODO find out why this only happens on some pages.
*/
function relocateMenu()
{
 	if(BrowserDetect.browser == "Explorer" && versionDetect())
	{
		//document.getElementById('submenu').style.margin = "0px 10px 5px 27px;";
		document.getElementById('content').style.styleFloat = "none";
	}
	 	if(BrowserDetect.browser == "Explorer")
	{
		document.getElementById('content').style.styleFloat = "none";
	}
}

window.onload = function() {
relocateMenu();
}

window.onresize = function() {
}
		
/* Browser detect script */		
var BrowserDetect = {
	init: function () {
		this.browser = this.searchString(this.dataBrowser) || "An unknown browser";
		this.version = this.searchVersion(navigator.userAgent)
			|| this.searchVersion(navigator.appVersion)
			|| "an unknown version";
		this.OS = this.searchString(this.dataOS) || "an unknown OS";
	},
	searchString: function (data) {
		for (var i=0;i<data.length;i++)	{
			var dataString = data[i].string;
			var dataProp = data[i].prop;
			this.versionSearchString = data[i].versionSearch || data[i].identity;
			if (dataString) {
				if (dataString.indexOf(data[i].subString) != -1)
					return data[i].identity;
			}
			else if (dataProp)
				return data[i].identity;
		}
	},
	searchVersion: function (dataString) {
		var index = dataString.indexOf(this.versionSearchString);
		if (index == -1) return;
		return parseFloat(dataString.substring(index+this.versionSearchString.length+1));
	},
	dataBrowser: [
		{ 	string: navigator.userAgent,
			subString: "OmniWeb",
			versionSearch: "OmniWeb/",
			identity: "OmniWeb"
		},
		{
			string: navigator.vendor,
			subString: "Apple",
			identity: "Safari"
		},
		{
			prop: window.opera,
			identity: "Opera"
		},
		{
			string: navigator.vendor,
			subString: "iCab",
			identity: "iCab"
		},
		{
			string: navigator.vendor,
			subString: "KDE",
			identity: "Konqueror"
		},
		{
			string: navigator.userAgent,
			subString: "Firefox",
			identity: "Firefox"
		},
		{
			string: navigator.vendor,
			subString: "Camino",
			identity: "Camino"
		},
		{		// for newer Netscapes (6+)
			string: navigator.userAgent,
			subString: "Netscape",
			identity: "Netscape"
		},
		{
			string: navigator.userAgent,
			subString: "MSIE",
			identity: "Explorer",
			versionSearch: "MSIE"
		},
		{
			string: navigator.userAgent,
			subString: "Gecko",
			identity: "Mozilla",
			versionSearch: "rv"
		},
		{ 		// for older Netscapes (4-)
			string: navigator.userAgent,
			subString: "Mozilla",
			identity: "Netscape",
			versionSearch: "Mozilla"
		}
	],
	dataOS : [
		{
			string: navigator.platform,
			subString: "Win",
			identity: "Windows"
		},
		{
			string: navigator.platform,
			subString: "Mac",
			identity: "Mac"
		},
		{
			string: navigator.platform,
			subString: "Linux",
			identity: "Linux"
		}
	]

};
BrowserDetect.init();