var subNavDelay     = 1500; // Value is in miliseconds

var subNavActive    = false;

function subNavOn(index) {
    subNavActive = true;

    for (i = 0; i < 6; i ++) {
        document.getElementById("sub-" + i).style.display = "";
        document.getElementById("top-nav-" + i).className = "";
    }
    document.getElementById("sub-" + index).style.display = "block";

    document.getElementById("top-nav-" + index).className = "selected";
}

function subNavOff(index) {
    subNavActive = false;
    setTimeout("subNavOffQuick(" + index + ")", subNavDelay);
}


function subNavOffQuick(index) {
    if (subNavActive == false) {
        document.getElementById("sub-" + index).style.display = "";
        document.getElementById("top-nav-" + index).className = "";
    }
}

function subNavOffAll() {
    for (i = 0; i < 6; i ++) {
        document.getElementById("sub-" + i).style.display = "";
        document.getElementById("top-nav-" + i).className = "";
    }
}

function display_tab(x) {
    if (x ==1){
    document.getElementById("top-story-1").style.display = "block";
    document.getElementById("top-story-2").style.display = "none";
    document.getElementById("top-story-3").style.display = "none";

    }
    if (x ==2){
    document.getElementById("top-story-1").style.display = "none";
    document.getElementById("top-story-2").style.display = "block";
    document.getElementById("top-story-3").style.display = "none";
    }
    if (x ==3){
    document.getElementById("top-story-1").style.display = "none";
    document.getElementById("top-story-2").style.display = "none";
    document.getElementById("top-story-3").style.display = "block";
    }
}

var text_sizes  = new Array("10px","11px","12px","14px","16px","18px");
var text_index  = 1;
function text_smaller() {
    if (text_index) {
        text_index --;
        document.getElementById("story").style.fontSize = text_sizes[text_index];
    } else {
        alert("The text size cannot be decreased any smaller.");
    }
}
function text_larger() {
    if (text_index < text_sizes.length - 1) {
        text_index ++
        document.getElementById("story").style.fontSize = text_sizes[text_index];
    } else {
        alert("The text size cannot be increased any larger.");
    }
}