:root {
  --bg: #0f1117;
  --card: #1a1d27;
  --ink: #e6e8ee;
  --muted: #9aa0ad;
  --accent: #4c8dff;
  --ok: #2ea043;
  --warn: #d29922;
  --err: #f85149;
  --managed: #a371f7;
  --line: #2a2e3a;
}

* { box-sizing: border-box; }

body {
  margin: 0;
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, sans-serif;
  background: var(--bg);
  color: var(--ink);
  line-height: 1.5;
}

header {
  padding: 1.5rem 2rem;
  border-bottom: 1px solid var(--line);
}

header h1 { margin: 0; font-size: 1.4rem; }
header .sub { margin: 0.25rem 0 0; color: var(--muted); font-size: 0.9rem; }

/* Responsive two-column layout: single column on narrow screens. */
.layout {
  max-width: 1200px;
  margin: 0 auto;
  padding: 1.5rem;
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 1.25rem;
  align-items: start;
}

.col { display: grid; gap: 1.25rem; align-content: start; }

@media (max-width: 900px) {
  .layout { grid-template-columns: 1fr; }
}

.card {
  background: var(--card);
  border: 1px solid var(--line);
  border-radius: 10px;
  padding: 1.25rem 1.5rem;
}

.card h2 { margin-top: 0; font-size: 1.1rem; }

.card-head {
  display: flex;
  justify-content: space-between;
  align-items: center;
}
.card-head h2 { margin-bottom: 0; }

.hint { color: var(--muted); font-size: 0.85rem; margin: 0.25rem 0 0.75rem; }

.btn {
  display: inline-block;
  background: var(--accent);
  color: #fff;
  border: none;
  border-radius: 6px;
  padding: 0.55rem 1rem;
  font-size: 0.95rem;
  text-decoration: none;
  cursor: pointer;
}

.btn:disabled { opacity: 0.45; cursor: not-allowed; }
.btn.secondary { background: #33384a; }
.btn.small { padding: 0.3rem 0.7rem; font-size: 0.8rem; }

.badge {
  display: inline-block;
  padding: 0.15rem 0.6rem;
  border-radius: 999px;
  font-size: 0.8rem;
  margin-right: 0.5rem;
}

.badge.ok { background: rgba(46, 160, 67, 0.2); color: var(--ok); }

label { display: block; margin: 0.75rem 0 0.25rem; font-size: 0.85rem; color: var(--muted); }

input[type="email"], textarea {
  width: 100%;
  padding: 0.5rem 0.7rem;
  background: #0b0d13;
  border: 1px solid var(--line);
  border-radius: 6px;
  color: var(--ink);
  font: inherit;
}

textarea { resize: vertical; margin-bottom: 0.75rem; }

.preview {
  display: grid;
  grid-template-columns: max-content 1fr;
  gap: 0.35rem 1rem;
  margin: 1rem 0;
  padding: 0.75rem;
  background: #0b0d13;
  border: 1px solid var(--line);
  border-radius: 6px;
  font-size: 0.9rem;
}

.preview dt { color: var(--muted); }
.preview dd { margin: 0; word-break: break-word; }

/* --- Transcript --- */
.transcript {
  list-style: none;
  margin: 0;
  padding: 0;
  max-height: 420px;
  overflow-y: auto;
  display: grid;
  gap: 0.6rem;
}
.transcript li {
  padding: 0.7rem 0.85rem;
  background: #0b0d13;
  border: 1px solid var(--line);
  border-radius: 6px;
  font-size: 0.85rem;
}
.transcript .t-meta {
  display: flex;
  justify-content: space-between;
  gap: 0.5rem;
  color: var(--muted);
  font-size: 0.72rem;
  text-transform: uppercase;
  letter-spacing: 0.03em;
  margin-bottom: 0.35rem;
}
.transcript .t-label { color: var(--accent); }
.transcript .t-q { color: var(--ink); margin: 0 0 0.35rem; white-space: pre-wrap; word-break: break-word; }
.transcript .t-r { color: var(--muted); margin: 0; white-space: pre-wrap; word-break: break-word; }
.transcript li.is-error { border-color: rgba(248, 81, 73, 0.5); }
.transcript li.is-error .t-r { color: var(--err); }
.transcript .t-empty { color: var(--muted); font-style: italic; }

/* --- Graph --- */
.graph {
  display: grid;
  gap: 0.35rem;
  margin: 0.5rem 0 1rem;
}
.gnode {
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: 0.55rem 0.8rem;
  background: #0b0d13;
  border: 1px solid var(--line);
  border-left: 4px solid var(--line);
  border-radius: 6px;
  font-size: 0.9rem;
}
.gnode-state {
  font-size: 0.68rem;
  text-transform: uppercase;
  letter-spacing: 0.04em;
  padding: 0.1rem 0.45rem;
  border-radius: 4px;
  color: var(--muted);
  border: 1px solid var(--line);
}
.gedge {
  width: 2px;
  height: 0.7rem;
  background: var(--line);
  margin-left: 1.2rem;
  transition: background 0.2s ease;
}

/* Node/edge state colors. */
.gnode[data-state="idle"] { border-left-color: var(--line); }
.gnode[data-state="active"] { border-left-color: var(--accent); }
.gnode[data-state="active"] .gnode-state { color: var(--accent); border-color: var(--accent); }
.gnode[data-state="success"] { border-left-color: var(--ok); }
.gnode[data-state="success"] .gnode-state { color: var(--ok); border-color: var(--ok); }
.gnode[data-state="required"] { border-left-color: var(--warn); }
.gnode[data-state="required"] .gnode-state { color: var(--warn); border-color: var(--warn); }
.gnode[data-state="managed"] { border-left-color: var(--managed); }
.gnode[data-state="managed"] .gnode-state { color: var(--managed); border-color: var(--managed); }
.gnode[data-state="conceptual"] { border-left-color: var(--muted); }
.gnode[data-state="conceptual"] .gnode-state { color: var(--muted); }
.gnode[data-state="error"] { border-left-color: var(--err); }
.gnode[data-state="error"] .gnode-state { color: var(--err); border-color: var(--err); }

.gedge[data-state="active"] { background: var(--accent); }
.gedge[data-state="success"] { background: var(--ok); }
.gedge[data-state="error"] { background: var(--err); }
.gedge[data-state="managed"] { background: var(--managed); }
.gedge[data-state="conceptual"] { background: var(--muted); }

.legend {
  list-style: none;
  display: flex;
  flex-wrap: wrap;
  gap: 0.75rem;
  padding: 0;
  margin: 0;
  font-size: 0.75rem;
  color: var(--muted);
}
.legend li { display: flex; align-items: center; gap: 0.3rem; }
.chip { width: 0.7rem; height: 0.7rem; border-radius: 3px; display: inline-block; }
.chip.idle { background: var(--line); }
.chip.active { background: var(--accent); }
.chip.success { background: var(--ok); }
.chip.required { background: var(--warn); }
.chip.managed { background: var(--managed); }
.chip.conceptual { background: var(--muted); }
.chip.error { background: var(--err); }

/* --- Token summary card --- */
.token-card {
  display: grid;
  grid-template-columns: max-content 1fr;
  gap: 0.4rem 1rem;
  margin: 0.5rem 0 0;
  font-size: 0.88rem;
}
.token-card dt { color: var(--muted); }
.token-card dd { margin: 0; word-break: break-word; font-family: ui-monospace, SFMono-Regular, Menlo, monospace; font-size: 0.82rem; }

/* --- Security artifacts card (presence/state only; never values) --- */
.artifact-card {
  display: grid;
  grid-template-columns: max-content 1fr;
  gap: 0.4rem 1rem;
  margin: 0.5rem 0 0;
  font-size: 0.88rem;
}
.artifact-card dt { color: var(--muted); }
.artifact-card dd {
  margin: 0;
  word-break: break-word;
  font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
  font-size: 0.82rem;
}
.artifact-card dd[data-state="hidden"],
.artifact-card dd[data-state="idle"] { color: var(--muted); }
.artifact-card dd[data-state="present"],
.artifact-card dd[data-state="managed"] { color: var(--managed); }
.artifact-card dd[data-state="validated"],
.artifact-card dd[data-state="success"] { color: var(--ok); }
.artifact-card dd[data-state="active"] { color: var(--accent); }
.artifact-card dd[data-state="required"] { color: var(--warn); }
.artifact-card dd[data-state="error"] { color: var(--err); }

/* --- Image-like dynamic OBO sequence diagram --- */
.obo-sequence {
  max-width: 1500px;
  margin: 0 auto 2rem;
  padding: 0 1.5rem;
}
.obo-sequence-shell {
  background: var(--card);
  border: 1px solid var(--line);
  border-radius: 10px;
  padding: 1.5rem;
}
.obo-sequence-shell h2 { margin: 0.15rem 0 0.4rem; font-size: 1.3rem; }
.obo-sequence-shell > .hint { max-width: 82ch; }
.obo-sequence-eyebrow {
  margin: 0;
  color: var(--accent);
  font-size: 0.75rem;
  font-weight: 700;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}
.obo-sequence-status {
  margin: 0.8rem 0 1rem;
  padding: 0.65rem 0.8rem;
  border: 1px solid var(--line);
  border-left: 4px solid var(--muted);
  border-radius: 6px;
  background: #0b0d13;
  color: var(--muted);
  font-size: 0.85rem;
}
.obo-sequence-status[data-state="active"] { border-left-color: var(--accent); color: var(--accent); }
.obo-sequence-status[data-state="success"] { border-left-color: var(--ok); color: var(--ok); }
.obo-sequence-status[data-state="error"] { border-left-color: var(--err); color: var(--err); }
.obo-sequence-scroll {
  overflow-x: auto;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: #f8fafc;
  scrollbar-color: var(--accent) var(--line);
}
.obo-sequence-scroll:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; }
.obo-sequence-diagram {
  display: block;
  width: 100%;
  min-width: 1180px;
  height: auto;
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, sans-serif;
}
.obo-phase { fill: #eef2f7; stroke: #d7dde7; stroke-width: 1; }
.obo-phase-label { fill: #526173; font-size: 12px; font-weight: 700; letter-spacing: 0.04em; }
.obo-lifelines line { stroke: #6b7280; stroke-width: 1; vector-effect: non-scaling-stroke; }
.obo-actors rect { fill: #3169b3; stroke: #1e4f91; stroke-width: 1; }
.obo-actors text {
  fill: #fff;
  font-size: 12px;
  font-weight: 700;
  text-anchor: middle;
  dominant-baseline: middle;
}
.obo-message { stroke: #334155; stroke-width: 1.5; vector-effect: non-scaling-stroke; }
.obo-return { stroke-dasharray: 6 4; }
.obo-arrow-head { fill: #334155; }
.obo-message-label,
.obo-event-state {
  text-anchor: middle;
  paint-order: stroke;
  stroke: #f8fafc;
  stroke-width: 5px;
  stroke-linejoin: round;
}
.obo-message-label { fill: #111827; font-size: 12px; }
.obo-label-secondary { fill: #475569; font-size: 11px; }
.obo-event-state {
  fill: #64748b;
  font-size: 9px;
  font-weight: 800;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}
.obo-sequence-event { opacity: 0.48; transition: opacity 160ms ease; }
.obo-sequence-event .obo-message,
.obo-sequence-event .obo-message-label,
.obo-sequence-event .obo-event-state { transition: stroke 160ms ease, fill 160ms ease; }
.obo-sequence-event[data-state="active"] { opacity: 1; }
.obo-sequence-event[data-state="active"] .obo-message { stroke: #0284c7; stroke-width: 3; }
.obo-sequence-event[data-state="active"] .obo-message-label,
.obo-sequence-event[data-state="active"] .obo-event-state { fill: #0369a1; }
.obo-sequence-event[data-state="success"] { opacity: 1; }
.obo-sequence-event[data-state="success"] .obo-message { stroke: #15803d; stroke-width: 3; }
.obo-sequence-event[data-state="success"] .obo-message-label,
.obo-sequence-event[data-state="success"] .obo-event-state { fill: #166534; }
.obo-sequence-event[data-state="managed"] { opacity: 1; }
.obo-sequence-event[data-state="managed"] .obo-message { stroke: #7c3aed; stroke-width: 3; }
.obo-sequence-event[data-state="managed"] .obo-message-label,
.obo-sequence-event[data-state="managed"] .obo-event-state { fill: #6d28d9; }
.obo-sequence-event[data-state="conceptual"] { opacity: 0.8; }
.obo-sequence-event[data-state="conceptual"] .obo-message { stroke: #64748b; stroke-width: 2; }
.obo-sequence-event[data-state="error"] { opacity: 1; }
.obo-sequence-event[data-state="error"] .obo-message { stroke: #dc2626; stroke-width: 3; }
.obo-sequence-event[data-state="error"] .obo-message-label,
.obo-sequence-event[data-state="error"] .obo-event-state { fill: #b91c1c; }
.obo-sequence-scroll-hint { margin: 0.55rem 0 0; color: var(--muted); font-size: 0.78rem; }
.obo-sequence-note {
  margin: 1rem 0 0;
  padding: 0.75rem 0.9rem;
  border-left: 4px solid var(--managed);
  background: #0b0d13;
  color: var(--muted);
  font-size: 0.85rem;
}
.obo-sequence-note strong { color: var(--ink); }
@media (max-width: 900px) {
  .obo-sequence-diagram { min-width: 1120px; }
  .obo-sequence-shell { padding: 1rem; }
}
@media (max-width: 520px) {
  .obo-sequence { padding: 0 0.75rem; }
  .obo-sequence-shell { padding: 0.8rem; }
}

/* --- OBO detail cards after the end-to-end sequence --- */
.obo-post-sequence-cards {
  max-width: 1500px;
  margin: 0 auto 2rem;
  padding: 0 1.5rem;
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 1.25rem;
  align-items: start;
}
@media (max-width: 1100px) {
  .obo-post-sequence-cards { grid-template-columns: 1fr; }
}
@media (max-width: 520px) {
  .obo-post-sequence-cards { padding: 0 0.75rem; }
}

/* --- User, WAT, and Graph OBO claim summaries --- */
.token-claims-panel h3 {
  margin: 1.2rem 0 0.35rem;
  font-size: 0.95rem;
  color: var(--ink);
}
.token-claims-panel h3:first-of-type { margin-top: 0.8rem; }
.claim-source {
  display: inline-block;
  margin-left: 0.35rem;
  padding: 0.08rem 0.4rem;
  border: 1px solid currentColor;
  border-radius: 999px;
  font-size: 0.62rem;
  font-weight: 700;
  letter-spacing: 0.04em;
  text-transform: uppercase;
  vertical-align: middle;
}
.claim-source.observed { color: var(--ok); }
.claim-source.managed { color: var(--managed); }
.claim-note {
  margin: 0 0 0.55rem;
  color: var(--muted);
  font-size: 0.78rem;
}
.managed-token-card {
  padding: 0.65rem;
  border: 1px solid var(--line);
  border-radius: 6px;
  background: #0b0d13;
}
.managed-token-card dd[data-state="idle"] { color: var(--muted); }
.managed-token-card dd[data-state="managed"] { color: var(--managed); }
.managed-token-card dd[data-state="active"] { color: var(--accent); }
.managed-token-card dd[data-state="validated"] { color: var(--ok); }
.managed-token-card dd[data-state="error"] { color: var(--err); }