/* Author: TS */

function setFontSize(newSize) {
    $('body').removeClass('fontsize1').removeClass('fontsize2').removeClass('fontsize3').addClass('fontsize' + newSize);
    $('#sizer1').removeClass('active');
    $('#sizer2').removeClass('active');
    $('#sizer3').removeClass('active');
    $('#sizer' + newSize).addClass('active');
    $.get('/fontsize-' + newSize + '.html');
}