function BrowserInfo() {
	var agent = window.navigator.userAgent;
	if (agent.indexOf("MSIE") != -1) {
		var start = agent.indexOf("MSIE");
		this.name = "MSIE";
		this.version = parseFloat(agent.substring(start + 5, agent.indexOf(";", start)));
	} else if (agent.indexOf("Firefox") != -1) {
		var start = agent.indexOf("Firefox");
		this.name = "Firefox";
		this.version = agent.substring(start + 8, agent.length);
		var firstDec = this.version.indexOf(".") + 1;
		while (this.version.indexOf(".", firstDec) != -1)
			this.version = this.version.substring(0, firstDec) + this.version.substring(firstDec).replace(".", "");
		this.version = parseFloat(this.version);
	} else {
		this.name = "Unknown";
		this.version = 0;
	}
}

var info = new BrowserInfo();

if (info.name == "MSIE" && info.version < 7)
	document.writeln('<link href="borders_flattened.css" rel="stylesheet" type="text/css" />');
else
	document.writeln('<link href="borders_dynamic.css" rel="stylesheet" type="text/css" />');
