/* How licenses work — the public explainer. Layout, type and tokens follow /what-we-store/; the extra tokens are
   the tints the diagrams use. Diagrams are inline SVG styled from here, so they follow light and dark too. */
:root { color-scheme: light dark; --bg: #eef2fa; --paper: #ffffff; --line: #dbe3f2; --ink: #101728; --dim: #59657f; --hot: #1471c2; --code: #f4f7fd; --warm: #b8600b; --mint: #0f7a55; --round: 12px;
  --lane: #f5f8fd; --mint-bg: #e3f3ec; --warm-bg: #fbeedd; --dim-bg: #eaeef6; --hot-bg: #e4effa; }
@media (prefers-color-scheme: dark) { :root:not([data-theme="light"]) { --bg: #0d1020; --paper: #141a2c; --line: #242c46; --ink: #e9eefb; --dim: #94a1c2; --hot: #6fc8ff; --code: #0a0e1c; --warm: #ffab5e; --mint: #5fe0b0;
  --lane: #10162a; --mint-bg: #12322b; --warm-bg: #3a2816; --dim-bg: #222a44; --hot-bg: #14304a; } }
:root[data-theme="dark"] { --bg: #0d1020; --paper: #141a2c; --line: #242c46; --ink: #e9eefb; --dim: #94a1c2; --hot: #6fc8ff; --code: #0a0e1c; --warm: #ffab5e; --mint: #5fe0b0;
  --lane: #10162a; --mint-bg: #12322b; --warm-bg: #3a2816; --dim-bg: #222a44; --hot-bg: #14304a; }
* { box-sizing: border-box; }
body { margin: 0; background: var(--bg); color: var(--ink); font: 16px/1.55 -apple-system, BlinkMacSystemFont, "Segoe UI", system-ui, sans-serif; -webkit-font-smoothing: antialiased; }
main { max-width: 860px; margin: 0 auto; padding: 32px 16px 72px; }
a { color: var(--hot); }
h1 { font-size: 30px; letter-spacing: -.02em; margin: 0 0 6px; text-wrap: balance; }
h2 { font-size: 20px; letter-spacing: -.01em; margin: 44px 0 6px; }
h3 { font-size: 15px; margin: 0 0 4px; }
p { margin: 0 0 12px; max-width: 68ch; }
ul, ol { padding-left: 20px; margin: 0 0 12px; }
li { margin-bottom: 5px; }
.lede { font-size: 18px; color: var(--ink); }
.dim { color: var(--dim); font-size: 14.5px; }
code { font: 13.5px/1.4 ui-monospace, "SF Mono", Menlo, monospace; background: var(--code); border: 1px solid var(--line); border-radius: 5px; padding: 1px 5px; overflow-wrap: anywhere; }

/* status tags: every diagram and every table row carries one */
.tag { display: inline-block; font-size: 11px; font-weight: 650; letter-spacing: .03em; line-height: 1; padding: 4px 8px; border-radius: 999px; white-space: nowrap; vertical-align: 2px; }
.tag.b { background: var(--mint-bg); color: var(--mint); }
.tag.d { background: var(--warm-bg); color: var(--warm); }
.tag.l { background: var(--dim-bg); color: var(--dim); }
.legend { list-style: none; margin: 14px 0 0; padding: 0; display: grid; gap: 10px; grid-template-columns: repeat(auto-fit, minmax(240px, 1fr)); }
.legend li { background: var(--paper); border: 1px solid var(--line); border-radius: 10px; padding: 12px 14px; font-size: 14.5px; margin: 0; }
.legend li span:last-child { display: block; color: var(--dim); margin-top: 6px; }
.now { background: var(--paper); border: 1px solid var(--line); border-left: 3px solid var(--warm); border-radius: 10px; padding: 12px 16px; margin: 16px 0 0; }
.now p { margin: 0; max-width: none; }
.toc { columns: 2; column-gap: 28px; font-size: 15px; padding-left: 22px; margin-top: 8px; }
.toc li { break-inside: avoid; }

/* a diagram: the picture scrolls inside its own frame when the screen is narrower than it can be read at */
figure { margin: 14px 0 0; }
.figh { margin: 0 0 6px; font-size: 14.5px; max-width: none; }
.fig { background: var(--paper); border: 1px solid var(--line); border-radius: var(--round); overflow-x: auto; -webkit-overflow-scrolling: touch; }
.fig svg { display: block; width: 100%; min-width: 780px; height: auto; }
figcaption { color: var(--dim); font-size: 14.5px; margin: 8px 0 0; max-width: 72ch; }
.scrollhint { display: none; color: var(--dim); font-size: 12.5px; margin: 4px 0 0; }

/* what a diagram proves, and what it does not */
.pv { display: grid; grid-template-columns: 1fr 1fr; gap: 10px; margin: 12px 0 0; }
.pv > div { background: var(--paper); border: 1px solid var(--line); border-radius: 10px; padding: 12px 14px 4px; font-size: 14.5px; }
.pv > div:first-child { border-left: 3px solid var(--mint); }
.pv > div:last-child { border-left: 3px solid var(--warm); }
.pv ul { padding-left: 18px; margin: 0 0 8px; }
.pv li { margin-bottom: 6px; }

/* SVG parts */
svg text { font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", system-ui, sans-serif; font-size: 12.5px; fill: var(--ink); }
svg .h { font-weight: 650; }
svg .d { font-size: 11.5px; fill: var(--dim); }
svg .n { font-size: 11px; fill: var(--dim); }
svg .m { font-family: ui-monospace, "SF Mono", Menlo, monospace; font-size: 11px; fill: var(--dim); }
svg .lh { font-size: 10.5px; font-weight: 650; letter-spacing: .08em; fill: var(--dim); }
svg .lane { fill: var(--lane); stroke: none; }
svg .bx { fill: var(--paper); stroke: var(--line); stroke-width: 1.2; }
svg .bx.you { stroke: var(--mint); }
svg .bx.site { stroke: var(--warm); }
svg .bx.own { stroke: var(--hot); }
svg .bx.nb { stroke-dasharray: 5 4; }
svg .bx.nb:not(.you):not(.site):not(.own) { stroke: var(--dim); }
svg .ar { fill: none; stroke: var(--dim); stroke-width: 1.4; }
svg .ar.nb { stroke-dasharray: 5 4; }
svg .ahp { fill: var(--dim); }
svg .rule { stroke: var(--line); stroke-width: 1.2; fill: none; }
svg .bar { fill: var(--mint); }
svg .thin { stroke: var(--mint); stroke-width: 2; stroke-dasharray: 2 4; fill: none; }
svg .dot { fill: var(--dim); }
svg .tg rect { rx: 8px; }
svg .tg text { font-size: 10px; font-weight: 650; letter-spacing: .03em; text-anchor: middle; }
svg .tg.b rect { fill: var(--mint-bg); } svg .tg.b text { fill: var(--mint); }
svg .tg.d rect { fill: var(--warm-bg); } svg .tg.d text { fill: var(--warm); }
svg .tg.l rect { fill: var(--dim-bg); } svg .tg.l text { fill: var(--dim); }

/* tables */
.wrap { background: var(--paper); border: 1px solid var(--line); border-radius: var(--round); margin: 12px 0 0; overflow: hidden; }
table { width: 100%; border-collapse: collapse; font-size: 14.5px; }
th, td { text-align: left; vertical-align: top; padding: 11px 14px; border-top: 1px solid var(--line); }
thead th { border-top: 0; font-size: 11.5px; letter-spacing: .07em; text-transform: uppercase; color: var(--dim); font-weight: 650; }
td:first-child { font-weight: 600; width: 23%; }
td.st { width: 17%; font-size: 13.5px; line-height: 1.4; color: var(--dim); }
td.st .tag { margin-bottom: 4px; }
td.yn { width: 15%; }
.yes { color: var(--warm); font-weight: 650; }
.no { color: var(--mint); font-weight: 650; }
.gap { background: var(--paper); border: 1px solid var(--line); border-left: 3px solid var(--warm); border-radius: 10px; padding: 14px 16px 4px; margin-top: 12px; }
.gap li { margin-bottom: 9px; }
.cards { display: grid; gap: 10px; grid-template-columns: repeat(auto-fit, minmax(260px, 1fr)); margin: 12px 0 0; }
.cards > div { background: var(--paper); border: 1px solid var(--line); border-radius: 10px; padding: 12px 14px 2px; font-size: 14.5px; }
.cards p { max-width: none; }
footer { margin-top: 48px; padding-top: 18px; border-top: 1px solid var(--line); color: var(--dim); font-size: 14px; }

@media (max-width: 840px) { .scrollhint { display: block; } }
@media (max-width: 640px) {
  h1 { font-size: 26px; }
  .toc { columns: 1; }
  .pv { grid-template-columns: 1fr; }
  thead { display: none; }
  table, tbody, tr, td { display: block; width: 100% !important; }
  tr { border-top: 1px solid var(--line); padding: 10px 0; }
  tr:first-child { border-top: 0; }
  td { border: 0; padding: 3px 14px; }
  td[data-l]::before { content: attr(data-l) ": "; font-weight: 600; color: var(--dim); }
}

/* the Guide video (Entry 1) under the summary */
.guide { margin: 18px 0 0; }
.guide video { display: block; width: 100%; height: auto; aspect-ratio: 16 / 9; background: #0a0d12; border: 1px solid var(--line); border-radius: var(--round); }
.guide-cap { color: var(--dim); font-size: 14px; margin: 8px 2px 0; }
.chapters { list-style: none; padding: 0; margin: 10px 0 0; display: flex; flex-wrap: wrap; gap: 6px 14px; font-size: 14px; }
.chapters a { font-variant-numeric: tabular-nums; color: var(--hot); margin-right: 4px; }
.guide details { margin: 10px 0 0; background: var(--paper); border: 1px solid var(--line); border-radius: 10px; padding: 10px 14px; font-size: 14.5px; }
.guide summary { cursor: pointer; font-weight: 600; }
.guide details p { margin: 8px 0 0; }