// MSIE4 is better off with a simple stylesheet
if(navigator.userAgent.indexOf('MSIE 4.')>-1){
	stylesfold0 = '';
	stylesdrop0 = '';
	document.writeln('<link href="http://web.huisstijl.tudelft.nl/css/styles_ns4.css" rel="stylesheet" type="text/css" />')
}
// browser specific cosmetic fixes
if(navigator.userAgent.indexOf('Gecko')>-1) document.writeln("<style>#listmenu1 ul ul {margin : -20px 0px 0px 128px;}</style>");
if(navigator.userAgent.indexOf('MSIE')>-1 && navigator.userAgent.indexOf('Mac')>-1) document.writeln("<style>#listmenu0 ul li a {line-height : normal; width : auto;}</style>");
if(navigator.userAgent.indexOf('MSIE 5.')>-1 && navigator.userAgent.indexOf('Mac')<0) document.writeln("<style>#foldout0 ul ul li{margin-left : -16px;}</style>");
if(document.all && navigator.userAgent.indexOf('Mac')<0) {document.writeln('<style>#docoptions0 {position : relative;}</style>')}