/* One stylesheet, no dependencies, no fonts fetched. A page that explains a
   provenance identifier should not be loading assets from four other hosts. */
:root {
  --bg: #fbfaf8; --fg: #1a1a19; --muted: #5c5b57; --rule: #e2e0db;
  --code-bg: #f2f0ec; --accent: #8a4b2a; --ok: #2f6f4f; --warn: #8a6d1f;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #14141a; --fg: #e8e6e1; --muted: #a3a09a; --rule: #2c2c34;
    --code-bg: #1d1d24; --accent: #d59a72; --ok: #7fbf9b; --warn: #d9bb63;
  }
}
* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }
body {
  margin: 0; background: var(--bg); color: var(--fg);
  font: 16px/1.65 ui-serif, Georgia, "Times New Roman", serif;
}
main { max-width: 46rem; margin: 0 auto; padding: 3.5rem 1.25rem 6rem; }
header.site { border-bottom: 1px solid var(--rule); }
header.site div { max-width: 46rem; margin: 0 auto; padding: 1rem 1.25rem;
  display: flex; gap: 1.25rem; align-items: baseline; flex-wrap: wrap; }
header.site a { color: var(--muted); text-decoration: none; font-size: .875rem; }
header.site a:hover { color: var(--fg); }
header.site a.brand { color: var(--fg); font-weight: 600; font-size: 1rem; letter-spacing: -.01em; }
h1 { font-size: 2rem; line-height: 1.2; letter-spacing: -.02em; margin: 0 0 .5rem; }
h2 { font-size: 1.3rem; margin: 2.75rem 0 .75rem; letter-spacing: -.01em; }
h3 { font-size: 1.05rem; margin: 2rem 0 .5rem; }
.lede { font-size: 1.15rem; color: var(--muted); margin: 0 0 2rem; }
a { color: var(--accent); }
code, pre, .mono { font-family: ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, monospace; }
code { background: var(--code-bg); padding: .1em .35em; border-radius: 3px; font-size: .875em; }
pre { background: var(--code-bg); padding: 1rem; border-radius: 6px; overflow-x: auto;
  font-size: .8125rem; line-height: 1.55; }
pre code { background: none; padding: 0; font-size: inherit; }
table { border-collapse: collapse; width: 100%; font-size: .9rem; margin: 1rem 0; display: block; overflow-x: auto; }
th, td { text-align: left; padding: .5rem .6rem; border-bottom: 1px solid var(--rule); vertical-align: top; }
th { font-weight: 600; white-space: nowrap; }
.note { border-left: 3px solid var(--rule); padding: .25rem 0 .25rem 1rem; color: var(--muted); margin: 1.5rem 0; }
.never { border-left-color: var(--warn); }
footer { border-top: 1px solid var(--rule); margin-top: 4rem; padding-top: 1.5rem;
  color: var(--muted); font-size: .875rem; }
ul { padding-left: 1.2rem; }
li { margin: .35rem 0; }