/* docs.css - reserved for future docs-specific styles. Currently empty by design;
   committed so the docroot-wide <link rel="stylesheet" href="/css/docs.css?v=1"> stops
   404ing (the link predates this file; it was never committed - caught 2026-09-07).
   Zero visual change. */