// Switch stylesheets to change font size
function switchStyle(title) {
	var i
	var theLinks = document.getElementsByTagName("link")
	for(i=0; i < theLinks.length; i++) {
		if(theLinks[i].getAttribute("rel").indexOf("style") != -1 &&
theLinks[i].getAttribute("title")) {
			theLinks[i].disabled = true;
			if(theLinks[i].getAttribute("title") == title)
theLinks[i].disabled = false;
		}
	}
	
	changeButtons(title);
}


var strCurrentSize = 'sm-font'; // id of font size button showing now
// Change font size buttons
function changeButtons(turnOn)  {
	var strNewSize;
	
	switch (turnOn){
		case 'medium':
		strNewSize = 'med-font'
		break;

		case 'large':
		strNewSize = 'lg-font'
		break;
		
		case 'default':
		strNewSize = 'sm-font'
		break;	
	}

	// turn on new button, turn off old
	if (getObj(strNewSize) && (strNewSize != strCurrentSize)) {
		getObj(strNewSize).className = 'selected';
		getObj(strCurrentSize).className = '';
		strCurrentSize = strNewSize;
	}
} // end