function selectStylesheet()
{
	if (!document.all) return;
	window.onresize=reSelectStylesheet;
	document.all.menu.scrollTop=1;
	if (document.all.menu.scrollTop==1) //  can scroll, so too big
	{
		if (document.styleSheets.length>1) // already added a second stylesheet, so need to re-enable it
		{
			document.styleSheets(1).disabled = false;
		}
		else // no stylesheet added and too big
		{
			document.createStyleSheet('/css/small.css');
		}
	}
}

function reSelectStylesheet()
{
	if (!document.all) return;
	if (document.styleSheets.length>1)
		document.styleSheets(1).disabled = true;
	window.setTimeout(selectStylesheet,1000);
}