/* DO NOT TOUCH! - this was really nasty to discover */
 
var agt=navigator.userAgent.toLowerCase();

if(agt.indexOf("tv") != -1)
{
	document.write('<'+'link rel="stylesheet" type="text/css" href="styles/webtv.css" />');
	/* only way to get webtv css is through this, media="tv,webtv" doesn't work*/
}