/* platformend: the Plan sub-page (#platform/plan): five demonstrations, the work plan, the proof statements by wave, what one proof
   costs (measured) and the limits. Core components (.page-head .sheet .sheet-head .ftabs .readout .rd-cell .meter .tag .opt .act .acts
   .range .key .note details.sources) and kit's .dg diagrams are used as they are; this file lays them out and draws the module's own marks
   (item squares, the run's time axis, the sample grid, the proof-size chart).
   v5, the films' figure grammar: warm-grey bars and squares with a fine ink outline (--pe-ol), ink for the personal data and the
   strong marks, orange only for the key element; the demonstration's one-line description is a Newsreader italic caption. */

.pe { --pe-ol: rgba(17, 17, 17, .5); --pe-ol2: rgba(17, 17, 17, .28); }
.pe sup { font-size: .68em; line-height: 0; }
.pe-ref { font-family: var(--mono); color: var(--tone); text-decoration: none; padding: 0 1px; }
.pe-ref:hover { text-decoration: underline; }
/* Opens like the Modules list: a pixel plus that turns into a minus. */
.pe-pm { width: 10px; height: 10px; flex: none; display: inline-block; margin-left: 10px; vertical-align: .08em;
  background: linear-gradient(currentColor, currentColor) center / 10px 2px no-repeat, linear-gradient(currentColor, currentColor) center / 2px 10px no-repeat; }
.pe-wr.open .pe-pm { background: linear-gradient(currentColor, currentColor) center / 10px 2px no-repeat; }
.pe-wb { display: inline; margin: 0; padding: 0; border: 0; border-radius: 0; background: none; color: inherit; font: inherit; letter-spacing: inherit; text-align: left; cursor: pointer; transition: color var(--t1); }
.pe-wb:hover { color: var(--tone); }
.pe-nw { white-space: nowrap; }   /* the last word and the plus wrap together */

/* ---------- Demonstrations: figure tabs over one panel (head, chain, readout, data map, claims) ---------- */
.pe-fp { padding: 24px 32px 28px; outline: none; }
.pe-fp:focus-visible { box-shadow: inset 0 0 0 2px var(--focus); }
.pe-fl { margin: 6px 0 28px; max-width: 40em; color: var(--ink); font-family: var(--display); font-style: italic; font-size: 19px; line-height: 1.36; letter-spacing: -0.003em; font-variant-numeric: lining-nums; }
.pe-chain { min-height: 140px; }
.pe-chain .dg { margin: 0; }
#pe-ckey .key { margin-top: 14px; }
.pe-frd { margin-top: 32px; }
.pe-viz { margin-top: 32px; padding-top: 24px; border-top: 1px solid var(--line); }
.pe-fcl { margin-top: 32px; }
.pe-fcl .k { margin: 0 0 8px; }
/* One tag column per list, as wide as its widest tag (subgrid keeps the rows aligned). */
.pe-rows { list-style: none; margin: 0; padding: 0; display: grid; grid-template-columns: max-content minmax(0, 1fr); gap: 0 16px; border-top: 1px solid var(--line); }
.pe-rows li { display: grid; grid-column: 1 / -1; grid-template-columns: subgrid; padding: 12px 0; border-bottom: 1px solid var(--line); }
.pe-rows li > .tag { justify-self: start; align-self: start; margin-top: 2px; }
.pe-rows p { margin: 0; font-size: 15px; line-height: 1.5; }
.pe-df { display: flex; flex-wrap: wrap; justify-content: space-between; align-items: baseline; gap: 12px 24px; margin-top: 16px; }
.pe-df .fnote { margin: 0; flex: 1 1 28em; }
.pe-df .pe-acts { flex: 0 1 auto; min-width: 0; }

/* Data under a demonstration: a head row (label + options or a clock), the figure, one readout line, the legend */
.pe-vh { display: flex; flex-wrap: wrap; justify-content: space-between; align-items: center; gap: 10px 16px; margin-bottom: 14px; }
.pe-vh .k { margin: 0; }
.pe-vr { min-height: 22px; margin: 12px 0 12px; font-size: 15px; line-height: 1.45; }
.pe-vr .data { color: var(--tone); }
/* Demo 01: one measured run on a time axis. Label | track | value columns; the grid, the playhead and the axis share the track's edges. */
.pe-clk { color: var(--tone); font-variant-numeric: tabular-nums; }
.pe-tl { --lw: 148px; --vw: 64px; --g: 16px; position: relative; touch-action: pan-y; }
.pe-tax { position: relative; height: 16px; margin: 0 calc(var(--vw) + var(--g)) 6px calc(var(--lw) + var(--g)); font: 400 10.5px/1.3 var(--mono); letter-spacing: .05em; text-transform: uppercase; color: var(--muted); }
.pe-tax span { position: absolute; top: 0; transform: translateX(-50%); white-space: nowrap; }
.pe-tax span:first-child { transform: none; }
.pe-tgr, .pe-phw { position: absolute; top: 22px; bottom: 0; left: calc(var(--lw) + var(--g)); right: calc(var(--vw) + var(--g)); pointer-events: none; }
.pe-tgr i { position: absolute; top: 0; bottom: 0; width: 1px; background: var(--line); }
.pe-trs { position: relative; list-style: none; margin: 0; padding: 0; border-top: 1px solid var(--line); }
.pe-trs li { margin: 0; }
.pe-tr { display: grid; grid-template-columns: var(--lw) minmax(0, 1fr) var(--vw); align-items: center; gap: var(--g); width: 100%; min-height: 40px; margin: 0; padding: 8px 0;
  border: 0; border-bottom: 1px solid var(--line); border-radius: 0; background: none; color: inherit; font: inherit; text-align: left; cursor: pointer; transition: background var(--t1); }
.pe-tr:hover, .pe-tr.on { background: var(--sel); }
.pe-tr:focus-visible { outline: 2px solid var(--focus); outline-offset: -2px; }
.pe-trl { min-width: 0; font-size: 14px; line-height: 1.3; }
.pe-trk { position: relative; height: 16px; }
/* The kit's vocabulary (its key sits under the bars): a proof is ink (proof statement), the committed file the warm-grey atom
   of personal data with its ink outline, the rest hollow. */
.pe-tb { position: absolute; top: 0; bottom: 0; min-width: 2px; background: var(--blue-900); }
.pe-tb.k-data { background: var(--g3); box-shadow: inset 0 0 0 1px var(--ink); }
.pe-tb.k-rest { background: var(--white); box-shadow: inset 0 0 0 1.5px var(--line-2); }
.pe-trv { text-align: right; font-variant-numeric: tabular-nums; white-space: nowrap; }
.pe-ph { position: absolute; top: -8px; bottom: 0; width: 1.5px; margin-left: -.75px; background: var(--ink); opacity: 0; transition: opacity var(--t1); }
.pe-ph::before { content: ""; position: absolute; top: 0; left: -3.25px; width: 8px; height: 8px; background: var(--ink); }
.pe-tl.ph-on .pe-ph { opacity: 1; }
/* Sample grid: 10px squares, the films' atoms: consensus mid warm grey, partial pale, both with the fine ink outline; not typed
   hollow; an ink centre marks a public genome. */
.pe-gr { display: grid; grid-template-columns: repeat(auto-fill, 10px); gap: 2px; outline: none; }
.pe-gr:focus-visible { box-shadow: 0 0 0 2px var(--focus); }
.pe-gr i { position: relative; width: 10px; height: 10px; background: var(--g3); box-shadow: inset 0 0 0 1px var(--pe-ol); }
.pe-gr i.p { background: var(--g1); }
.pe-gr i.n { background: none; box-shadow: inset 0 0 0 1px var(--line-2); }
.pe-gr i.w::after { content: ""; position: absolute; inset: 3px; background: var(--ink); }
.pe-gr i.n.w::after { background: var(--ink); }
.pe-gr i.on { outline: 1.5px solid var(--ink); outline-offset: 1px; }
.pe .key i.pe-kw { background: var(--g3); box-shadow: inset 0 0 0 1px var(--pe-ol), inset 0 0 0 3px var(--g3), inset 0 0 0 5px var(--ink); }

/* ---------- Work plan: one line per module ---------- */
.pe-wp { container: pewp / inline-size; }
.pe-bar { display: flex; flex-wrap: wrap; align-items: center; gap: 12px 16px; padding: 16px 24px; background: var(--soft); border-bottom: 1px solid var(--line); }
.pe-w0, .pe-wr { display: grid; grid-template-columns: 36px minmax(0, 190px) minmax(0, 1fr) 88px 88px; grid-template-areas: "id name dev live plan" ". . det det det"; column-gap: 16px; padding: 0 24px; }
.pe-w0 { align-items: end; padding-top: 16px; padding-bottom: 10px; border-bottom: 1.5px solid var(--ink); }
.pe-w0 .k { white-space: nowrap; }
.pe-w0 b { font-weight: 400; color: var(--ink); margin-left: 6px; }
.pe-wl { list-style: none; margin: 0; padding: 0; }
.pe-wr { align-items: baseline; padding-top: 14px; padding-bottom: 14px; border-bottom: 1px solid var(--line); }
.pe-wid { grid-area: id; font-family: var(--mono); font-size: 13px; line-height: 1.4; color: var(--tone); }
.pe-wh { grid-area: name; margin: 0; min-width: 0; }
.pe-wdev { grid-area: dev; min-width: 0; }
.pe-wlv { grid-area: live; }
.pe-wpl { grid-area: plan; }
.pe-wc { display: flex; align-items: center; gap: 10px; min-width: 0; }
.pe-wlab { display: none; }
.pe-none { margin: 0; font-size: 15px; color: var(--muted); }
.pe-z { font-family: var(--mono); font-size: 13px; color: var(--muted); }
.pe-wd { grid-area: det; display: grid; grid-template-columns: repeat(auto-fit, minmax(200px, 1fr)); gap: 16px 32px; padding: 16px 0 4px; }
.pe-wd .k { margin: 0 0 8px; }
.pe-wd .pe-pol { grid-column: 1 / -1; margin: 0; }
.pe-wv { font-family: var(--mono); font-size: 11px; color: var(--muted); white-space: nowrap; }
.pe-wp .pe-wk { margin: 0; padding: 14px 24px 16px; }

/* Items: one square each, the status marks of the core tags (In development ink, Planned hollow); built items carry no mark in the
   lists and count in the figure's blue. */
.pe-it { list-style: none; margin: 0; padding: 0; display: flex; flex-wrap: wrap; gap: 4px 18px; font-size: 15px; line-height: 1.45; }
.pe-it li { display: inline-flex; align-items: baseline; gap: 0 8px; min-width: 0; }
.pe-it li > .pe-gate { min-width: 0; }
.pe-it li > .pe-wv { flex: none; margin-left: 0; }
.pe-it li::before, .pe-sq i { content: ""; flex: none; width: 8px; height: 8px; background: var(--ink); }
.pe-it li::before { align-self: flex-start; margin-top: calc((1.45em - 8px) / 2); }
.pe-it.live li::before { content: none; }
.pe-sq.live i { background: var(--blue-900); }
.pe-it.plan li::before, .pe-sq.plan i { background: none; box-shadow: inset 0 0 0 1.5px var(--ink); }
.pe-wd .pe-it { flex-direction: column; }
.pe-sq { display: inline-flex; gap: 3px; }
.pe-sq i { width: 10px; height: 10px; }
.pe-wl.pre .pe-sq { clip-path: inset(0 100% 0 0); }
/* A link to a proof statement: underlined in the tone colour; the selected statement's links get the selection tint. */
.pe-gate { display: inline; margin: 0; padding: 0 2px 0 0; border: 0; border-radius: 0; background: none; color: inherit; font: inherit; text-align: left; cursor: pointer;
  text-decoration: underline; text-decoration-color: var(--tone); text-decoration-thickness: 1.5px; text-underline-offset: 3px; transition: background var(--t1); }
.pe-gate:hover, .pe-gate.on { background: var(--sel); }

@container pewp (max-width: 640px) {
  .pe-bar { padding: 14px 16px; }
  .pe-w0 { display: none; }
  .pe-wr { grid-template-columns: 36px max-content max-content minmax(0, 1fr); grid-template-areas: "id name name name" ". dev dev dev" ". live plan ." ". det det det"; gap: 8px 20px; padding: 14px 16px; }
  .pe-wc .pe-wlab { display: block; }
  .pe-wdev .pe-wlab { display: block; margin-bottom: 4px; }
  .pe-wd { grid-template-columns: minmax(0, 1fr); padding-top: 8px; }
  .pe-wp .pe-wk { padding: 12px 16px 14px; }
}

/* ---------- Proof statements by wave: one column per wave, a readout cell per statement ---------- */
.pe-sf { margin: 0; container: pesf / inline-size; }
.pe-sn b { font-weight: 400; }
.pe-sg { display: grid; grid-template-columns: repeat(var(--cols, 5), minmax(0, 1fr)); gap: 24px 32px; }
.pe-sgc { min-width: 0; }
.pe-sgc > .k { margin: 0; }
.pe-sgn { margin: 2px 0 14px; min-height: 4.35em; font-size: 14px; line-height: 1.45; color: var(--muted); }
.pe-sgr { --n: 1; gap: 14px; }
.pe-sc { margin: 0 -8px; padding: 8px 8px 10px; cursor: pointer; outline: none; transition: background var(--t2) var(--ease), box-shadow var(--t2) var(--ease); }
.pe-sc .rd-v { white-space: normal; }
.pe-sc:hover, .pe-sc.in { background: var(--sel); }
.pe-sc.on { background: var(--sel); box-shadow: inset 0 0 0 1.5px var(--tone); }
.pe-sc:focus-visible { box-shadow: inset 0 0 0 2px var(--focus); }
.pe-mt { flex: 1; min-width: 0; display: flex; }
.pe-why { min-height: 172px; margin-top: 28px; padding-top: 16px; border-top: 1px solid var(--line); }
.pe-why > .k { margin: 0 0 8px; }
.pe-rf { display: flex; flex-wrap: wrap; align-items: center; gap: 6px 12px; margin: 0 0 6px; font-family: var(--display); font-size: 23px; line-height: 1.2; letter-spacing: -0.006em; }
.pe-rl { margin: 0; font-size: 15px; line-height: 1.5; color: var(--muted); max-width: 52em; }
.pe-srd { margin-top: 18px; }
.pe-srd .rd-v { white-space: normal; }
.pe-sf > .fnote { margin-top: 20px; }
@container pesf (max-width: 700px) {
  .pe-sg { grid-template-columns: minmax(0, 1fr); gap: 20px; }
  .pe-sgn { min-height: 0; margin-bottom: 10px; }
  .pe-sgr { --n: 2; }
}

/* ---------- Measured: padded proof size by number of sites (svg drawn 1:1 at the box width) ---------- */
.pe-mf { margin: 0; }
.pe-mc { display: grid; grid-template-columns: auto minmax(0, 1fr) 4ch; align-items: center; gap: 8px 16px; margin: 0 0 16px; }
.pe-mc .k { margin: 0; white-space: nowrap; }
.pe-mo { text-align: right; color: var(--tone); font: 400 26px/1 var(--display); letter-spacing: -0.01em; font-variant-numeric: lining-nums tabular-nums; }
.pe-mchart { position: relative; min-height: 252px; touch-action: pan-y; cursor: crosshair; user-select: none; -webkit-user-select: none; }
.pe-msvg .pe-band { fill: var(--signal-tint); }
.pe-msvg .pe-bandl { fill: var(--signal-ink); }
.pe-msvg .pe-gl { stroke: var(--line); stroke-width: 1px; }
.pe-msvg .pe-gl.cap { stroke: var(--signal); stroke-width: 1.5px; }
.pe-msvg .pe-yl.cap { fill: var(--ink); }
.pe-msvg .pe-xa { stroke: var(--ink); stroke-width: 1px; }
.pe-msvg .pe-step { fill: none; stroke-width: 1.75px; stroke-linejoin: miter; }
.pe-msvg .pe-step.t2, .pe-msvg .pe-pt.t2 { stroke: var(--blue-900); color: var(--blue-900); }
.pe-msvg .pe-step.t3, .pe-msvg .pe-pt.t3 { stroke: var(--blue-500); color: var(--blue-500); }
.pe-msvg .pe-hit { fill: var(--signal); stroke: var(--pe-ol); stroke-width: 1px; }
.pe-msvg .pe-pt { stroke: none; }
.pe-msvg .pe-pr { fill: currentColor; stroke: var(--pe-ol); stroke-width: 1px; }
.pe-msvg .pe-ab { fill: var(--white); stroke: currentColor; stroke-width: 1.5px; }
.pe-msvg .pe-pad { stroke: currentColor; stroke-width: 1px; stroke-dasharray: 2 3; }
.pe-msvg .pe-pt.on .pe-pr { stroke: var(--ink); stroke-width: 1.5px; }
.pe-msvg .pe-pt.on .pe-ab { stroke: var(--ink); }
.pe-msvg .pe-rf { fill: var(--white); stroke: var(--signal); stroke-width: 1.5px; }
.pe-msvg .pe-rfl { fill: var(--signal-ink); }
.pe-msvg .pe-cur { transition: transform var(--t1) var(--ease), opacity var(--t2); }
.pe-msvg .pe-cur line { stroke: var(--ink); stroke-width: 1px; }
.pe-mchart.gl .pe-cur { transition: opacity var(--t2); }
.pe-mchart.cur-off .pe-cur { opacity: 0; }
.pe-mrd { margin-top: 20px; }
.pe-mf > .fnote { margin-top: 20px; }

/* ---------- Limits: one line each ---------- */
.pe-lims { list-style: none; margin: 0; padding: 0; }
.pe-lims li { display: grid; grid-template-columns: 32px 21px minmax(0, 1fr) auto; align-items: center; gap: 4px 16px; padding: 14px 24px; border-bottom: 1px solid var(--line); }
.pe-lims li:last-child { border-bottom: 0; }
.pe-lims p { margin: 0; font-size: 17px; line-height: 1.4; }
.pe-g { display: block; width: 21px; height: 21px; color: var(--ink); transition: color var(--t1); }
.pe-g svg { display: block; }
.pe-lims li:hover .pe-g { color: var(--tone); }
.pe-lm { text-align: right; white-space: nowrap; }
.pe-lims + .sources li:focus { outline: none; }

/* ---------- Narrow ---------- */
@media (max-width: 760px) {
  .pe-fp { padding: 16px 16px 20px; }
  .pe-fl { margin-bottom: 20px; }
  .pe-rows { grid-template-columns: minmax(0, 1fr); }
  .pe-rows li { gap: 8px; }
  .pe-why { min-height: 0; }
  .pe-tl { --lw: 92px; --vw: 50px; --g: 10px; }
  .pe-trl { font-size: 12.5px; }
  .pe-lims li { grid-template-columns: 28px 21px minmax(0, 1fr); padding: 14px 16px; }
  .pe-lims .pe-lm { grid-column: 3; text-align: left; }
}