// JavaScript Document

<!-- hide from old browsers
 
var fontSize = 12;

function FontSizeSet()
{
var el, n = 1;
while (el = document.getElementById('subpagenewscontent' + n++))
el.style.fontSize = fontSize + 'pt';
return false;
}

function SetFontLarger()
{
if (fontSize < 15)
fontSize++;
return FontSizeSet();
}

function SetFontSmaller()
{
if (fontSize > 7)
fontSize--;
return FontSizeSet();
}

//-->