js.hideLoginBox = function () {
  if ($('user-login-form') && $$('.login-fail').length == 0) {
    $('user-login-form').addClass('hidden');
    $$('#nav-login a')[0].addEvent('click', function(event){$('user-login-form').removeClass('hidden'); return false;});
    $$('#nav-login a')[0].addEvent('keypress', function(event){
      if(event.key == 'return') {
        $('user-login-form').removeClass('hidden');
        return false;
      }
    });
  }
}

window.addEvent('domready', js.hideLoginBox);