// Header text size control.
function zoom()
{  
    // Get selected index of text size drop down.
    var selectedIndex = document.getElementById("TextSizeDropDown").selectedIndex;
    
    // Get all <p> elements within page content.
    var p = document.getElementById('middleCol').getElementsByTagName('p');
    
    // Normal
    if (selectedIndex == 1)
    {
        for (n=0; n<p.length; n++) 
        {
            p[n].style.fontSize = "75%";
        }
    }
    
    // Large
    if (selectedIndex == 2)
    {
        for (n=0; n<p.length; n++) 
        {
            p[n].style.fontSize = "90%";
        }
    }
    // X Large
    if (selectedIndex == 3)
    {
        for (n=0; n<p.length; n++) 
        {
            p[n].style.fontSize = "105%";
        }
    }
    // XX Large
    if (selectedIndex == 4)
    {
        for (n=0; n<p.length; n++) 
        {
            p[n].style.fontSize = "120%";
        }
    }
}