if ( navigator.userAgent.indexOf('WebTV') != -1 ) {
	document.write(
	"<style type=\"text/css\">\n"
	+ "#main { margin-left: 5px; margin-right: 5px; }\n"
	+ "#side { position: relative; }\n"
	+ "</style>\n");
}
