<!--
function s() { document.body.style.fontSize = "14px"; }
function m() { document.body.style.fontSize = "16px"; }
function l() { document.body.style.fontSize = "18px"; }
//-->