:root {
    color-scheme: light;
    --ink: #0f172a;
    --muted: #475569;
    --border: #e2e8f0;
    --surface: #ffffff;
    --panel: #f8fafc;
    --accent: #0f766e;
    --danger: #b91c1c;
  }
  body {
    font-family: "IBM Plex Sans", "Inter", system-ui, -apple-system, sans-serif;
    background: #f1f5f9;
    color: var(--ink);
    margin: 0;
    padding: 24px;
  }
  main {
    max-width: 1100px;
    margin: 0 auto;
    background: var(--surface);
    padding: 28px;
    border-radius: 16px;
    border: 1px solid var(--border);
    box-shadow: 0 12px 36px rgba(15, 23, 42, 0.08);
  }
  header h1 {
    margin: 0 0 8px;
    font-size: 28px;
  }
  header p {
    margin: 0;
    color: var(--muted);
  }
  .subtitle {
    margin-top: 8px;
  }
  .record-file-line {
    margin-top: 4px;
    color: var(--muted);
    font-size: 13px;
    white-space: nowrap;
    overflow: hidden;
    text-overflow: ellipsis;
  }
  section {
    margin-top: 24px;
  }
  h2 {
    margin: 0 0 12px;
    font-size: 20px;
  }
  table {
    width: 100%;
    border-collapse: collapse;
    margin-top: 8px;
  }
  th, td {
    border: 1px solid var(--border);
    padding: 8px 10px;
    text-align: left;
    vertical-align: top;
  }
  th {
    background: var(--panel);
    width: 220px;
  }
  code {
    font-family: "IBM Plex Mono", "SFMono-Regular", ui-monospace, monospace;
    font-size: 12px;
    word-break: break-word;
  }
  .summary {
    display: flex;
    flex-wrap: wrap;
    gap: 12px;
  }
  .summary-card {
    padding: 10px 14px;
    border-radius: 12px;
    border: 1px solid var(--border);
    background: var(--panel);
  }
  .quick-grid {
    display: grid;
    gap: 10px;
    grid-template-columns: repeat(auto-fit, minmax(180px, 1fr));
    margin-top: 12px;
  }
  .quick-card {
    border: 1px solid var(--border);
    border-radius: 12px;
    padding: 10px 12px;
    background: var(--panel);
  }
  .quick-label {
    margin: 0;
    color: var(--muted);
    font-size: 12px;
    text-transform: uppercase;
    letter-spacing: 0.04em;
  }
  .quick-value {
    margin: 6px 0 0;
    font-weight: 600;
  }
  .quick-seal {
    margin: 14px 0 0;
    font-size: 13px;
    color: var(--muted);
  }
  .quick-trust-line {
    margin-top: 8px;
    font-weight: 600;
    color: var(--ink);
  }
  .quick-notes {
    margin: 8px 0 0;
    padding-left: 18px;
    color: var(--muted);
    font-size: 13px;
  }
  .quick-jumps {
    margin: 10px 0 0;
    font-size: 13px;
    color: var(--muted);
  }
  .quick-jumps a {
    color: var(--accent);
    text-decoration: none;
  }
  .quick-jumps a:hover {
    text-decoration: underline;
  }
  .quick-what {
    margin: 10px 0 0;
    color: var(--muted);
    font-size: 13px;
  }
  .quick-verdict {
    border-width: 2px;
  }
  .quick-fail {
    border: 1px solid var(--danger);
    background: rgba(185, 28, 28, 0.06);
    grid-column: 1 / -1;
  }
  .quick-fail-primary {
    margin: 6px 0 0;
    font-weight: 600;
    color: var(--danger);
  }
  .quick-pending {
    border: 1px solid #a16207;
    background: rgba(217, 119, 6, 0.08);
    grid-column: 1 / -1;
  }
  .quick-pending-primary {
    margin: 6px 0 0;
    font-weight: 600;
    color: #92400e;
  }
  .quick-value-small {
    margin: 6px 0 0;
    font-size: 13px;
    color: var(--muted);
  }
  .quick-chip-row {
    margin-top: 8px;
    display: flex;
    flex-wrap: wrap;
    gap: 6px;
  }
  .quick-chip {
    display: inline-flex;
    align-items: center;
    border: 1px solid var(--border);
    border-radius: 999px;
    padding: 2px 8px;
    font-size: 11px;
    background: var(--surface);
    color: var(--ink);
    text-transform: uppercase;
    letter-spacing: 0.04em;
  }
  .quick-chip-untrusted {
    border-color: var(--danger);
    color: var(--danger);
    background: rgba(185, 28, 28, 0.08);
  }
  .quick-verify {
    margin-top: 14px;
    border: 1px solid var(--border);
    border-radius: 12px;
    background: var(--panel);
    padding: 12px;
  }
  .quick-verify p {
    margin: 0;
  }
  .quick-links {
    margin: 8px 0 0;
    padding-left: 18px;
    color: var(--muted);
    font-size: 13px;
  }
  .quick-links a {
    color: var(--accent);
  }
  .filter-row {
    margin: 8px 0 12px;
    display: flex;
    flex-wrap: wrap;
    gap: 8px;
  }
  .filter-btn {
    border: 1px solid var(--border);
    background: var(--surface);
    color: var(--ink);
    border-radius: 999px;
    padding: 4px 10px;
    font-size: 12px;
    cursor: pointer;
  }
  .filter-btn.active {
    border-color: var(--accent);
    color: var(--accent);
    font-weight: 600;
  }
  .inline-note {
    margin-top: 8px;
    color: var(--muted);
    font-size: 12px;
  }
  .ops-grid {
    display: grid;
    gap: 12px;
    grid-template-columns: repeat(auto-fit, minmax(220px, 1fr));
  }
  .ops-card {
    border: 1px solid var(--border);
    border-radius: 12px;
    padding: 12px;
    background: var(--panel);
  }
  .ops-card h3 {
    margin: 0 0 8px;
    font-size: 16px;
  }
  .ops-list {
    margin: 0;
    padding-left: 18px;
    color: var(--muted);
    font-size: 14px;
  }
  .ops-list li + li {
    margin-top: 4px;
  }
  .ops-details {
    margin-top: 8px;
  }
  .ops-details > summary {
    cursor: pointer;
    color: var(--ink);
    font-size: 16px;
    font-weight: 600;
  }
  .ops-details-list {
    margin: 6px 0 0;
    padding-left: 18px;
    color: var(--muted);
    font-size: 12px;
  }
  .status-chip {
    display: inline-block;
    border-radius: 999px;
    padding: 3px 10px;
    font-size: 12px;
    font-weight: 600;
    border: 1px solid var(--border);
    background: var(--surface);
    margin-bottom: 8px;
  }
  .status-chip.blocked {
    border-color: #fca5a5;
    color: #991b1b;
    background: #fef2f2;
  }
  .status-chip.pending {
    border-color: #fcd34d;
    color: #92400e;
    background: #fffbeb;
  }
  .status-chip.closed {
    border-color: #86efac;
    color: #166534;
    background: #f0fdf4;
  }
  .timeline {
    display: flex;
    flex-direction: column;
    gap: 12px;
  }
  .event {
    border: 1px solid var(--border);
    border-radius: 12px;
    background: var(--panel);
    padding: 10px 12px;
  }
  .event summary {
    cursor: pointer;
    display: flex;
    align-items: center;
    gap: 12px;
    list-style: none;
    color: var(--ink);
    font-size: 16px;
    font-weight: 600;
  }
  .event summary::-webkit-details-marker {
    display: none;
  }
  .event-type {
    font-weight: 600;
  }
  .event-id {
    color: var(--muted);
    font-size: 12px;
  }
  .event-link {
    margin-left: auto;
    font-size: 12px;
    color: var(--accent);
    text-decoration: none;
  }
  .event-meta {
    color: var(--muted);
    font-size: 12px;
  }
  .notice {
    background: #fff7ed;
    border: 1px solid #fed7aa;
    color: #7c2d12;
    padding: 10px 12px;
    border-radius: 12px;
    margin-top: 12px;
  }
  .empty {
    color: var(--muted);
    font-style: italic;
  }
  .renderer-error {
    margin-top: 4px;
    font-size: 11px;
    color: var(--danger);
  }
  .technical-appendix {
    margin-top: 26px;
    border: 1px solid var(--border);
    border-radius: 12px;
    padding: 12px 14px;
    background: var(--surface);
  }
  .technical-appendix > summary {
    cursor: pointer;
    font-weight: 600;
    color: var(--ink);
    font-size: 16px;
  }
  .technical-appendix > summary::-webkit-details-marker {
    margin-right: 6px;
  }
  .technical-note {
    margin: 10px 0 0;
    color: var(--muted);
    font-size: 13px;
  }
  .appendix-stack {
    margin-top: 10px;
    display: grid;
    gap: 10px;
  }
  .appendix-stack details {
    border: 1px solid var(--border);
    border-radius: 10px;
    padding: 8px 10px;
    background: var(--panel);
  }
  .appendix-stack summary {
    cursor: pointer;
    font-weight: 600;
    color: var(--ink);
    font-size: 16px;
  }
  .terminal-diagram {
    margin: 8px 0 0;
    border: 1px solid var(--border);
    border-radius: 10px;
    background: #0f172a;
    color: #e2e8f0;
    padding: 10px;
    font-family: "IBM Plex Mono", "SFMono-Regular", ui-monospace, monospace;
    font-size: 12px;
    white-space: pre;
  }
  .not-present {
    margin-top: 8px;
    color: var(--muted);
    font-size: 13px;
  }
  .graph-toolbar {
    margin-top: 10px;
    display: flex;
    flex-wrap: wrap;
    align-items: center;
    gap: 8px;
  }
  .graph-toggle {
    border: 1px solid var(--border);
    background: var(--surface);
    color: var(--ink);
    border-radius: 999px;
    padding: 4px 10px;
    font-size: 12px;
    cursor: pointer;
  }
  .graph-toggle.active {
    border-color: var(--accent);
    color: var(--accent);
    font-weight: 600;
  }
  .graph-host {
    margin-top: 10px;
  }
  .graph-host[hidden] {
    display: none;
  }
  .opsproof-graph-svg {
    width: 100%;
    min-height: 420px;
    border: 1px solid var(--border);
    border-radius: 12px;
    background: var(--surface);
  }
  .opsproof-graph-edge {
    stroke: #94a3b8;
    stroke-width: 1.5;
    fill: none;
    marker-end: url(#opsproof-graph-arrow);
  }
  .opsproof-graph-node rect {
    fill: var(--panel);
    stroke: #94a3b8;
    stroke-width: 1.25;
  }
  .opsproof-graph-node text {
    font-size: 11px;
    fill: var(--ink);
    font-family: "IBM Plex Sans", "Inter", system-ui, -apple-system, sans-serif;
  }
  .opsproof-graph-node.status-fail rect {
    stroke: var(--danger);
    fill: rgba(185, 28, 28, 0.08);
  }
  .opsproof-graph-node.status-missing rect {
    stroke: #a16207;
    fill: rgba(217, 119, 6, 0.1);
  }
  .opsproof-graph-node.selected rect {
    stroke: var(--accent);
    stroke-width: 2;
  }
  .opsproof-graph-node-failing rect {
    stroke: var(--danger);
    stroke-width: 2;
  }
  .opsproof-graph-label {
    margin-top: 8px;
    color: var(--muted);
    font-size: 12px;
  }
  #opsproof-graph-details {
    margin-top: 10px;
    border: 1px solid var(--border);
    border-radius: 10px;
    background: var(--panel);
    padding: 10px 12px;
    display: grid;
    gap: 6px;
  }
  #opsproof-graph-details .opsproof-graph-title {
    margin: 0;
    font-weight: 600;
  }
  #opsproof-graph-details .opsproof-graph-meta {
    margin: 0;
    color: var(--muted);
    font-size: 13px;
  }
  #opsproof-graph-details .opsproof-graph-links {
    margin: 4px 0 0;
    padding-left: 18px;
    color: var(--muted);
    font-size: 13px;
  }
  #opsproof-graph-details .opsproof-graph-links a {
    color: var(--accent);
  }
  .opsproof-graph-empty {
    margin-top: 8px;
    color: var(--muted);
    font-size: 13px;
    border: 1px solid var(--border);
    border-radius: 10px;
    padding: 10px;
    background: var(--panel);
  }
  pre {
    border: 1px solid var(--border);
    border-radius: 12px;
    background: #0f172a;
    color: #e2e8f0;
    padding: 12px;
    overflow: auto;
    font-size: 12px;
    line-height: 1.5;
  }