// FONT SIZE MANAGEMENT 
function Bigger() {
	ACTUAL_FONTSIZE++;
	if (ACTUAL_FONTSIZE > LARGEST_FONTSIZE) { ACTUAL_FONTSIZE = LARGEST_FONTSIZE }
	$('textsize').className = 'ts-'+ACTUAL_FONTSIZE;
}

function Smaller() {
	ACTUAL_FONTSIZE--;
	if (ACTUAL_FONTSIZE < SMALLEST_FONTSIZE) { ACTUAL_FONTSIZE = SMALLEST_FONTSIZE }
	$('textsize').className = 'ts-'+ACTUAL_FONTSIZE;
}

ACTUAL_FONTSIZE = 11;
SMALLEST_FONTSIZE = 9;
LARGEST_FONTSIZE = 16;