function showLogin ()
{
  document.getElementById('faded-background').style.display = 'block';
}

function hideLogin ()
{
  document.getElementById('faded-background').style.display = 'none';
}

function toggleGreenMenu(id)
{
    var menu = document.getElementById(id);
    if (menu.style.display == 'none')
        menu.style.display = 'block';
    else
        menu.style.display = 'none';
}

function addLoadEvent(func)
{
    var oldonload = window.onload;
    if (typeof window.onload != "function")
        window.onload = func;
    else
        window.onload = function()
        {
            oldonload();
            func();
        }
}