// Font resizing


_FontBase = 100;
_FontMax = 200;
_FontMin = 50;

/* This doesn't work yet

function cookie_load_font() {
	font_cookie_name = "fontSize";

	if (document.cookie.indexOf(font_cookie_name)>=0) {
		_FontBase = document.cookie.split(font_cookie_name + "=")[1]; 
		font_resize(cookieVal*1) // '*' for numeric conversion
	}
}

*/

function font_resize(target_id, delta) {
	_FontBase += delta;
     	if (_FontBase < _FontMax && _FontBase > _FontMin ) {
		if(document.getElementById(target_id)){
		    document.getElementById(target_id).style.fontSize = _FontBase + "%" ;
		    document.cookie = "fontSize="+ _FontBase +";path=/";
		}
	}
}