.nav-filter {
  margin: 0.25rem 0 0.75rem;
}

.nav-filter-label {
  clip: rect(0 0 0 0);
  border: 0;
  height: 1px;
  margin: -1px;
  overflow: hidden;
  padding: 0;
  position: absolute;
  white-space: nowrap;
  width: 1px;
}

#nav-filter-input {
  background: var(--color-white, #fff);
  border: 1px solid var(--nav-border-color, #c7c7c7);
  border-radius: 0.25rem;
  color: var(--body-font-color, #151515);
  font-family: inherit;
  font-size: 0.83333rem;
  height: 2rem;
  padding: 0.25rem 0.5rem;
  width: 100%;
}

#nav-filter-input:focus {
  border-color: var(--link-font-color, #06c);
  outline: 2px solid var(--link-font-color, #06c);
  outline-offset: 1px;
}

.nav-filter-empty {
  color: var(--nav-muted-color, #4d4d4d);
  font-size: 0.83333rem;
  margin: 0.35rem 0 0;
}

.nav-item.is-filtered-out {
  display: none !important;
}