#maintoggle {
  display: none;
}

header#top {
  #app-name-header {
    font-size: var(--text-xxl);
    margin: 0 30px;
  }

  menu {
    margin-top: -2px;
    background: var(--subnav-menu-background-color);
    padding: 6px 20px;

    form {
      display: inline-block;

      input {
        width: 9.5em;
      }
    }

    li {
      margin: 0;
      padding: 0;
      white-space: nowrap;
    }

    li a {
      padding: 6px 10px;
    }
  }

  menu.main {
    margin-top: 0;
    background: none;

    li.current a {
      background: var(--subnav-menu-background-color);
      font-weight: bold;
    }

    li#nav-login a {
      font-weight: bold;
      color: var(--login-link-color);
    }

    li.forum-updated a {
      font-style: italic;
    }
  }
}