/* /prover — the training floor. Same plate, one more instrument on it. */

.prover-head {
  margin: 22px 4px 18px;
  max-width: 76ch;
}
.prover-head h1 {
  margin: 0 0 10px;
  font-size: 26px;
  font-weight: 500;
  letter-spacing: -0.015em;
  line-height: 1.18;
}
.prover-head p {
  margin: 0 0 7px;
  font-size: 13px;
  line-height: 1.6;
  color: rgba(220, 230, 236, 0.78);
}
.prover-head b { color: var(--ink); font-weight: 500; }

.panel.published { margin: 0 4px 18px; }
.published-body { padding: 12px 14px; }
.published-body.note {
  font-family: var(--mono);
  font-size: 11.5px;
  color: var(--dim);
  letter-spacing: 0.01em;
}
.published-body .links { margin: 10px 0 0; display: flex; gap: 14px; }
.published-body .links a {
  font-family: var(--mono);
  font-size: 11px;
  color: var(--mint);
  text-decoration: none;
  border-bottom: 1px solid transparent;
}
.published-body .links a:hover { border-bottom-color: var(--mint); }

.prover-grid {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 330px;
  gap: 18px;
  margin: 0 4px;
  align-items: start;
}

/* ── the run ──────────────────────────────────────────────────────────────── */

.panel.run { min-width: 0; }

.corpus-line {
  padding: 10px 14px;
  border-bottom: 1px solid var(--rule);
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.02em;
  color: var(--mint);
}

.controls {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 10px;
  padding: 12px 14px;
  border-bottom: 1px solid var(--rule);
}
.controls label {
  display: inline-flex;
  align-items: center;
  gap: 7px;
  font-family: var(--mono);
  font-size: 9.5px;
  letter-spacing: 0.17em;
  text-transform: uppercase;
  color: var(--dim);
}
.controls select,
.controls input {
  background: rgba(232, 238, 242, 0.05);
  border: 1px solid var(--rule-strong);
  color: var(--ink);
  font-family: var(--mono);
  font-size: 12px;
  letter-spacing: 0.02em;
  padding: 5px 7px;
  border-radius: 0;
}
.controls select:focus-visible,
.controls input:focus-visible { outline: 1px solid var(--sulphur); outline-offset: 1px; }

.go,
.halt {
  font-family: var(--mono);
  font-size: 11px;
  letter-spacing: 0.14em;
  text-transform: uppercase;
  padding: 7px 16px;
  border: 1px solid var(--sulphur);
  background: var(--sulphur);
  color: var(--ground);
  cursor: pointer;
  text-decoration: none;
  border-radius: 0;
}
.go:hover { background: #f0dd63; }
.go[disabled] { opacity: 0.35; cursor: default; }
.go.ghost { background: transparent; color: var(--sulphur); }
.go.ghost:hover { background: rgba(231, 210, 75, 0.12); }
.halt {
  background: transparent;
  border-color: var(--rule-strong);
  color: var(--dim);
}
.halt:hover { color: var(--ink); border-color: var(--ink); }

.progress { height: 2px; background: var(--rule); }
.progress i { display: block; height: 2px; width: 0; background: var(--sulphur); transition: width 0.25s linear; }

.curve-frame {
  height: 260px;
  border: 0;
  border-bottom: 1px solid var(--rule);
}
.curve-frame canvas { width: 100%; height: 100%; display: block; }

/* ── fact tables ──────────────────────────────────────────────────────────── */

.facts { margin: 0; display: grid; gap: 1px; background: var(--rule); }
.facts.wide { grid-template-columns: repeat(3, minmax(0, 1fr)); }
.facts > div { background: var(--deep); padding: 9px 14px; min-width: 0; }
.facts dt {
  font-family: var(--mono);
  font-size: 9px;
  letter-spacing: 0.17em;
  text-transform: uppercase;
  color: var(--dim);
  margin: 0 0 3px;
}
.facts dd {
  margin: 0;
  font-family: var(--mono);
  font-size: 12.5px;
  color: var(--ink);
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}
.facts dd.lit { color: var(--sulphur); }

/* ── the samples ──────────────────────────────────────────────────────────── */

.panel h2 .dim { color: var(--dim); font-weight: 400; letter-spacing: 0.08em; }

.sample {
  margin: 0;
  padding: 12px 14px;
  font-family: var(--mono);
  font-size: 11.5px;
  line-height: 1.62;
  color: rgba(220, 230, 236, 0.86);
  white-space: pre-wrap;
  word-break: break-word;
  max-height: 300px;
  overflow: auto;
}

.prose {
  margin: 0;
  padding: 12px 14px;
  font-size: 12.5px;
  line-height: 1.58;
  color: rgba(220, 230, 236, 0.76);
}
.prose + .prose { padding-top: 0; }

@media (max-width: 1080px) {
  .prover-grid { grid-template-columns: minmax(0, 1fr); }
  .facts.wide { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .curve-frame { height: 220px; }
}

@media (max-width: 640px) {
  .prover-head h1 { font-size: 21px; }
  .facts.wide { grid-template-columns: minmax(0, 1fr); }
}