body { touch-action: manipulation; }
.nav-button, .quiet-button, .button { min-height: 44px; }

@media (max-width: 900px) {
  .mobile-menu button { font-size: 0 !important; }
  .mobile-menu-label { font-size: 13px; }
  .toc { max-width: 100vw; overflow: hidden; }
  .toc nav { min-width: 0; }
}