// JavaScript Document
// Java functions
  
  function navbuttonHover(clicked)
  {
      var clickedElement = document.getElementById(clicked);
      setNavButton(clickedElement);
      $(".navbutton").mouseenter(function(event)
      { 
        if(clickedElement != this)
        { 
          setNavButton(this);
        }
      });
      $(".navbutton").mouseleave(function(event)
      {
        if(clickedElement != this)
        { 
          resetNavButton(this);
        }
      });
      $(".navbutton").click(function(event)
      { 
        resetNavButton(clickedElement);
        clickedElement = this;
        $(this).css('height','45px');
        $(this).css('margin-top','0px');
      });
  }
  
  function setNavButton(element)
  {
    $(element).css('height','45px');
    $(element).css('margin-top','0px');
  }
  
  function resetNavButton(element)
  {
    $(element).css('height','35px');
    $(element).css('margin-top','10px');
  }