// CSS-Zuordnung nach Browsern
// F. Boller, 09.02.2002

if (navigator.appName.indexOf("Microsoft") !=-1){ // IE
	document.writeln('<LINK REL="STYLESHEET" TYPE="text/css" HREF="khk_ie.css" MEDIA="screen">');
} else
if (navigator.appName.indexOf("Netscape") !=-1){ // NS
	document.writeln('<LINK REL="STYLESHEET" TYPE="text/css" HREF="khk_moz.css" MEDIA="screen">');
}
else { // anderer
document.writeln('<LINK REL="STYLESHEET" TYPE="text/css" HREF="khk.css">');
}
document.writeln('<LINK REL="STYLESHEET" TYPE="text/css" HREF="khk.css" MEDIA="print">');