// Kleine CSS-Änderungen für den nicht standardkonformen IE

		if ( navigator.appVersion.indexOf( "MSIE" ) != -1 ) {
			if ( document.all ) {
				
				document.writeln ('<style type="text/css">');
				document.writeln ('td {font-size:0.8em;}');
				document.writeln ('th {font-size:0.8em;}');
				document.writeln ('</style>');
			
			}
		}