var fontsize = 16;

function smaller() {
    if (fontsize > 6) {
        fontsize--;
        document.getElementsByTagName("body")[0].style.fontSize = fontsize + "px";
    }
}

function bigger() {
    fontsize++;
    document.getElementsByTagName("body")[0].style.fontSize = fontsize + "px";
}

function defaultsize() {
    fontsize = 16;
    document.getElementsByTagName("body")[0].style.fontSize = fontsize + "px";
}

function printpage() {
    window.print();
}