//****************************************
// ElectricStorms Simple Font Resizer
//****************************************

function fontSizeSwitch(toSize)
{
	//check it's one of our valid sizes, or else set to default:
	if (toSize != 14 && toSize != 10) { toSize = 12; }
	
	//create cookie so that this size persists: 
	var date = new Date();
	date.setTime(date.getTime() + (90*24*60*60*1000)); //(90 days)
	var expires = '; expires=' + date.toGMTString();	
	document.cookie = 'style_cookie' + '=' + toSize + expires + '; path=/';
	
	//and set the new size with script so it shows up now:
	document.body.style.fontSize = toSize + 'px';
}