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

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

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

function increaseFontSize(st) {
	var currentFontSize = $(st).css('font-size');
    var currentFontSizeNum = parseFloat(currentFontSize, 10);
    var newFontSize = currentFontSizeNum*1.2;
	if (newFontSize > fmax) newFontSize = fmax;
    $(st).css('font-size', newFontSize);
    return false;
}

function decreaseFontSize(st) {
	var currentFontSize = $(st).css('font-size');
    var currentFontSizeNum = parseFloat(currentFontSize, 10);
    var newFontSize = currentFontSizeNum*0.8;
	if (newFontSize < fmin) newFontSize = fmin;
    $(st).css('font-size', newFontSize);
    return false;
}
-->