<!--
// ::::::::::::::: fontSize changeButton

if(document.layers){
	document.write('');
}else{
	document.write('<ul>');
	document.write('<li id="txtSize">Character size</li>')
	document.write('<li id="font_s">')
	document.write('<a href="#font_s" onclick="setActiveStyleSheet(\'small\'); return false;" title="Small">Small</a></li>')
	document.write('<li id="font_m">')
	document.write('<a href="#font_m" onclick="setActiveStyleSheet(\'medium\'); return false;" title="Medium">Medium</a></li>')
	document.write('<li id="font_l">')
	document.write('<a href="#font_l" onclick="setActiveStyleSheet(\'large\'); return false;" title="Large">Large</a></li>')
	document.write('</ul>');
}
//-->
