
  /* === Design intent === */
  /* This is a research tool, not a chatbot. The aesthetic is deliberately */
  /* spare: monospace for structural content, serif for prose, restrained */
  /* color, generous whitespace. Every visible element corresponds to */
  /* something architectural: cluster activation, cue match, constraint */
  /* trigger, citation. The UI's job is to make the retrieval discipline */
  /* visible. */

  :root {
    --ink:        #1a1a18;
    --ink-soft:   #4a4a45;
    --ink-faint:  #8a8a82;
    --paper:      #f6f3ec;
    --paper-deep: #ede8dc;
    --accent:     #8b3a2e;       /* oxblood — for cited claims */
    --accent-2:   #2d4a3e;       /* forest — for constraints */
    --accent-3:   #5a4a8c;       /* iris — for synthesis/inference */
    --warn:       #b85c00;       /* amber — for gaps */
    --rule:       #cfc8b8;
    --shadow:     0 1px 0 rgba(0,0,0,0.04), 0 2px 8px rgba(40,30,15,0.06);
  }

  * { box-sizing: border-box; }

  html, body {
    margin: 0; padding: 0;
    background: var(--paper);
    color: var(--ink);
    font-family: 'Iowan Old Style', 'Palatino Linotype', 'Book Antiqua', Georgia, serif;
    font-size: 16px;
    line-height: 1.55;
  }

  .mono, code, pre, .id, .cluster-id, .cue, .anchor-loc {
    font-family: 'JetBrains Mono', 'IBM Plex Mono', 'SF Mono', Menlo, Consolas, monospace;
    font-feature-settings: "calt" 1, "liga" 0;
  }

  .container {
    max-width: 1180px;
    margin: 0 auto;
    padding: 32px 36px 64px;
  }

  /* === Header === */
  header {
    border-bottom: 1px solid var(--rule);
    padding-bottom: 20px;
    margin-bottom: 28px;
  }
  header .title-line {
    display: flex; align-items: baseline; gap: 14px;
    margin-bottom: 6px;
  }
  header h1 {
    font-size: 28px;
    font-weight: 600;
    margin: 0;
    letter-spacing: -0.01em;
  }
  header .vers {
    font-family: 'JetBrains Mono', monospace;
    font-size: 12px;
    color: var(--ink-faint);
    letter-spacing: 0.04em;
  }
  header .sub {
    font-style: italic;
    color: var(--ink-soft);
    font-size: 15px;
    max-width: 780px;
  }

  /* === Layout === */
  .layout {
    display: grid;
    grid-template-columns: 1fr 320px;
    gap: 36px;
  }
  @media (max-width: 880px) {
    .layout { grid-template-columns: 1fr; }
  }

  /* === Query input === */
  .query-card {
    background: var(--paper-deep);
    border: 1px solid var(--rule);
    border-radius: 4px;
    padding: 18px 20px;
    margin-bottom: 24px;
  }
  .query-card label {
    display: block;
    font-size: 12px;
    text-transform: uppercase;
    letter-spacing: 0.08em;
    color: var(--ink-faint);
    margin-bottom: 8px;
    font-family: 'JetBrains Mono', monospace;
    font-weight: 500;
  }
  .query-input {
    width: 100%;
    background: var(--paper);
    border: 1px solid var(--rule);
    border-radius: 3px;
    padding: 12px 14px;
    font-family: inherit;
    font-size: 16px;
    color: var(--ink);
    resize: vertical;
    min-height: 64px;
  }
  .query-input:focus {
    outline: none;
    border-color: var(--ink-soft);
  }
  .draft-input {
    min-height: 96px;
    margin-bottom: 12px;
  }
  .mode-selector {
    display: grid;
    grid-template-columns: repeat(4, minmax(0, 1fr));
    gap: 6px;
    margin-bottom: 16px;
  }
  .mode-selector label {
    display: flex;
    align-items: center;
    justify-content: center;
    min-height: 38px;
    margin: 0;
    padding: 8px 10px;
    background: var(--paper);
    border: 1px solid var(--rule);
    border-radius: 3px;
    color: var(--ink-soft);
    cursor: pointer;
    text-align: center;
    line-height: 1.25;
  }
  .mode-selector input { display: none; }
  .mode-selector label:has(input:checked) {
    background: var(--ink);
    border-color: var(--ink);
    color: var(--paper);
  }
  .mode-panel.hidden { display: none; }
  .mode-panel-note {
    color: var(--ink-faint);
    font-size: 13px;
    font-style: italic;
    margin: -2px 0 12px;
  }
  @media (max-width: 760px) {
    .mode-selector { grid-template-columns: 1fr 1fr; }
  }

  .controls {
    display: flex; gap: 10px; margin-top: 12px; align-items: center;
    flex-wrap: wrap;
  }
  .btn {
    background: var(--ink);
    color: var(--paper);
    border: none;
    padding: 9px 18px;
    font-family: 'JetBrains Mono', monospace;
    font-size: 13px;
    letter-spacing: 0.04em;
    cursor: pointer;
    border-radius: 3px;
    text-transform: uppercase;
  }
  .btn:hover { background: #2a2a26; }
  .btn:disabled { opacity: 0.4; cursor: not-allowed; }
  .btn-secondary {
    background: transparent;
    color: var(--ink-soft);
    border: 1px solid var(--rule);
  }
  .btn-secondary:hover { background: var(--paper-deep); color: var(--ink); }

  .audit-toggle {
    display: inline-flex;
    align-items: center;
    gap: 7px;
    background: var(--paper);
    border: 1px solid var(--rule);
    border-radius: 3px;
    padding: 8px 12px;
    font-family: 'JetBrains Mono', monospace;
    font-size: 12px;
    color: var(--ink-soft);
    cursor: pointer;
  }
  .audit-toggle input { accent-color: var(--ink); }

  .mode-toggle {
    display: inline-flex;
    background: var(--paper);
    border: 1px solid var(--rule);
    border-radius: 3px;
    overflow: hidden;
    font-family: 'JetBrains Mono', monospace;
    font-size: 12px;
  }
  .mode-toggle label {
    padding: 8px 14px;
    cursor: pointer;
    color: var(--ink-soft);
    border-right: 1px solid var(--rule);
  }
  .mode-toggle label:last-child { border-right: none; }
  .mode-toggle input { display: none; }
  .mode-toggle input:checked + label-text,
  .mode-toggle label:has(input:checked) {
    background: var(--ink);
    color: var(--paper);
  }

  .examples {
    margin-top: 14px;
    font-size: 13px;
  }
  .scenario-library {
    margin-top: 36px;
    padding-top: 22px;
    border-top: 1px solid var(--rule);
  }
  .scenario-library h2 {
    font-family: 'JetBrains Mono', monospace;
    font-size: 12px;
    text-transform: uppercase;
    letter-spacing: 0.08em;
    color: var(--ink-faint);
    font-weight: 500;
    margin: 0 0 14px;
  }
  .examples-label {
    color: var(--ink-faint);
    font-family: 'JetBrains Mono', monospace;
    font-size: 11px;
    text-transform: uppercase;
    letter-spacing: 0.06em;
    margin-bottom: 6px;
  }
  .example-chip {
    display: inline-block;
    background: var(--paper);
    border: 1px solid var(--rule);
    border-radius: 100px;
    padding: 4px 12px;
    margin: 3px 4px 3px 0;
    font-size: 12px;
    cursor: pointer;
    color: var(--ink-soft);
    transition: all 0.15s;
  }
  .example-chip:hover {
    background: var(--ink);
    color: var(--paper);
    border-color: var(--ink);
  }

  /* Scenario chips — like example chips but slightly larger and with a footnote line below for required packages */
  .scenario-group {
    margin-bottom: 14px;
  }
  .scenario-group:last-child {
    margin-bottom: 0;
  }
  .scenario-row {
    display: flex;
    align-items: baseline;
    gap: 8px;
    margin: 4px 0;
    flex-wrap: wrap;
  }
  .scenario-chip {
    display: inline-block;
    background: var(--paper);
    border: 1px solid var(--rule);
    border-radius: 100px;
    padding: 4px 12px;
    font-size: 12px;
    cursor: pointer;
    color: var(--ink-soft);
    transition: all 0.15s;
    white-space: nowrap;
  }
  .scenario-chip:hover {
    background: var(--ink);
    color: var(--paper);
    border-color: var(--ink);
  }
  .scenario-chip.missing {
    border-style: dashed;
    color: var(--ink-faint);
    background: transparent;
  }
  .scenario-needs {
    font-family: 'JetBrains Mono', monospace;
    font-size: 10px;
    color: var(--ink-faint);
    letter-spacing: 0.04em;
  }
  .scenario-needs .pkg-loaded {
    color: var(--accent-2);
  }
  .scenario-needs .pkg-missing {
    color: var(--warn);
    text-decoration: underline dotted;
  }
  .scenario-watch {
    font-size: 11px;
    color: var(--ink-soft);
    font-style: italic;
    margin: 2px 0 0 0;
    line-height: 1.4;
  }
  .scenario-missing-banner {
    background: rgba(184, 92, 0, 0.10);
    border: 1px solid rgba(184, 92, 0, 0.3);
    border-radius: 3px;
    padding: 8px 10px;
    margin: 6px 0;
    font-size: 12px;
    color: var(--ink);
  }
  .scenario-missing-banner button {
    margin-left: 6px;
    font-size: 11px;
    padding: 2px 8px;
  }

  /* === Pipeline trace === */
  .trace {
    margin-bottom: 28px;
  }
  .trace h2 {
    font-size: 13px;
    text-transform: uppercase;
    letter-spacing: 0.08em;
    color: var(--ink-faint);
    font-family: 'JetBrains Mono', monospace;
    font-weight: 500;
    margin: 0 0 12px;
  }
  .pipeline {
    display: flex;
    gap: 0;
    background: var(--paper-deep);
    border: 1px solid var(--rule);
    border-radius: 4px;
    overflow: hidden;
    flex-wrap: wrap;
  }
  .step {
    padding: 10px 14px;
    font-family: 'JetBrains Mono', monospace;
    font-size: 11px;
    color: var(--ink-faint);
    border-right: 1px solid var(--rule);
    flex: 1;
    min-width: 110px;
    transition: all 0.2s;
  }
  .step:last-child { border-right: none; }
  .step.active { background: var(--ink); color: var(--paper); }
  .step.skipped { color: var(--ink-faint); opacity: 0.4; }
  .step .label { font-weight: 600; display: block; margin-bottom: 2px; }
  .step .count { font-size: 10px; opacity: 0.8; }

  /* === Response sections === */
  .section {
    margin-bottom: 24px;
    padding: 18px 22px;
    border: 1px solid var(--rule);
    border-radius: 4px;
    background: var(--paper-deep);
    box-shadow: var(--shadow);
  }
  .section.hidden { display: none; }
  .section-label {
    font-family: 'JetBrains Mono', monospace;
    font-size: 11px;
    text-transform: uppercase;
    letter-spacing: 0.08em;
    color: var(--ink-faint);
    margin-bottom: 10px;
    display: flex; justify-content: space-between; align-items: baseline;
  }
  .section-label .marker {
    display: inline-block;
    width: 18px; height: 18px;
    border-radius: 100px;
    text-align: center;
    line-height: 18px;
    font-weight: 600;
    margin-right: 8px;
    font-size: 10px;
    color: var(--paper);
  }

  .section-A .marker { background: var(--accent); }
  .section-B .marker { background: var(--accent-2); }
  .section-C .marker { background: var(--ink-soft); }
  .section-D .marker { background: var(--accent-3); }
  .section-G .marker { background: var(--warn); }

  .section-A      { border-left: 3px solid var(--accent); }
  .section-B      { border-left: 3px solid var(--accent-2); }
  .section-C      { border-left: 3px solid var(--ink-soft); }
  .section-D      { border-left: 3px solid var(--accent-3); }
  .section-G      { border-left: 3px solid var(--warn); }
  .section-summary { border-left: 3px solid var(--accent-3); }
  .section-next { border-left: 3px solid var(--warn); }
  .section-audit { border-left: 3px solid var(--warn); }
  .section-compare { border-left: 3px solid var(--ink-soft); }
  .friendly-status {
    display: inline-block;
    font-family: 'JetBrains Mono', monospace;
    font-size: 10px;
    text-transform: uppercase;
    letter-spacing: 0.04em;
    color: var(--accent-3);
    background: rgba(90, 74, 140, 0.10);
    border-radius: 100px;
    padding: 2px 8px;
  }
  .answer-why {
    margin: 10px 0 0 0;
    padding-left: 20px;
  }
  .answer-why li { margin: 4px 0; }
  .comparison-grid {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 14px;
  }
  .comparison-pane {
    background: var(--paper);
    border: 1px solid var(--rule);
    border-radius: 3px;
    padding: 12px 14px;
  }
  .comparison-pane h4 {
    margin: 0 0 8px;
    font-family: 'JetBrains Mono', monospace;
    font-size: 11px;
    text-transform: uppercase;
    letter-spacing: 0.06em;
    color: var(--ink-soft);
  }
  .comparison-answer {
    font-size: 15px;
    line-height: 1.6;
  }
  .comparison-meta {
    margin: 8px 0 12px;
    color: var(--ink-faint);
    font-family: 'JetBrains Mono', monospace;
    font-size: 10px;
    line-height: 1.45;
  }
  .diagnostic-row {
    display: grid;
    grid-template-columns: repeat(5, 1fr);
    gap: 8px;
    margin-top: 14px;
  }
  .diagnostic-field {
    background: var(--paper);
    border: 1px solid var(--rule);
    border-radius: 3px;
    padding: 8px 10px;
    min-width: 0;
  }
  .diagnostic-field span {
    display: block;
    font-family: 'JetBrains Mono', monospace;
    font-size: 10px;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    color: var(--ink-faint);
    margin-bottom: 4px;
  }
  .diagnostic-field strong {
    display: block;
    font-size: 12px;
    color: var(--ink);
    overflow-wrap: anywhere;
  }
  .claim-table {
    width: 100%;
    border-collapse: collapse;
    font-size: 13px;
  }
  .claim-table th {
    text-align: left;
    font-family: 'JetBrains Mono', monospace;
    font-size: 10px;
    text-transform: uppercase;
    letter-spacing: 0.06em;
    color: var(--ink-faint);
    border-bottom: 1px solid var(--rule);
    padding: 6px 7px;
  }
  .claim-table td {
    vertical-align: top;
    border-bottom: 1px dotted var(--rule);
    padding: 8px 7px;
  }
  .claim-table tr:last-child td { border-bottom: none; }
  .verdict-pill {
    display: inline-block;
    border-radius: 100px;
    padding: 2px 8px;
    font-family: 'JetBrains Mono', monospace;
    font-size: 10px;
    text-transform: uppercase;
    letter-spacing: 0.04em;
    background: rgba(74,74,69,0.10);
    color: var(--ink-soft);
    white-space: nowrap;
  }
  @media (max-width: 760px) {
    .comparison-grid { grid-template-columns: 1fr; }
    .diagnostic-row { grid-template-columns: 1fr; }
  }
  .protocol-trace {
    margin-top: 6px;
  }
  .protocol-trace > summary {
    background: var(--paper-deep);
    border: 1px solid var(--rule);
    border-radius: 4px;
    padding: 12px 14px;
    box-shadow: var(--shadow);
  }
  .protocol-trace[open] > summary {
    margin-bottom: 12px;
  }

  .section-content {
    font-size: 16px;
    line-height: 1.65;
  }
  .section-content p { margin: 0 0 10px; }
  .section-content p:last-child { margin-bottom: 0; }

  /* === Audit trace rows (Section A) === */
  .trace-row {
    display: grid;
    grid-template-columns: 180px 1fr;
    gap: 14px;
    padding: 8px 0;
    border-bottom: 1px dotted var(--rule);
  }
  .trace-row:last-child { border-bottom: none; }
  .trace-row-label {
    font-family: 'JetBrains Mono', monospace;
    font-size: 11px;
    text-transform: uppercase;
    letter-spacing: 0.06em;
    color: var(--ink-faint);
    padding-top: 2px;
  }
  .trace-row-body { font-size: 14px; }
  .trace-list {
    list-style: none;
    margin: 0;
    padding: 0;
    font-size: 13px;
  }
  .trace-list li {
    padding: 3px 0;
    border-bottom: 1px dotted transparent;
  }
  .trace-list li code {
    font-size: 11px;
    color: var(--ink);
  }
  @media (max-width: 720px) {
    .trace-row { grid-template-columns: 1fr; gap: 4px; }
  }

  /* === Citations === */
  .citation {
    font-family: 'JetBrains Mono', monospace;
    font-size: 11px;
    color: var(--accent);
    background: rgba(139, 58, 46, 0.07);
    padding: 1px 5px;
    border-radius: 2px;
    cursor: pointer;
    text-decoration: none;
    border-bottom: 1px dotted var(--accent);
    transition: all 0.15s;
  }
  .citation:hover {
    background: var(--accent);
    color: var(--paper);
    border-bottom-color: var(--accent);
  }

  /* === Constraint blocks === */
  .constraint {
    background: var(--paper);
    border: 1px solid var(--rule);
    border-left: 3px solid var(--accent-2);
    padding: 10px 14px;
    margin-bottom: 8px;
    border-radius: 2px;
    font-size: 14px;
  }
  .constraint:last-child { margin-bottom: 0; }
  .constraint-id {
    font-family: 'JetBrains Mono', monospace;
    font-size: 11px;
    color: var(--accent-2);
    margin-bottom: 4px;
  }
  .constraint-rule { font-style: italic; color: var(--ink); }
  .constraint-repair {
    font-size: 13px;
    color: var(--ink-soft);
    margin-top: 6px;
  }
  .constraint-repair::before {
    content: "↳ Repair: ";
    font-family: 'JetBrains Mono', monospace;
    font-size: 11px;
    color: var(--accent-2);
    font-style: normal;
  }

  /* === Sidebar === */
  .sidebar {
    font-size: 13px;
  }
  .sidebar-card {
    background: var(--paper-deep);
    border: 1px solid var(--rule);
    border-radius: 4px;
    padding: 14px 16px;
    margin-bottom: 16px;
  }
  .sidebar-card h3 {
    font-family: 'JetBrains Mono', monospace;
    font-size: 11px;
    text-transform: uppercase;
    letter-spacing: 0.08em;
    color: var(--ink-faint);
    font-weight: 500;
    margin: 0 0 10px;
  }
  .sidebar-card .field {
    display: flex; justify-content: space-between;
    margin-bottom: 4px;
    font-family: 'JetBrains Mono', monospace;
    font-size: 12px;
  }
  .sidebar-card .field span:first-child { color: var(--ink-soft); }
  .sidebar-card .field span:last-child { color: var(--ink); font-weight: 600; }

  .frame-tag {
    display: inline-block;
    font-family: 'JetBrains Mono', monospace;
    font-size: 10px;
    background: var(--paper);
    border: 1px solid var(--rule);
    padding: 2px 6px;
    margin: 2px 2px 2px 0;
    border-radius: 2px;
    color: var(--ink-soft);
  }

  .api-key-input {
    width: 100%;
    background: var(--paper);
    border: 1px solid var(--rule);
    border-radius: 3px;
    padding: 8px 10px;
    font-family: 'JetBrains Mono', monospace;
    font-size: 12px;
    margin-bottom: 8px;
  }
  .api-provider-tabs {
    display: grid;
    grid-template-columns: repeat(3, 1fr);
    gap: 4px;
    margin-bottom: 10px;
  }
  .api-provider-tabs label {
    display: flex;
    align-items: center;
    justify-content: center;
    min-height: 32px;
    background: var(--paper);
    border: 1px solid var(--rule);
    border-radius: 3px;
    color: var(--ink-soft);
    cursor: pointer;
    font-family: 'JetBrains Mono', monospace;
    font-size: 10px;
    letter-spacing: 0.04em;
    text-transform: uppercase;
  }
  .api-provider-tabs input { display: none; }
  .api-provider-tabs label:has(input:checked) {
    background: var(--ink);
    border-color: var(--ink);
    color: var(--paper);
  }
  .api-provider-panel { display: none; }
  .api-provider-panel.active { display: block; }
  .api-model-input {
    width: 100%;
    background: transparent;
    border: 1px dotted var(--rule);
    border-radius: 3px;
    padding: 6px 8px;
    font-family: 'JetBrains Mono', monospace;
    font-size: 11px;
    color: var(--ink-soft);
    margin-bottom: 8px;
  }
  .api-help {
    font-size: 11px;
    color: var(--ink-faint);
    line-height: 1.4;
  }
  .api-help a { color: var(--ink-soft); }

  /* === Cluster activation table === */
  .cluster-table {
    font-family: 'JetBrains Mono', monospace;
    font-size: 11px;
    width: 100%;
    border-collapse: collapse;
    margin-top: 6px;
  }
  .cluster-table tr:not(:last-child) {
    border-bottom: 1px dotted var(--rule);
  }
  .cluster-table td { padding: 4px 0; }
  .cluster-table td:first-child {
    color: var(--ink);
    padding-right: 8px;
  }
  .cluster-table td:last-child {
    text-align: right;
    color: var(--ink-soft);
  }

  /* === Anchor popovers === */
  .anchor-popover {
    position: fixed;
    background: var(--ink);
    color: var(--paper);
    padding: 10px 12px;
    border-radius: 3px;
    font-size: 12px;
    line-height: 1.5;
    max-width: 380px;
    z-index: 100;
    box-shadow: 0 4px 16px rgba(0,0,0,0.2);
    pointer-events: none;
  }
  .anchor-popover .anc-loc {
    font-family: 'JetBrains Mono', monospace;
    font-size: 10px;
    color: var(--paper-deep);
    margin-bottom: 4px;
    text-transform: uppercase;
    letter-spacing: 0.04em;
  }
  .anchor-popover .anc-excerpt { font-style: italic; }
  .anchor-popover.hidden { display: none; }

  /* === Empty state === */
  .empty-state {
    text-align: center;
    padding: 60px 20px;
    color: var(--ink-faint);
    font-style: italic;
  }
  .empty-state .marks {
    font-family: 'JetBrains Mono', monospace;
    font-size: 24px;
    color: var(--ink-faint);
    margin-bottom: 12px;
    letter-spacing: 0.4em;
  }

  /* === Footer === */
  footer {
    margin-top: 48px;
    padding-top: 20px;
    border-top: 1px solid var(--rule);
    font-size: 12px;
    color: var(--ink-faint);
    line-height: 1.6;
  }
  footer code { font-size: 11px; color: var(--ink-soft); }

  /* === Loading === */
  .loading-dots::after {
    content: '';
    animation: dots 1.4s infinite;
  }
  @keyframes dots {
    0%, 20% { content: ''; }
    40% { content: '.'; }
    60% { content: '..'; }
    80%, 100% { content: '...'; }
  }

  /* === Status pill === */
  .status-pill {
    display: inline-block;
    padding: 1px 8px;
    border-radius: 100px;
    font-family: 'JetBrains Mono', monospace;
    font-size: 10px;
    text-transform: uppercase;
    letter-spacing: 0.04em;
  }
  .status-draft { background: rgba(184, 92, 0, 0.12); color: var(--warn); }
  .status-vetted { background: rgba(45, 74, 62, 0.12); color: var(--accent-2); }

  details summary {
    cursor: pointer; user-select: none;
    font-family: 'JetBrains Mono', monospace;
    font-size: 11px;
    color: var(--ink-soft);
    padding: 4px 0;
  }
  details[open] summary { color: var(--ink); }
  details summary::-webkit-details-marker { color: var(--ink-faint); }
