<!--
// show on DOM browsers only
if (document.body.style) {
	w=getCookie('TextSize');
	document.write('<div id="adjfont">');	
	document.write('Text size: ');
	document.write('<ul>');
	document.write('<li><a href="#" id="sml" title="Extra Small" onclick="txtSize(\'70%\');return false;">A</a></li>');
	document.write('<li><a href="#" id="std" title="Small" onclick="txtSize(\'76%\');return false;">A</a></li>');
	document.write('<li><a href="#" id="med" title="Standard"  onclick="txtSize(\'100%\');return false;">A</a></li>');
	document.write('<li><a href="#" id="lrg" title="Large" onclick="txtSize(\'140%\');return false;">A</a></li>');
	document.write('<li><a href="#" id="xlrg" title="Extra Large" onclick="txtSize(\'180%\');return false;">A</a></li>');
	document.write('</ul>');
	document.write('</div>');
}

function txtSize(sz) {
	if (sz) {
		setCookie('TextSize',sz,'','/');
	} else {
		sz=getCookie('TextSize');
	}
	if (sz) {
		document.body.style.fontSize=sz;
	}
	return false;
}
// -->
