function fnt_tall() { document.body.style.fontSize="15px"; }
function fnt_middle() { document.body.style.fontSize="14px"; }
function fnt_small() { document.body.style.fontSize="13px"; }