// Laad png.css als IE wordt gebruikt. dit is nodig om PNG bestanden goed weer te geven
// en een paar css hacks om alles goed in IE te tonen.
with (navigator) {
    if (appName=="Microsoft Internet Explorer") {
        document.write('<link href="css/internetexplorer.css" rel="stylesheet" type="text/css">');
    } 
}