// JavaScript Document
<!--
function MM_findObj(n, d) { //v4.01
  var p,i,x;  if(!d) d=document; if((p=n.indexOf("?"))>0&&parent.frames.length) {
    d=parent.frames[n.substring(p+1)].document; n=n.substring(0,p);}
  if(!(x=d[n])&&d.all) x=d.all[n]; for (i=0;!x&&i<d.forms.length;i++) x=d.forms[i][n];
  for(i=0;!x&&d.layers&&i<d.layers.length;i++) x=MM_findObj(n,d.layers[i].document);
  if(!x && d.getElementById) x=d.getElementById(n); return x;
}

function MM_changeProp(objName,x,theProp,theValue) { //v6.0
  var obj = MM_findObj(objName);
  if (obj && (theProp.indexOf("style.")==-1 || obj.style)){
    if (theValue == true || theValue == false)
      eval("obj."+theProp+"="+theValue);
    else eval("obj."+theProp+"='"+theValue+"'");
  }
}

function doScroll(){
	var el=document.getElementById("menu_float")
	var scrollY
	if (document.documentElement && document.documentElement.scrollTop)
	{
		scrollY=document.documentElement.scrollTop
	} else {
		scrollY=document.body.scrollTop
	}
	scrollY=(document.all)?scrollY:scrollY+'px'
	el.style.top = scrollY;
}

window.onscroll=doScroll

var tgs = new Array( 'div','td','tr','p');
//Specify spectrum of different font sizes:
var szs = new Array( 'xx-small','x-small','small','medium','large','x-large','xx-large' );
var startSz = 2;
function setStyle(id) {
    trgt='PageContent'
    if (!document.getElementById) return
    var d = document,cEl = null,sz = startSz,i,j,cTags;

    sz = id;
    if (sz<0) sz = 0;
    if (sz>6) sz = 6;
    startSz = sz;

    if (!(cEl = d.getElementById(trgt))) cEl = d.getElementsByTagName(trgt)[0];

    cEl.style.fontSize = szs[ sz ];

    for (i=0;i<tgs.length;i++) {
        cTags = cEl.getElementsByTagName(tgs[i]);
        for (j=0;j<cTags.length;j++) cTags[j].style.fontSize = szs[sz];
    }
}
function menupos() {
	var d=document.getElementById("menu_float")
	d.style.display="block"
}
window.onresize=menupos

//-->