/*
* Increases and decreases the font size of browser text
* $Id: textsizer.js 585 2009-01-27 01:17:39Z the_ferg $
*/
var tgs = new Array("div"); var szs = new Array("10px", "13px", "18px", "22px", "26px", "30px", "34px"); var startSz = 1; function ts(h, c) { if (!document.getElementById) { return; } var b = document, e = null, d = startSz, f, g, a; d += c; if (d < 0) { d = 0; } if (d > 6) { d = 6; } startSz = d; if (!(e = b.getElementById(h))) { e = b.getElementsByTagName(h)[0]; } e.style.fontSize = szs[d]; for (f = 0; f < tgs.length; f++) { a = e.getElementsByTagName(tgs[f]); for (g = 0; g < a.length; g++) { a[g].style.fontSize = szs[d]; } } } function goToPage(a) { if (a != "") { window.location.href = a; } }