function size_normal(){
	$("body").css('font-size','1.0em');
	$("body").css('line-height','14px');
}
function size_bigger(){
	$("body").css('font-size','1.2em');
	$("body").css('line-height','16px');
}
function size_biggest(){
	$("body").css('font-size','1.5em');
	$("body").css('line-height','20px');
}