/* Navigation spacing for the tools index. */
body { padding-top: 64px; }
.navbar { padding: 0; }
.nav-container { min-height: 64px; }
@media (max-width: 768px) {
  body { padding-top: 56px; }
  .nav-container { min-height: 56px; padding: 0 16px; }
  .nav-logo a { font-size: 1.25rem; }
  .nav-menu { top: 56px; }
  .hamburger {
    min-width: 44px;
    min-height: 44px;
    align-items: center;
    justify-content: center;
  }
}