/*This first block is a way to munge my e-mail address so that it can't be conveniently harvested by spammbots*/

var v1 = "inf";
var v2 = "o";
var v3 = "@Flo";
var v4 = "wer";
var v5 = "Ele";
var v6 = "ctron";
var v7 = "ics.c";
var v8 = "om";

var me= v1 + v2 + v3 + v4 + v5 + v6 + v7+ v8;
var mail = "mailto:";


/*Find the size of the document space so one can adjust the style sheet to accommodate it*/
function docWidth()
{
	if (window.innerWidth > 0)
		return window.innerWidth;
	else if (document.documentElement.clientWidth > 0)
		return document.documentElement.clientWidth;
	else if (document.body.clientWidth > 0)
		return document.body.clientWidth;
	else
		return 400;
}

function docHeight()
{
	if (window.innerWidth > 0)
		return window.innerHeight;
	else if (document.documentElement.clientHeight > 0)
		return document.documentElement.clientHeight;
	else if (document.body.clientHeight > 0)
		return document.body.clientHeight;
	else
		return 500;
}


//Change style sheet for window size

function setStyleSize()
{
	var i, sheet;
	var width = docWidth();
	var style = "";
	
	//Find out if it is a 3-column page.  If it is, we'll have a div with a "center_content" id.
	//  Otherwise the variable we are creating will be null.
	//I just made up the standard that we know it's a 3-column sheet if it has a "center_content" div
	var threeCol = document.getElementById("center_content");
	
	
	//narrow sheets have fluid center, intermediate and large are both fixed 
	//content column, albeit different fixed widths.

	if (width <800)
	{
		threeCol==null ? style = "small" : style="small3";
	} 
	else if ((width>=800) && (width<1000))
	{
		threeCol==null ? style = "medium" : style = "medium3";	
	}
	else
	{
		threeCol==null ? style = "large" : style="large3";
	}


//pick all alternative style sheets that affect layout, but not visual effects
//  Don't really need the part about visible styles on this site.  Leave for now
//
	for (i=0; (sheet=document.getElementsByTagName("link")[i]); i++)
	{
		if ((sheet.getAttribute("rel").indexOf("style") != -1) && 
			(sheet.getAttribute("title")) && (sheet.getAttribute("title").indexOf("vis") == -1))
		{
			
			sheet.disabled = true;
			if(sheet.getAttribute("title") == style)
			{
				sheet.disabled = false;
			}
		}
	}
	
}  // end of setStyleSize() function