//***********************************************************************
// Bestimmung des Browsers und festlegen von Browservariablen
//
// DATEI WIRD SERVERSEITIG IN MAPCONTROL EINGEBUNDEN
//***********************************************************************
var ns4,ns6,ie;

if(document.all) //IE browser
{
	ns4 = ns6 = false;
	ie = true;
}
else // Mozilla (Netscape)
{
	ns4 = (document.layers) != null;
	ns6 = !ns4;
	ie = false;
}

// aus browserdetect.js (MapGuideOpenSource)
var agent = navigator.userAgent.toLowerCase();
var msie = agent.indexOf("msie") != -1;
var msie6 = agent.indexOf("msie 6") != -1;
var msie7 = agent.indexOf("msie 7") != -1;
var safari = agent.indexOf("safari") != -1;
var firefox = agent.indexOf("firefox") != -1;
var firefox2 = agent.indexOf("firefox/2") != -1;
var firefox3 = agent.indexOf("firefox/3") != -1;