/* ============================================================================
   nibli.css — the Transparency Triad demo at /nibli.
   QUINE-styled: void backgrounds, ember accents, phosphor for TRUE.
   ========================================================================== */

.nibli-contract {
  display: flex; flex-wrap: wrap; align-items: center; gap: 10px;
  margin-top: 18px; padding: 12px 16px;
  background: var(--bg-raised); border: 1px solid var(--border-subtle);
  border-radius: var(--radius-md);
  font-family: var(--font-mono); font-size: 12.5px; color: var(--text-muted);
}

.nibli-badge {
  display: inline-block; padding: 2px 10px; border-radius: 999px;
  font-family: var(--font-mono); font-size: 11.5px; font-weight: 600;
  letter-spacing: 0.04em; border: 1px solid var(--border-subtle);
  color: var(--text-muted); background: var(--bg-raised);
}
.nibli-badge--true     { color: var(--phosphor-500); border-color: var(--phosphor-700); }
.nibli-badge--false    { color: var(--ember-300);    border-color: var(--ember-700); }
.nibli-badge--unknown  { color: var(--text-muted); }
.nibli-badge--resource { color: var(--text-muted); border-style: dashed; }

/* ── example tabs ── */
.nibli-examples {
  display: flex; align-items: center; gap: 8px; flex-wrap: wrap;
  margin: 8px 0 14px;
}
.nibli-tab {
  font-family: var(--font-mono); font-size: 13px; cursor: pointer;
  padding: 8px 14px; border-radius: var(--radius-md);
  background: var(--bg-raised); color: var(--text-body);
  border: 1px solid var(--border-subtle);
}
.nibli-tab:hover { border-color: var(--accent); color: var(--text-strong); }
.nibli-tab[aria-selected="true"] {
  border-color: var(--accent); color: var(--text-strong);
  background: linear-gradient(180deg, var(--accent-soft), transparent);
}
.nibli-status { font-family: var(--font-mono); font-size: 12px; color: var(--text-faint); }
.nibli-examples .sp { flex: 1; }

/* ── the 30-second tour ── */
.nibli-tour-btn {
  font-family: var(--font-mono); font-size: 13px; cursor: pointer;
  padding: 8px 14px; border-radius: var(--radius-md);
  color: var(--phosphor-300);
  background: color-mix(in oklab, var(--phosphor-500) 10%, transparent);
  border: 1px solid color-mix(in oklab, var(--phosphor-500) 36%, transparent);
}
.nibli-tour-btn:hover { border-color: var(--phosphor-300); color: var(--text-strong); }
.nibli-tour-btn:disabled { opacity: 0.45; cursor: default; }
.nibli-tour {
  display: flex; align-items: center; gap: 14px; flex-wrap: wrap;
  padding: 12px 16px; margin: 0 0 14px;
  border: 1px solid var(--border-subtle);
  border-left: 3px solid var(--phosphor-500);
  border-radius: var(--radius-md);
  background: color-mix(in oklab, var(--phosphor-500) 6%, transparent);
}
.nibli-tour__step { font-family: var(--font-mono); font-size: 12px; color: var(--phosphor-300); flex: none; }
.nibli-tour__text { font-family: var(--font-sans); font-size: 14px; line-height: 1.55; color: var(--text-body); margin: 0; flex: 1 1 32ch; }
.nibli-tour__next {
  font-family: var(--font-mono); font-size: 13px; cursor: pointer;
  padding: 7px 14px; border-radius: var(--radius-md);
  color: var(--phosphor-300);
  background: color-mix(in oklab, var(--phosphor-500) 12%, transparent);
  border: 1px solid color-mix(in oklab, var(--phosphor-500) 40%, transparent);
}
.nibli-tour__next:hover { border-color: var(--phosphor-300); color: var(--text-strong); }
.nibli-tour__next:disabled { opacity: 0.45; cursor: default; }
.nibli-tour__skip {
  font-family: var(--font-mono); font-size: 12px; cursor: pointer;
  padding: 7px 10px; border: none; background: none; color: var(--text-faint);
  text-decoration: underline; text-underline-offset: 3px;
}
.nibli-tour__skip:hover { color: var(--text-strong); }

.nibli-scenario {
  font-family: var(--font-sans); font-size: 14.5px; line-height: 1.6;
  color: var(--text-muted); max-width: 80ch; margin: 0 0 16px;
}

/* ── "about this KB" disclosure (preamble: scope, predicate table, boundaries) ── */
.nibli-about {
  background: var(--bg-raised); border: 1px solid var(--border-subtle);
  border-radius: var(--radius-md); margin-bottom: 12px; padding: 0 14px;
}
.nibli-about__summary {
  cursor: pointer; padding: 10px 0; list-style: none;
  font-family: var(--font-mono); font-size: 12.5px; font-weight: 600;
  color: var(--text-strong);
}
.nibli-about__summary::-webkit-details-marker { display: none; }
.nibli-about__summary::before { content: "▸ "; color: var(--text-faint); }
.nibli-about[open] .nibli-about__summary::before { content: "▾ "; }
.nibli-about__summary .comment { font-weight: 400; }
.nibli-about__body {
  padding: 2px 0 14px; white-space: pre-wrap; overflow-x: auto;
  font-family: var(--font-mono); font-size: 12px; line-height: 1.6;
  color: var(--text-muted);
}

/* ── the triad: one row-aligned grid ── */
.nibli-grid {
  background: var(--bg-sunken); border: 1px solid var(--border-subtle);
  border-radius: var(--radius-md); margin-bottom: 22px; overflow: hidden;
}
.nibli-grid__head, .nibli-grid__body {
  display: grid; grid-template-columns: repeat(3, minmax(0, 1fr));
}
.nibli-grid__head > span {
  font-family: var(--font-mono); font-size: 12.5px; font-weight: 600;
  color: var(--text-strong); padding: 10px 14px;
  border-bottom: 1px solid var(--border-subtle);
}
.nibli-grid__head .comment { font-weight: 400; }
.nibli-grid__body { max-height: 460px; overflow-y: auto; }

.nibli-frow { display: contents; }
.nibli-cell {
  padding: 7px 14px; border-bottom: 1px solid var(--border-subtle);
  line-height: 1.6; color: var(--text-body); white-space: pre-wrap;
  word-break: break-word; font-family: var(--font-sans); font-size: 13.5px;
}
.nibli-cell--src { color: var(--text-muted); }
.nibli-cell--loj, .nibli-cell--gls { font-family: var(--font-mono); font-size: 12.5px; }
.nibli-cell--ok::before     { content: "✓ "; color: var(--phosphor-500); }
.nibli-cell--err::before    { content: "✗ "; color: var(--ember-500); }
.nibli-cell--retracted      { text-decoration: line-through; opacity: 0.5; }
.nibli-cell--retracted::before { content: "⌫ "; color: var(--ember-300); }
.nibli-frow--retracted .nibli-cell--src,
.nibli-frow--retracted .nibli-cell--gls { opacity: 0.5; }

.nibli-row { grid-column: 1 / -1; }
.nibli-row--section {
  font-family: var(--font-mono); font-size: 11.5px; font-weight: 600;
  letter-spacing: 0.02em; color: var(--text-strong); background: var(--bg-raised);
  padding: 8px 14px; border-bottom: 1px solid var(--border-subtle);
}
.nibli-row--section::before { content: "§ "; color: var(--text-faint); }
.nibli-row--note {
  font-family: var(--font-sans); font-size: 13px; line-height: 1.55;
  color: var(--text-faint); padding: 8px 14px 8px 12px;
  border-bottom: 1px solid var(--border-subtle);
  border-left: 2px solid var(--ember-700);
  background: color-mix(in oklab, var(--text-faint) 4%, transparent);
}
.nibli-grid__foot {
  display: flex; flex-wrap: wrap; gap: 4px 16px; justify-content: space-between;
  padding: 8px 14px; border-top: 1px solid var(--border-subtle);
  font-family: var(--font-mono); font-size: 11.5px; color: var(--text-faint);
}

@media (max-width: 860px) {
  .nibli-grid__head { display: none; }
  .nibli-grid__body { grid-template-columns: 1fr; max-height: none; }
  .nibli-frow {
    display: block; padding: 8px 0;
    border-bottom: 1px solid var(--border-subtle);
  }
  .nibli-frow .nibli-cell { display: block; border-bottom: none; padding: 2px 14px; }
  .nibli-cell--src:not(:empty)::before { content: "source · "; color: var(--text-faint); }
  .nibli-frow .nibli-cell--loj { color: var(--text-strong); }
}

/* ── controls ── */
.nibli-controls { display: grid; grid-template-columns: 1fr 1fr; gap: 22px; margin-bottom: 22px; }
@media (max-width: 980px) { .nibli-controls { grid-template-columns: 1fr; } }

.nibli-qbtn, .nibli-sbtn {
  font-family: var(--font-mono); font-size: 12.5px; cursor: pointer;
  padding: 7px 12px; border-radius: var(--radius-md); text-align: left;
  background: var(--bg-raised); color: var(--text-body);
  border: 1px solid var(--border-subtle);
}
.nibli-qbtn::before { content: "? "; color: var(--accent); }
.nibli-qbtn:hover, .nibli-sbtn:hover { border-color: var(--accent); color: var(--text-strong); }
.nibli-sbtn { border-style: dashed; }
.nibli-sbtn::before { content: "⌁ "; color: var(--ember-300); }
.nibli-qbtn .expect { color: var(--text-faint); }
.nibli-qbtn:disabled, .nibli-sbtn:disabled { opacity: 0.45; cursor: default; }

/* ── result + proof ── */
.nibli-result {
  background: var(--bg-sunken); border: 1px solid var(--border-subtle);
  border-radius: var(--radius-md); padding: 14px 16px; margin-bottom: 8px;
}
.nibli-result__head { display: flex; align-items: center; gap: 12px; flex-wrap: wrap; }
.nibli-result__query { font-family: var(--font-mono); font-size: 13px; color: var(--text-strong); }
.nibli-naf {
  font-family: var(--font-mono); font-size: 11.5px; color: var(--ember-300);
  border: 1px dashed var(--ember-700); border-radius: 999px; padding: 2px 10px;
}

/* plain-English "why" summary of the proof (nibli-render::summarize_proof) */
.nibli-why {
  display: flex; gap: 10px; align-items: baseline; margin: 12px 0 0;
  padding: 10px 12px; border-radius: var(--radius-md);
  background: color-mix(in oklab, var(--phosphor-500) 7%, transparent);
  border: 1px solid color-mix(in oklab, var(--phosphor-500) 28%, transparent);
}
.nibli-why__label {
  flex: none; font-family: var(--font-mono); font-size: 11px; font-weight: 600;
  letter-spacing: 0.06em; text-transform: uppercase; color: var(--phosphor-300);
}
.nibli-why__text {
  font-family: var(--font-sans); font-size: 14px; line-height: 1.55; color: var(--text-body);
}

.nibli-proof { margin-top: 12px; font-family: var(--font-mono); font-size: 12.5px; }
.nibli-proof details { margin-left: 18px; border-left: 1px solid var(--border-subtle); padding-left: 10px; }
.nibli-proof > details { margin-left: 0; border-left: none; padding-left: 0; }
.nibli-proof summary { cursor: pointer; padding: 2px 0; color: var(--text-body); list-style: none; }
.nibli-proof summary::before { content: "▸ "; color: var(--text-faint); }
.nibli-proof details[open] > summary::before { content: "▾ "; }
.nibli-proof .leaf { padding: 2px 0 2px 14px; color: var(--text-body); display: block; }
.nibli-proof .holds-true  { color: var(--phosphor-500); }
.nibli-proof .holds-false { color: var(--ember-300); }
.nibli-proof .rule-kind { color: var(--text-faint); }
.nibli-proof .naf-step { color: var(--ember-300); }

/* ── the "catch an LLM" block ── */
.nibli-catch { display: grid; gap: 10px; }
.nibli-catch > div {
  display: flex; flex-wrap: wrap; align-items: center; gap: 10px;
  background: var(--bg-sunken); border: 1px solid var(--border-subtle);
  border-radius: var(--radius-md); padding: 10px 14px;
  font-family: var(--font-mono); font-size: 12.5px; color: var(--text-body);
}
.nibli-catch__label {
  font-size: 11px; letter-spacing: 0.06em; color: var(--text-faint);
  min-width: 72px; text-transform: uppercase;
}
.nibli-catch__gloss { color: var(--text-muted); }
.nibli-catch mark { background: transparent; color: var(--ember-300); font-weight: 600; }
.nibli-catch .comment { flex-basis: 100%; }