// 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 );

}