// Script som bestämmer vilket stylesheet som skall användas
var ns=document.all?false:true;
var mac=navigator.platform.search(/mac/gi)>-1?true:false;
var win=navigator.platform.search(/win/gi)>-1?true:false;

document.write('<style type="text/css" media="screen"> @import url(http://www.lucas.lth.se/css/');

if(mac){
	document.write(ns?'nsMac.css':'explorer.css');
}else{
	if(win){
		document.write(ns?'nsPc.css':'explorer.css');
	}else{
		document.write(ns?'unix.css':'unix.css');
	}		
}
document.write(');</style>');