/* verschiedene Stylesheets für NS und IE wegen Schriftgröße */

if(navigator.appName.indexOf("Microsoft Internet Explorer") != -1)
{
document.write("<link rel=stylesheet type=text/css href=stylpxie.css>");
}
else
{
document.write("<link rel=stylesheet type=text/css href=stylpxns.css>");
}