var FONTBIG=0;

function toggle_font(){
    var a=$('#fontbig a');
    if(FONTBIG === 0){
        a.html("文字を小さくする");
        a.addClass("fontsmall");
        $('body').css("font-size","135%");
        FONTBIG=1;
    }else{
        a.html("文字を大きくする");
        a.removeClass("fontsmall");
        $('body').css("font-size","100%");
        FONTBIG=0;
    }
}