html { scroll-behavior: smooth; }
  @media (prefers-reduced-motion: reduce) { html { scroll-behavior: auto; } }
  .flagged { outline: 1px solid #E2574C; background: #3A1A21; }
  .clause { transition: background-color .3s ease, outline-color .3s ease; border-radius: .5rem; }
  .fade-in { animation: fadeIn .4s ease-out both; }
  @keyframes fadeIn { from { opacity: 0; transform: translateY(8px); } to { opacity: 1; transform: none; } }
  @media (prefers-reduced-motion: reduce) { .fade-in { animation: none; } }
  .num { font-feature-settings: "tnum" 1; }