// check parent
//if (window.parent.name != "mainFrame"){
//	window.location = "/index.html?" + this.location.pathname;
//}

// two shylesheets for two kinds of screen
var loc_prefix = parent.location.pathname;
var li = loc_prefix.lastIndexOf("/") + 1
loc_prefix = loc_prefix.substr(0,li);

//alert (loc_prefix);

var html = "<link rel=\"stylesheet\" href=\"" + loc_prefix + "css/generiek.css\">";

if (screen.height < 700){
	html="<link rel=\"stylesheet\" href=\"" + loc_prefix + "css/generiek_small.css\">";
} 

if (screen.height > 800){
	html="<link rel=\"stylesheet\" href=\"" + loc_prefix + "css/generiek_big.css\">";
}

document.writeln(html);