//browser-dependent div stuff here
//copyright 2001 Robert M. Hanson, St. Olaf College, Northfield, MN.
//initdivs() should be called by body onload=

function initdivs(){
isnn4=(document.layers?true:false)
isie4=(document.all?true:false)
if(!isnn4 && !isie4)alert("This page will work properly only with browsers capable of supporting layers.")
}

function findlayer(name){
 if(isnn4)return document.layers[name]
 if(isie4)return eval('document.all.' + name)
 return false
}

function writediv(name,sinfo){
 var ds=findlayer(name)
 if(isnn4){
	ds.document.open()
	ds.document.write(sinfo)
 	ds.document.close()
 }else{
	ds.innerHTML=sinfo
 }
}

function writedivtextarea(name,stextarea,sinfo){
 if(isnn4){
	var ds=findlayer(name)
	var d=eval("ds.document."+stextarea)
 }else{
	var d=eval("document."+stextarea)
 }
 d.value=sinfo
}

function movedivleft(name,left){
 var ds=findlayer(name)
 if(isnn4){
	var d=ds
 }else{
	var d=ds.style
 }
 d.left=left
}

function getdivlistbox(sdiv,slistbox){
 if(isnn4){
	//no var here!
	ds=findlayer(sdiv)
	return eval("ds.document."+slistbox)
 }
 return eval("document."+slistbox)
}