function textSize(size) {

	document.getElementById("content").className = size;
	document.getElementById("footer").className = size;
	try { document.getElementById("nav_sub").className = size; } catch(e) {}
	
	document.getElementById("ts_small").className = "deselected";
	document.getElementById("ts_normal").className = "deselected";
	document.getElementById("ts_large").className = "deselected";
	document.getElementById("ts_"+size).className = "selected";
	
	return false;
}