/* nlir spec lab — a spec tree rail, then spec ⇄ prose panes for the selected rule. */

.lab { display: grid; grid-template-columns: 17rem minmax(0, 1fr); min-height: calc(100vh - var(--bar-h)); }
@media (max-width: 900px) { .lab { grid-template-columns: 1fr; } }

/* ---- rail ----------------------------------------------------------------- */
.rail { border-right: 1px solid var(--rule); background: var(--paper-2); padding: 1.2rem 0 2rem; position: sticky; top: var(--bar-h); align-self: start; max-height: calc(100vh - var(--bar-h)); overflow: auto; }
@media (max-width: 900px) { .rail { position: static; max-height: none; border-right: 0; border-bottom: 1px solid var(--rule); } }
.spec-title { font: 500 1.05rem/1.3 var(--serif); color: var(--ink); padding: 0 1.2rem .9rem; }
.dim { margin-top: .6rem; }
.dim-title { font: 600 .7rem/1 var(--sans); text-transform: uppercase; letter-spacing: .08em; color: var(--muted); padding: .7rem 1.2rem .45rem; }
.rule {
  display: grid; grid-template-columns: 4.6rem minmax(0, 1fr); gap: .4rem; width: 100%; text-align: left;
  border: 0; border-radius: 0; padding: .48rem 1.2rem; font: 400 .86rem/1.35 var(--sans); color: var(--ink-2);
  border-left: 2px solid transparent;
}
.rule .code { font: 500 .74rem/1.6 var(--mono); color: var(--muted); white-space: nowrap; }
.rule:hover { background: var(--paper); }
.rule.on { background: var(--paper); color: var(--ink); border-left-color: var(--accent); }
.rule.on .code { color: var(--accent-ink); }

/* ---- stage ----------------------------------------------------------------- */
.stage { padding: 1.6rem clamp(1rem, 3vw, 2.2rem) 4rem; min-width: 0; }
.rule-head { display: flex; align-items: flex-end; justify-content: space-between; gap: 1.5rem; flex-wrap: wrap; padding-bottom: 1.1rem; border-bottom: 1px solid var(--rule); margin-bottom: 1.4rem; }
.crumbs { font: 500 .8rem/1 var(--sans); color: var(--muted); margin-bottom: .55rem; }
.crumbs span { color: var(--rule-strong); }
.crumbs .force { color: var(--amber); font-family: var(--mono); font-size: .76rem; }
.rule-head h1 { font: 500 clamp(1.6rem, 2.8vw, 2.2rem)/1.15 var(--serif); color: var(--ink); margin: 0; letter-spacing: -.01em; }
.rule-head h1 .code { font: 500 .62em/1 var(--mono); color: var(--accent-ink); vertical-align: .18em; margin-right: .35rem; }

.seg { display: inline-flex; border: 1px solid var(--rule-strong); border-radius: var(--r-sm); overflow: hidden; }
.seg button { border: 0; border-radius: 0; padding: .5rem .8rem; font: 500 .8rem/1 var(--sans); color: var(--muted); }
.seg button + button { border-left: 1px solid var(--rule-strong); }
.seg button[aria-selected="true"], .seg button.on { background: var(--ink); color: var(--paper); }
.seg.mini button { padding: .3rem .5rem; font: 500 .68rem/1 var(--mono); text-transform: none; letter-spacing: 0; }

.panes { display: grid; grid-template-columns: minmax(0, .95fr) minmax(0, 1.1fr) minmax(0, 1fr); gap: 1.4rem; align-items: start; }
@media (max-width: 1280px) { .panes { grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); } .panes .pane:first-child { grid-column: 1 / -1; } }
@media (max-width: 760px) { .panes { grid-template-columns: 1fr; } }
.pane { min-width: 0; display: flex; flex-direction: column; }
.pane h2, .doc-pane h2 {
  font: 600 .72rem/1 var(--sans); text-transform: uppercase; letter-spacing: .08em; color: var(--muted);
  display: flex; align-items: center; gap: .6rem; margin: 0 0 .7rem; min-height: 1.7rem;
}
.pane h2 > :last-child { margin-left: auto; }
.pane h2 button.ghost { padding: .3rem .55rem; font: 500 .74rem/1 var(--sans); text-transform: none; letter-spacing: 0; }
.code { margin: 0; padding: .9rem 1rem; font: 400 .78rem/1.6 var(--mono); overflow: auto; max-height: 34rem; white-space: pre-wrap; overflow-wrap: anywhere; scrollbar-width: thin; }
.code .c { color: var(--console-muted); font-style: italic; }
.expr { display: block; margin-top: .5rem; font: 500 .74rem/1.4 var(--mono); color: var(--muted); }
.expr::before { content: 'nlir  '; color: var(--accent-ink); }

#prose {
  width: 100%; min-height: 34rem; resize: vertical; padding: 1rem 1.1rem;
  font: 400 .84rem/1.65 var(--mono); color: var(--ink); background: var(--paper);
  border: 1px solid var(--rule-strong); border-radius: var(--r);
}
#prose:focus { outline: none; border-color: var(--accent); box-shadow: 0 0 0 3px var(--accent-soft); }

.state { font: 500 .7rem/1 var(--mono); text-transform: none; letter-spacing: 0; padding: .3rem .5rem; border-radius: 999px; border: 1px solid var(--rule-strong); }
.state.ok { color: var(--accent-ink); border-color: color-mix(in srgb, var(--accent) 45%, transparent); }
.state.warn { color: var(--amber); border-color: color-mix(in srgb, var(--amber) 45%, transparent); }
.fields { display: flex; flex-direction: column; border-top: 1px solid var(--rule); }
.field { padding: .75rem 0 .85rem; border-bottom: 1px solid var(--rule); }
.field .label { font: 600 .72rem/1 var(--mono); color: var(--ink); margin-bottom: .45rem; display: flex; gap: .5rem; }
.field .label span { color: var(--amber); font-weight: 500; }
.field .text { font: 400 1rem/1.55 var(--serif); color: var(--ink-2); }
.field.changed { box-shadow: inset 2px 0 0 var(--amber); padding-left: .8rem; }
ins { text-decoration: none; background: var(--accent-soft); color: var(--accent-ink); border-radius: 2px; }
del { color: var(--amber); text-decoration-color: color-mix(in srgb, var(--amber) 70%, transparent); }
.err { color: var(--danger); font: .84rem/1.5 var(--mono); padding: .6rem 0; }
.muted { color: var(--muted); }

/* ---- whole policy + loop --------------------------------------------------- */
.doc-pane { max-width: 52rem; }
.doc-pane .policy h2 { display: block; font: 500 1.9rem/1.2 var(--serif); color: var(--ink); margin: 0 0 .5rem; text-transform: none; letter-spacing: -.01em; min-height: 0; }
.policy h3 { font: 500 1.4rem/1.25 var(--serif); color: var(--ink); margin: 2.2rem 0 .5rem; padding-top: 1rem; border-top: 1px solid var(--rule); }
.policy h4 { font: 600 1rem/1.35 var(--sans); color: var(--ink); margin: 1.6rem 0 .4rem; }
.policy h5 { font: 600 .9rem/1.35 var(--sans); color: var(--ink-2); margin: 1.2rem 0 .3rem; }
.policy p { color: var(--ink-2); }
.policy blockquote { margin: .8rem 0; padding-left: 1rem; border-left: 2px solid var(--rule-strong); font: italic 1.02rem/1.55 var(--serif); color: var(--ink-2); }
.policy code { font: .84em var(--mono); background: var(--paper-2); padding: .05em .3em; border-radius: 3px; }

.loop-head { display: flex; gap: 2.4rem; flex-wrap: wrap; margin-bottom: 1.2rem; }
.stat b { display: block; font: 500 2rem/1.1 var(--serif); color: var(--ink); }
.stat span { font-size: .8rem; color: var(--muted); }
.spark { width: 100%; max-width: 40rem; height: auto; border-top: 1px solid var(--rule); border-bottom: 1px solid var(--rule); }
.spark .thr { stroke: var(--amber); stroke-dasharray: 4 4; }
.spark .ceil { stroke: var(--muted); stroke-dasharray: 2 4; }
.spark .phase { stroke: var(--rule-strong); }
.spark .phase-l { fill: var(--muted); font: 10px var(--mono); }
.spark .best { fill: none; stroke: var(--accent); stroke-width: 2; }
.spark circle { cursor: pointer; }
.spark .kept { fill: var(--accent); } .spark .rej { fill: var(--rule-strong); }
.spark circle.cur { stroke: var(--ink); stroke-width: 2.5; }
.stepper { display: flex; gap: .9rem; align-items: flex-start; margin: 1rem 0; }
.stepper button { padding: .35rem .6rem; }
#lcap { font-size: .88rem; color: var(--ink-2); } #lcap span { color: var(--muted); }
.loop-grid { display: grid; grid-template-columns: minmax(0, 1fr); gap: 1rem; }
.lgraph svg { width: 100%; height: auto; display: block; border-radius: var(--r); }

details.source { margin-top: 2.6rem; border-top: 1px solid var(--rule); padding-top: 1rem; }
details.source summary { cursor: pointer; font: 500 .84rem/1 var(--mono); color: var(--ink-2); }
details.source pre { margin-top: .9rem; max-height: none; }

.parts { display: grid; gap: .45rem; max-width: 40rem; margin: 0 0 1.4rem; }
.part { display: grid; grid-template-columns: 9.5rem minmax(0, 1fr) 2.6rem; gap: .8rem; align-items: center; font: 500 .78rem/1 var(--mono); color: var(--ink-2); }
.part .bar { position: relative; height: .5rem; background: var(--paper-2); border-radius: 2px; }
.part .bar i { position: absolute; inset: 0 auto 0 0; background: var(--accent); border-radius: 2px; }
.part .bar b { position: absolute; top: -.2rem; bottom: -.2rem; width: 1px; background: var(--muted); }
.part .pv { text-align: right; color: var(--ink); }