var currentFontSize = 4;function revertStyles(fontsize){	currentFontSize = fontsize;	changeFontSize(0);}function changeFontSize(sizeDifference){	//get css font size	var rule = getRuleByName("body.fs" + (currentFontSize + sizeDifference));	if (rule){		document.body.style.fontSize = rule.style.fontSize;		currentFontSize = currentFontSize + sizeDifference;		createCookie("FontSize", currentFontSize, 365);	}	return;	};function getRuleByName(ruleName){	for (i=0; i<document.styleSheets.length; i++){		var style = document.styleSheets[i];		var rules = style.cssRules?style.cssRules:style.rules;		if (rules){			for (j = 0; j<rules.length; j++){				if (rules[j].selectorText.trim().toUpperCase() == ruleName.trim().toUpperCase()){					return rules[j];				}			}		}	}	return null;}function setActiveStyleSheet(title) {	createCookie("ColorCSS", title, 365);	window.location.reload();	return;  var i, a, main, arr;  arr = document.getElementsByTagName("link");  for(i=0; (a = arr[i]); i++) {  	var ltitle = a.getAttribute("title");    if(a.getAttribute("rel").indexOf("style") != -1 && ltitle) {      a.disabled = true;      if(ltitle == title) a.disabled = false;    }  }  createCookie("ColorCSS", title, 365);}function createCookie(name,value,days) {  if (days) {    var date = new Date();    date.setTime(date.getTime()+(days*24*60*60*1000));    var expires = "; expires="+date.toGMTString();  }  else expires = "";  document.cookie = name+"="+value+expires+"; path=/";}function setScreenType(screentype){	bclass = document.body.className.trim();	if (bclass.indexOf(' ') > 0){		bclass = bclass.replace(/^\w+/,screentype);	}else{		bclass = screentype + ' ' + bclass;	}	document.body.className = bclass;	createCookie("ScreenType", screentype, 365);}String.prototype.trim = function() { return this.replace(/^\s+|\s+$/g, ""); };function changeToolHilite(oldtool, newtool) {	if (oldtool != newtool) {		if (oldtool) {			oldtool.src = oldtool.src.replace(/-hilite/,'');		}		newtool.src = newtool.src.replace(/.gif$/,'-hilite.gif');	}}