/*  functions.js
 *
 *    RJ van der Weide <rudiculous@rudiculous.net>
 *    2008 Sep 16 11:12:38
 *
 *  ---
 *  functions.js | global javascript functions used on Rudiculous.net
 *  ---
 */

function toggleMenu ()
/*  This function toggles the navigation menu on and off.
 */
{
  var menu    = document.getElementById("NavMe");
  var body    = document.getElementById("DocBo");
  var link    = document.getElementById("TLink");
  var sticker = document.getElementById("FLinkP");
  if (menu.style.display!='none')
  {
    menu.style.display='none';
    sticker.style.display='none';
    body.style.marginLeft='1em';
    link.innerHTML='Show navigation menu';
  }
  else
  {
    menu.style.display='';
    sticker.style.display='';
    body.style.marginLeft='';
    link.innerHTML='Hide navigation menu';
  }
  return false;
}

function stickMenu ()
/*  This function sticks or unsticks the navigation menu.
 */
{
  var menu = document.getElementById("NavMe");
  var link = document.getElementById("FLink");
  if (menu.style.position!='fixed')
  {
    menu.style.position='fixed';
    link.innerHTML='Unstick navigation menu';
  }
  else
  {
    menu.style.position='';
    link.innerHTML='Stick navigation menu';
  }
  return false;
}