// JavaScript Document
var min=8;
var max=18;
function increaseFontSize() {
   var p = document.getElementsByTagName('p');
   for(i=0;i<p.length;i++) {
      if(p[i].style.fontSize) {
         var s = parseInt(p[i].style.fontSize.replace("px",""));
      } else {
         var s = 12;
      }
      if(s!=max) {
         s += 1;
      }
      p[i].style.fontSize = s+"px"
   }
}
function decreaseFontSize() {
   var p = document.getElementsByTagName('p');
   for(i=0;i<p.length;i++) {
      if(p[i].style.fontSize) {
         var s = parseInt(p[i].style.fontSize.replace("px",""));
      } else {
         var s = 12;
      }
      if(s!=min) {
         s -= 1;
      }
      p[i].style.fontSize = s+"px"
   }   
}
// global variables to control menu links et al.
var defaultLink = null;
var delayedOut = null;

function initMenus(defaultMenu)
{
    var navdiv = document.getElementById("dolphinnav");
    var navlinks = navdiv.getElementsByTagName("a");
    // just in case no default was passed, choose first link:
    defaultLink = navlinks[0];
    // now attach events to all links
    for ( var n = 0; n < navlinks.length; ++n )
    {
        var link = navlinks[n];
        // if this link matches defaultMenu, make it defaultLink:
        if ( link.getAttribute("rel") == defaultMenu ) {defaultLink = link;}

        link.onmouseover = function() {menulinkover(this);}
        link.onmouseout  = menulinkout;
    }
    var navinner = document.getElementById("dolphin_inner");
    var innerdivs = navinner.getElementsByTagName("div");
    for ( var i = 0; i < innerdivs.length; ++i )
    {
        var div = innerdivs[i];
        div.onmouseover = innermenuover;
        div.onmouseout  = innermenuout; 
    }
    menulinkover(defaultLink);
}

function menulinkover(link)
{
    if ( delayedOut !== null ) {clearTimeout(delayedOut);}
    delayedOut = null;

    var navdiv = document.getElementById("dolphinnav");
    var navlinks = navdiv.getElementsByTagName("a");
    for ( var n = 0; n < navlinks.length; ++n )
    {
        var nl = navlinks[n];
        nl.className = ( link == nl ? "current" : "" );
    }

    var rel = link.getAttribute("rel");
    var navinner = document.getElementById("dolphin_inner");
    var innerdivs = navinner.getElementsByTagName("div");
    for ( var i = 0; i < innerdivs.length; ++i )
    {
        var div = innerdivs[i];
        div.style.display = ( div.id == rel ? "block" : "none" );
    }
}
function menulinkout( )
{
    if ( delayedOut !== null ) {clearTimeout(delayedOut);}
    delayedOut = setTimeout( showDefaultLink, 300 );
}
function showDefaultLink( )
{
    menulinkover(defaultLink);
}
function innermenuover( )
{
    if ( delayedOut !== null ) {clearTimeout(delayedOut);}
    delayedOut = null;
}
function innermenuout( )
{
    if ( delayedOut !== null ) {clearTimeout(delayedOut);}
    delayedOut = setTimeout( showDefaultLink, 300 );
}