/* Generated by build.py. One stylesheet, no fonts fetched from anywhere: a policy page should
   render before a network round trip and should not tell a third party who is reading it. */
:root {
  color-scheme: light dark;
  --ink: #17211d;
  --quiet: #5d6b65;
  --ground: #fbfaf7;
  --card: #ffffff;
  --brand: #1b4636;
  --rule: #e4e2dc;
  --warn-ink: #5a4412;
  --warn-ground: #fdf6e3;
  --warn-rule: #e8d9a8;
}
@media (prefers-color-scheme: dark) {
  :root {
    --ink: #edeeec;
    --quiet: #9aa5a0;
    --ground: #121512;
    --card: #191d1a;
    --brand: #8fd0b4;
    --rule: #2b312d;
    --warn-ink: #f0dfb4;
    --warn-ground: #241f14;
    --warn-rule: #4a3f22;
  }
}
* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }
body {
  margin: 0;
  padding: 0 20px env(safe-area-inset-bottom, 0px);
  background: var(--ground);
  color: var(--ink);
  font: 17px/1.65 -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
  overflow-wrap: break-word;
}
nav, main, footer { max-width: 40rem; margin: 0 auto; }
nav {
  display: flex;
  gap: 20px;
  align-items: center;
  padding: calc(20px + env(safe-area-inset-top, 0px)) 0 20px;
  font-size: 15px;
}
nav a { color: var(--quiet); text-decoration: none; }
nav a:hover { color: var(--brand); text-decoration: underline; }
nav a[aria-current] { color: var(--brand); font-weight: 600; }
main {
  background: var(--card);
  border: 1px solid var(--rule);
  border-radius: 16px;
  padding: 8px 28px 32px;
}
h1 { font-size: 30px; line-height: 1.2; letter-spacing: -0.02em; margin: 24px 0 8px; }
h2 { font-size: 20px; line-height: 1.3; margin: 34px 0 10px; }
h2 a { color: inherit; text-decoration: none; }
h2 a:hover { color: var(--brand); }
p { margin: 0 0 16px; }
ul { margin: 0 0 16px; padding-left: 1.25em; }
li { margin: 0 0 8px; }
strong { font-weight: 640; }
code {
  font: 0.88em ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  background: color-mix(in srgb, var(--brand) 10%, transparent);
  padding: 0.1em 0.35em;
  border-radius: 5px;
}
a { color: var(--brand); }
.banner {
  background: var(--warn-ground);
  border: 1px solid var(--warn-rule);
  color: var(--warn-ink);
  border-radius: 12px;
  padding: 12px 16px;
  font-size: 15px;
  margin: 16px 0 24px;
}
.lede { color: var(--quiet); }
footer { color: var(--quiet); font-size: 14px; padding: 20px 0 40px; }
@media (max-width: 480px) {
  body { padding: 0 12px; font-size: 16px; }
  main { padding: 4px 18px 24px; border-radius: 14px; }
  h1 { font-size: 26px; }
}
