/* ============================================================================
   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; }

.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;
}

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

.nibli-pane {
  background: var(--bg-sunken); border: 1px solid var(--border-subtle);
  border-radius: var(--radius-md); display: flex; flex-direction: column;
  min-height: 280px;
}
.nibli-pane__title {
  font-family: var(--font-mono); font-size: 12.5px; font-weight: 600;
  color: var(--text-strong); margin: 0; padding: 10px 14px;
  border-bottom: 1px solid var(--border-subtle);
}
.nibli-pane__title .comment { font-weight: 400; }
.nibli-pane__body {
  padding: 12px 14px; overflow-y: auto; max-height: 380px; flex: 1;
  font-family: var(--font-sans); font-size: 13.5px; line-height: 1.65;
  color: var(--text-body); white-space: pre-wrap;
}
.nibli-pane__body--mono { font-family: var(--font-mono); font-size: 12.5px; }
.nibli-pane__foot {
  padding: 8px 14px; border-top: 1px solid var(--border-subtle);
  font-family: var(--font-mono); font-size: 11.5px; color: var(--text-faint);
}

.nibli-line { display: block; padding: 1px 0; }
.nibli-line--ok::before     { content: "✓ "; color: var(--phosphor-500); }
.nibli-line--err::before    { content: "✗ "; color: var(--ember-500); }
.nibli-line--retracted      { text-decoration: line-through; opacity: 0.45; }
.nibli-line--retracted::before { content: "⌫ "; color: var(--ember-300); }
.nibli-line--comment        { color: var(--text-faint); }

/* ── 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;
}

.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%; }