<!-- Start Hide
if(navigator.userAgent.indexOf('WebTV') == -1){ /* WebTV doesn't support stylesheet switching */
	var small = 'small';
	var medium = 'medium';
	var large = 'large';
	var huge = 'huge';
	document.write('<p>');
	document.write('<div id="textsize" align="center">');
	document.write('text size:');
	document.write('<br/>');
	document.write("<a id='styleSheetSmall' href='#' onClick='setActiveStyleSheet(small); return false;'>small</a> | ");
	document.write("<a id='styleSheetMedium' href='#' onClick='setActiveStyleSheet(medium); return false;'>medium</a> | ");
	document.write("<a id='styleSheetLarge' href='#' onClick='setActiveStyleSheet(large); return false;'>large</a> | ");
	document.write("<a id='styleSheetHuge' href='#' onClick='setActiveStyleSheet(huge); return false;'>huge</a>");
	document.write('</div>');
	document.write('<p>');
	}
// End -->
