// JavaScript Document
function increase(s)
{
	switch(s){
	  case 0:
	    $("body").css({'font-size':"11px"});
	  break;
	  case 1:
	    $("body").css({'font-size':"120%"});
	  break;
	  case 2:
	    $("body").css({'font-size':"140%"});
	  break;
	}
}