function change_font_size(the_size) {
    switch(the_size) {
        case 'smaller':
            document.body.style.fontSize = '50%';
            break;
        case 'reset':
            document.body.style.fontSize = '62.5%';
            break;
        case 'larger':
            document.body.style.fontSize = '75%';
            break;
    }  
}