var currentFontSizeElement;var currentFontColorElement;var currentFontTypeElement;var currentFontSize = 100;var currentFontColor = '';var currentFontType = '';// reinitialize currentFontSize and currentFontSizeElement in commonBodyOnLoad, common.js// changeFontSizeStart() was declared in headScript.jspfunction decreaseFontSize() {changeFontSize(-5);}function increaseFontSize() {changeFontSize(+5);}function defaultFontSize() {currentFontSizeElement.value = '';}function changeFontSize() {currentFontSize += arguments[0];currentFontSizeElement.value = currentFontSize+"%";try {document.body.style.fontSize = currentFontSize+"%";}catch(err){printOnErrorBox(err);}}function changeFontSizeInit() {currentFontSizeElement = document.getElementById(currentFontSizeElementId);currentFontSize = parseInt(currentFontSizeElement.value);if(isNaN(currentFontSize)) {currentFontSize = 100;document.body.style.fontSize = currentFontSize+"%";}else{document.body.style.fontSize = currentFontSize+"%";}}function changeFontSizeStart() {try {document.body.style.fontSize = currentFontSize+"%";}catch(err){printOnErrorBox('<b>'+document.getElementById('bannerBar:msgFontResizingIsNotSupported').value+'</b>');}}function changeFontSizeClose() {}/* color */function changeFontColorMenu(value) {changeFontColor(value);}function changeFontColor() {currentFontColor = arguments[0];currentFontColorElement.value = currentFontColor;var allTags = document.getElementsByTagName('*');for(var i = 0; i < allTags.length; i++){if(allTags[i].className.indexOf("excludeFontColorStyling")==-1) {try {allTags[i].style.color = currentFontColor;}catch(err){printOnErrorBox(err);}}    }}function changeFontColorInit() {currentFontColorElement = document.getElementById(currentFontColorElementId);currentFontColor = currentFontColorElement.value;if(!isEmpty(currentFontColor)) changeFontColor(currentFontColor);}function changeFontColorStart() {try {document.body.style.color = currentFontColor;		}catch(err){printOnErrorBox('<b>'+document.getElementById('bannerBar:msgColorChangingIsNotSupported').value+'</b>');}}function changeFontColorClose() {}/* type */function changeFontTypeMenu(value) {changeFontType(value);}function changeFontType() {currentFontType = arguments[0];currentFontTypeElement.value = currentFontType;var allTags = document.getElementsByTagName('*');for(var i = 0; i < allTags.length; i++){if(allTags[i].className.indexOf("excludeFontTypeStyling")==-1) {try {allTags[i].style.fontFamily = currentFontType;}catch(err){printOnErrorBox(err);}}    }}function changeFontTypeInit() {currentFontTypeElement = document.getElementById(currentFontTypeElementId);currentFontType = currentFontTypeElement.value;if(!isEmpty(currentFontType)) changeFontType(currentFontType);}function changeFontTypeStart() {try {document.body.style.fontFamily = currentFontType;		}catch(err){printOnErrorBox('<b>'+document.getElementById('bannerBar:msgFontTypeChangingIsNotSupported').value+'</b>');}}function changeFontTypeClose() {}