function increaseFont(){jQuery("body").each(function(){var a=parseInt(jQuery(this).css("font-size"));a=a+2;if(a>18)a=18;$.cookie("textsize",a,{expires:7,path:"/"});jQuery(this).css({"font-size":a+"px"})})}function decreaseFont(){jQuery("body").each(function(){var a=parseFloat(jQuery(this).css("font-size"));a=a-2;if(a<10)a=10;$.cookie("textsize",a,{expires:7,path:"/"});jQuery(this).css({"font-size":a+"px"})})}function resetFont(){jQuery("body").each(function(){var a=12;$.cookie("textsize",a,{expires:7,path:"/"});jQuery(this).css({"font-size":a+"px"})})}function setupFont(){if($.cookie("textsize")==null)return;jQuery("body").each(function(){var a=parseInt($.cookie("textsize"));if(a<10)a=10;if(a>18)a=18;jQuery(this).css({"font-size":a+"px"})})};