<!--
var isBigText = location.search.indexOf('bigtext');

if (navigator.appName.indexOf('Microsoft') > -1 || navigator.userAgent.indexOf('MSIE') > -1 ) {
	if (isBigText > -1)	{
		document.write('<link rel="stylesheet" href=/styles-bigtext.css type="text/css">');
	}
	else	{
		document.write('<link rel="stylesheet" href=/styles.css type="text/css">');
	}
}
else {
	if (isBigText > -1)	{
		document.write('<link rel="stylesheet" href=/no-iestyles-bigtext.css type="text/css">');
	}
	else	{
		document.write('<link rel="stylesheet" href=/no-iestyles.css type="text/css">');
	}
}
//-->
