<!-- 
/* ============================= start default.js */
// display.css is only loaded when javascript is enabled. This takes care of showing/hiding elements before initialization.
//document.write ('<link rel="stylesheet" href="style/default.css" type="text/css" />');


//======================

// standard show the >950 version; on intit browserWidth == 0 
checkWidth = function(){
	var browserWidth = getBrowserWidth();
	if (browserWidth < 950 && browserWidth!=0){
		adjustPageLayout("resolutie800",1);
	}
	if (browserWidth >= 950 || browserWidth==0){
		adjustPageLayout("resolutie800",0);	
	}
	// This function call has to take place after stylesheet has been switched therefor it is placed here (see 'placeDezeDiv.js' for definition)
	if(document.getElementById('rNav_dezepagina')){
		placeDezeDiv();
	}
};

adjustPageLayout = function(description,on_off){
   var link_elts = document.getElementsByTagName("link");
   for(var i=0; i<link_elts.length; i++){
		if(link_elts[i].getAttribute("title") == description && on_off == 0){ link_elts[i].disabled = true;}
		if(link_elts[i].getAttribute("title") == description && on_off == 1){
			link_elts[i].disabled = false;
		}
	}
	// adjust banner width
	var buBanner = document.getElementById('backupbanner');
	if (!buBanner) {
		return false;
	}
	if (on_off == 0) {
		buBanner.width = 928;
		buBanner.src=buBanner.src.replace("692","928");
	}
	else if (on_off == 1) {
		buBanner.width = 692;
		buBanner.src=buBanner.src.replace("928", "692");
	}
};

setCssAttributesForIE = function(){
	var link_elts = document.getElementsByTagName("link");
	for(var i=0; i<link_elts.length; i++){
		if(link_elts[i].getAttribute("title")=="resolutie800") { link_elts[i].disabled = true; }
	}
};

if(IE && !(Opera)) { 
	setCssAttributesForIE();	
}

/* ==================================================================================== */

//======================
addEvent(window,'load',checkWidth);
addEvent(window,'resize',checkWidth);

checkWidth();

/* ============================= einde default.js */

//-->
