// Dynamic Fracture Laboratory JS functions. (C) 2002 by Max Timchenko

// Partially from:
	// Ultimate client-side JavaScript client sniff. Version 3.03
	// (C) Netscape Communications 1999-2001.
	var agt	      = navigator.userAgent.toLowerCase();
    var is_major  = parseInt(navigator.appVersion);
    var is_ie     = ((agt.indexOf("msie") != -1) && (agt.indexOf("opera") == -1));
   	var is_ie3    = (is_ie && (is_major < 4));
   	var is_ie4    = (is_ie && (is_major == 4) && (agt.indexOf("msie 4")!=-1) );		
   	var is_ie5up  = (is_ie && !is_ie3 && !is_ie4);
	
function adjustFloater() {
	if (is_ie5up) 
		floater = document.all.textfloater;
	else
		floater = document.getElementById("textfloater");

	floater.style.width = "100px";
	var floaterwidth = document.body.scrollWidth - 470;
	floater.style.width = floaterwidth+"px";
}