var FONT_BIGGER=1;
var FONT_SMALLER=-1;
var FONT_NORMAL=0;

var FONT_DEFAULT=12;
var FONT_CURRENT=FONT_DEFAULT;
var FONT_MAX=16;
var FONT_MIN=8;
var FONT_STEP=1;

function setFont(type){
	switch(type){
		case FONT_BIGGER:
			if(FONT_CURRENT+FONT_STEP<=FONT_MAX){
				FONT_CURRENT=FONT_CURRENT+FONT_STEP;
			}
			break;
		case FONT_SMALLER:
			if(FONT_CURRENT-FONT_STEP>=FONT_MIN){
				FONT_CURRENT=FONT_CURRENT-FONT_STEP;
			}
			break;
		case FONT_NORMAL:
			FONT_CURRENT=FONT_DEFAULT;
			break;
	}
	$('body').css('font-size', ''+FONT_CURRENT+"px");
	
}