<!--
var fmin = 11;
var fmax = 20;
var fscr = fmin;

$(document).ready(function(){
	var originalFontSize = $('html').css('font-size');
});

function resetFontSize(st) {
	$('html').css('font-size', originalFontSize);
}

function increaseFontSize(st) {
	fscr = fscr + 1;
	if (fscr > fmax) fscr = fmax;
    $(st).css('font-size', fscr+'px');
    return false;
}

function decreaseFontSize(st) {
	fscr = fscr - 1;
	if (fscr < fmin) fscr = fmin;
    $(st).css('font-size', fscr+'px');
    return false;
}
-->