// JavaScript Document

function fontlarge(){
document.getElementById('contents').style.fontSize = "120%";
}
function fontmedium(){
document.getElementById('contents').style.fontSize = "100%";
}
function fontsmall(){
document.getElementById('contents').style.fontSize = "80%";
}