/*
 * css/docs.css: the one rule the developer docs (/developers) need that css/site.css does not carry.
 * Everything else on the page is a utility that already exists in site.css.
 */

/* site.css scrolls every in-page jump smoothly (html { scroll-behavior: smooth }). The docs are a long page full
   of #section links, so people who ask for less motion get an instant jump instead. */
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
}