function isMobile() {
	var index
	index = navigator.appVersion.indexOf("Mobile");// for Mac OS , or browser opera
	
	if (index <= -1)
	{
		index = navigator.appVersion.indexOf("Mobi");// for Mobi
		if (index <= -1)
		{
			index = navigator.appVersion.indexOf("Symbian");// for Symbian
		}
	}
	//document.write("index : " + index);
	return (index > -1);
}

function setStyleMobile() {
	
	document.write('<link rel="stylesheet" href="mobile.css" />\n');
}

function makeFontTripleSize() {
	document.write("<style>body { font-size: 3em; } </style>");
}