/* Scroll polish: small navigation change and comfortable in-page anchor movement. */
@media (prefers-reduced-motion: no-preference) {
  html { scroll-behavior: smooth; scroll-padding-top: 100px; }
  .nav {
    transition: background-color 250ms ease, box-shadow 250ms ease;
  }
  .nav.lsr-nav-scrolled {
    background: rgba(255,255,255,.985);
    box-shadow: 0 9px 29px rgba(11,25,46,.09);
  }
}
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto !important; }
  .nav { transition: none !important; }
}