//Font change script for all pages !do not edit/delite this page!

<!--
var fontsize=11;
function textSize(dec) {
fontsize+=(dec==1)?1:(-1);
if (fontsize<1) fontsize=1;
document.getElementById("fontchange").style.fontSize=""+fontsize+"px";
}
//-->