function fixforOthers()
{

	var agent = navigator.userAgent;
	var right,left;
	// check opera and mozilla
	var opera = /Opera/g.test(agent);
	var mozilla = /Gecko/g.test(agent);

	// check internet explorer major version 

	/MSIE (\d+)/g.exec(agent);
	msiever=RegExp.$1;



	if(opera || mozilla || msiever>=6)
	{	
		// I am calculating "right" here, since usually the right pane is bigger than the navigation pane 
		right = document.getElementById("maincontent").offsetHeight-6;	
		left = document.getElementById("sidebar").offsetHeight-6;
		if (left<right)
		{
			document.getElementById("sidebar").style.height=right+"px";
		}
		else
		{
			document.getElementById("maincontent").style.height=left+"px";
		}
	}
	// when msie 6.0 is displaying xml files, it works like msie 5.0
	if ( (msiever!="") && (msiever < 6 || (msiever >=6 && (/xml/g.test(location.pathname)) ) ))
	{
		if (left<right)
		{
			document.getElementById("sidebar").style.height=right+6+"px";
		}
		else
		{
			document.getElementById("maincontent").style.height=left+"px";			
		}
		document.getElementById("sidebar").style.width="150px";
		document.getElementById("maincontent").style.width="640px";
	}
}


function toggleFont()
{
	if (document.getElementById("maincontent").style.fontFamily=='"Times New Roman", Times, serif')
	{
		document.getElementById("maincontent").style.fontFamily='Verdana, Geneva, Arial, Helvetica, sans-serif';
		document.getElementById("sidebar").style.fontFamily='Verdana, Geneva, Arial, Helvetica, sans-serif';
	}
	else
	{
		document.getElementById("maincontent").style.fontFamily='"Times New Roman", Times, serif';
		document.getElementById("sidebar").style.fontFamily='"Times New Roman", Times, serif';
	}

	fixforOthers()
}
/*
function lookforPlugin()
{
	if ((navigator.mimeTypes["audio/wav"] && navigator.mimeTypes["audio/wav"].enabledPlugin!=null)||
       (navigator.mimeTypes["audio/x-wav"] && navigator.mimeTypes["audio/x-wav"].enabledPlugin!=null)) 
		alert("dziala");
}
*/

function toggleSound(invalue)
{
	//lookforPlugin();
	if (invalue)
	{
		document.getElementById("sound").src="/images/noise_on.gif";
		document.getElementById("silence").src="/images/silence_off.gif";
		document.getElementById("blekot").innerHTML='<embed src="bkgrnd.wav" hidden="true" loop="true" autostart="true"></embed>';
	}
	else
	{
		document.getElementById("sound").src="/images/noise_off.gif";
		document.getElementById("silence").src="/images/silence_on.gif";
		document.getElementById("blekot").innerHTML='';
 	}
}