<!--
// HCC Text-resizer buttons - only show on DOM browsers.
if (document.body.style) {
	document.write('<div id="adjfont">');	
	document.write('Text size:');
	document.write('<ul title="Text size">');
	document.write('<li><a href="javascript:void(0);" id="s" title="small" onclick="txtSize(\'70%\');return false;">A</a></li>');
	document.write('<li><a href="javascript:void(0);" id="m" title="standard" onclick="txtSize(\'76%\');return false;">A</a></li>');
	document.write('<li><a href="javascript:void(0);" id="l" title="large" onclick="txtSize(\'100%\');return false;">A</a></li>');
	document.write('<li><a href="javascript:void(0);" id="xl" title="extra large" onclick="txtSize(\'120%\');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;
}
// -->