#branding h1 {
  display: inline-block;
  color: #fff;
}

#branding nav {
  display: inline-block;
}

#branding nav a {
  margin-right: 1em;
  border-bottom: 1px solid rgba(255, 255, 255, 0.25);
}

.login #branding nav {
  display: none;
}

@media print {
  #header,
  #changelist .actions,
  #toggle-nav-sidebar,
  #nav-sidebar {
    display: none !important;
  }

  .main.shifted > #nav-sidebar + .content {
    max-width: 100% !important;
  }
}

.theme-toggle {
  display: none;
}