function styleit()
{
	var browser=navigator.appName;
	if(browser == 'Microsoft Internet Explorer')
	{
		document.getElementById('menu').style.width = '135pt';
		document.getElementById('content').style.width = '430pt';
		document.getElementById('infobox').style.width = '135pt';
		document.getElementById('facebookbox').style.left = '0pt';
	}
}