function changeTextSize(theSize,theLink) {
	//Set/Reset the new size of text
	var newSize = "";
	
	//Grab all the text size links
	allTheLinks = document.getElementById("text-sizer").getElementsByTagName("a");
	
	//Remove the "on" class from them
	for (i=0;i<allTheLinks.length;i++) allTheLinks[i].className = allTheLinks[i].className.replace(/ on/, "");
	
	//Find out which text size link was called and set the new size as well as the "on" class again	
	switch(theSize){
		case "regular":
			newSize = "100%";
			theLink.className = "regular on";
			break;
		case "medium":
			newSize = "125%";
			theLink.className = "medium on";
			break;
		case "large":
			newSize = "150%";
			theLink.className = "large on";
			break;	
	}
	
	//Set the new size to the content DIV
	document.getElementById("content").style.fontSize = newSize;
	
	//Remove that blasted dotted line from the link that was clicked
	theLink.blur();
}