:root {
    --ink: #1a1814;
    --ink-mid: #4a4640;
    --ink-light: #9a9490;
    --paper: #f7f4ef;
    --paper-mid: #ede9e2;
    --paper-dark: #ddd8cf;
    --accent: #8b3a2a;
    --accent-light: #c4735f;
    --success: #2a6b4a;
    --success-bg: #f0f7f3;
    --success-border: #b8d9c8;
    --warning: #7a5c1a;
    --warning-bg: #fdf5e0;
    --warning-border: #e8d090;
    --new-concept: #2a4a7a;
    --new-concept-bg: #eef3fa;
    --new-concept-border: #b0c4e0;
    --rule: #d0cbc2;
    --mono: 'JetBrains Mono', monospace;
    --serif: 'Spectral', Georgia, serif;
    --sans: 'Barlow', sans-serif;
  }

  * { box-sizing: border-box; margin: 0; padding: 0; }

  body {
    background: var(--paper);
    color: var(--ink);
    font-family: var(--sans);
    font-size: 15px;
    line-height: 1.6;
    min-height: 100vh;
  }

  header {
    border-bottom: 2px solid var(--ink);
    padding: 1.75rem 3rem 1.5rem;
    display: flex;
    align-items: baseline;
    gap: 2rem;
    flex-wrap: wrap;
  }

  .logo {
    font-family: var(--serif);
    font-weight: 300;
    font-size: 1.4rem;
    letter-spacing: -0.02em;
  }

  .logo em { font-style: italic; color: var(--accent); }

  .phase-tag {
    font-family: var(--mono);
    font-size: 0.68rem;
    letter-spacing: 0.12em;
    text-transform: uppercase;
    color: var(--paper);
    background: var(--accent);
    padding: 0.25rem 0.65rem;
    border-radius: 2px;
  }

  .nav-links {
    margin-left: auto;
    display: flex;
    gap: 1.5rem;
  }

  .nav-link {
    font-family: var(--mono);
    font-size: 0.65rem;
    letter-spacing: 0.08em;
    text-transform: uppercase;
    color: var(--ink-light);
    text-decoration: none;
    border-bottom: 1px solid transparent;
    transition: color 0.15s, border-color 0.15s;
  }

  .nav-link:hover { color: var(--accent); border-color: var(--accent); }

  .workspace {
    max-width: 1200px;
    margin: 0 auto;
    padding: 2.5rem 3rem;
  }

  .section-head {
    font-family: var(--mono);
    font-size: 0.65rem;
    letter-spacing: 0.15em;
    text-transform: uppercase;
    color: var(--ink-light);
    margin-bottom: 1.25rem;
    display: flex;
    align-items: center;
    gap: 0.75rem;
  }

  .section-head::after {
    content: '';
    flex: 1;
    height: 1px;
    background: var(--rule);
  }

  /* ── Stacked setup layout ── */
  .setup-grid {
    display: flex;
    flex-direction: column;
    gap: 2rem;
    margin-bottom: 2rem;
  }

  /* ── Upload zones ── */
  .upload-zone {
    border: 2px dashed var(--paper-dark);
    border-radius: 4px;
    padding: 1.5rem;
    text-align: center;
    cursor: pointer;
    transition: border-color 0.2s, background 0.2s;
    background: white;
    position: relative;
    min-height: 110px;
    display: flex;
    flex-direction: column;
    align-items: center;
    justify-content: center;
    gap: 0.4rem;
  }

  .upload-zone:hover, .upload-zone.drag-over {
    border-color: var(--accent-light);
    background: #fdf9f7;
  }

  .upload-zone.loaded {
    border-style: solid;
    border-color: var(--success);
    background: var(--success-bg);
    cursor: default;
  }

  .upload-zone input[type="file"] {
    position: absolute;
    inset: 0;
    opacity: 0;
    cursor: pointer;
    width: 100%;
    height: 100%;
  }

  .upload-zone.loaded input[type="file"] { pointer-events: none; }

  .upload-icon { font-size: 1.6rem; color: var(--ink-light); line-height: 1; }
  .upload-zone.loaded .upload-icon { color: var(--success); }

  .upload-text { font-size: 0.82rem; color: var(--ink-mid); }
  .upload-text strong { color: var(--ink); }
  .upload-zone.loaded .upload-text { color: var(--success); font-weight: 500; }

  .upload-sub {
    font-family: var(--mono);
    font-size: 0.65rem;
    color: var(--ink-light);
  }

  .upload-clear {
    position: absolute;
    top: 0.4rem;
    right: 0.5rem;
    background: none;
    border: none;
    cursor: pointer;
    color: var(--ink-light);
    font-size: 0.85rem;
    z-index: 2;
  }

  .upload-clear:hover { color: var(--accent); }

  /* ── Typology preview ── */
  .typology-preview {
    margin-top: 0.75rem;
    background: white;
    border: 1px solid var(--rule);
    border-radius: 3px;
    padding: 0.75rem 1rem;
    max-height: 160px;
    overflow-y: auto;
  }

  .typology-preview-item {
    display: flex;
    gap: 0.75rem;
    padding: 0.2rem 0;
    font-size: 0.75rem;
    border-bottom: 1px solid var(--paper-mid);
    align-items: baseline;
  }

  .typology-preview-item:last-child { border-bottom: none; }

  .preview-term {
    font-weight: 600;
    color: var(--ink);
    white-space: nowrap;
    min-width: 120px;
  }

  .preview-def {
    color: var(--ink-light);
    font-size: 0.72rem;
    font-style: italic;
    font-family: var(--serif);
    overflow: hidden;
    text-overflow: ellipsis;
    white-space: nowrap;
  }

  /* ── Document upload grid ── */
  .doc-grid {
    display: grid;
    grid-template-columns: repeat(auto-fill, minmax(130px, 1fr));
    gap: 0.6rem;
    margin-bottom: 1.5rem;
  }

  .doc-slot {
    border: 2px dashed var(--paper-dark);
    border-radius: 4px;
    min-height: 90px;
    display: flex;
    flex-direction: column;
    align-items: center;
    justify-content: center;
    gap: 0.3rem;
    cursor: pointer;
    transition: border-color 0.2s, background 0.2s;
    position: relative;
    background: white;
    padding: 0.75rem 0.5rem;
    text-align: center;
  }

  .doc-slot:hover, .doc-slot.drag-over {
    border-color: var(--accent-light);
    background: #fdf9f7;
  }

  .doc-slot.filled { border-style: solid; border-color: var(--success); background: var(--success-bg); }
  .doc-slot.processing { border-color: var(--accent); background: #fdf5f3; }
  .doc-slot.done { border-style: solid; border-color: var(--success); background: var(--success-bg); }
  .doc-slot.has-new { border-color: var(--new-concept); background: var(--new-concept-bg); }

  .doc-slot input[type="file"] {
    position: absolute;
    inset: 0;
    opacity: 0;
    cursor: pointer;
    width: 100%;
    height: 100%;
  }

  .doc-slot.filled input,
  .doc-slot.processing input,
  .doc-slot.done input,
  .doc-slot.has-new input { pointer-events: none; }

  .slot-icon { font-size: 1rem; color: var(--ink-light); }
  .doc-slot.filled .slot-icon,
  .doc-slot.done .slot-icon { color: var(--success); }
  .doc-slot.has-new .slot-icon { color: var(--new-concept); }
  .doc-slot.processing .slot-icon { display: none; }

  .slot-spinner {
    width: 16px;
    height: 16px;
    border: 2px solid var(--paper-dark);
    border-top-color: var(--accent);
    border-radius: 50%;
    animation: spin 0.7s linear infinite;
  }

  @keyframes spin { to { transform: rotate(360deg); } }

  .slot-name {
    font-size: 0.68rem;
    color: var(--ink-light);
    word-break: break-all;
    line-height: 1.3;
  }

  .doc-slot.filled .slot-name,
  .doc-slot.done .slot-name { color: var(--success); font-weight: 500; }
  .doc-slot.has-new .slot-name { color: var(--new-concept); font-weight: 500; }

  .slot-new-badge {
    font-family: var(--mono);
    font-size: 0.58rem;
    letter-spacing: 0.06em;
    text-transform: uppercase;
    background: var(--new-concept);
    color: white;
    padding: 0.1rem 0.3rem;
    border-radius: 2px;
    display: none;
  }

  .doc-slot.has-new .slot-new-badge { display: block; }

  .slot-clear {
    position: absolute;
    top: 0.25rem;
    right: 0.3rem;
    background: none;
    border: none;
    cursor: pointer;
    color: var(--ink-light);
    font-size: 0.75rem;
    z-index: 2;
  }

  .slot-clear:hover { color: var(--accent); }

  .add-slot-btn {
    display: inline-flex;
    align-items: center;
    gap: 0.5rem;
    border: 2px dashed var(--paper-dark);
    border-radius: 4px;
    padding: 0.6rem 1.25rem;
    cursor: pointer;
    background: white;
    transition: border-color 0.2s, background 0.2s;
    font-family: var(--mono);
    font-size: 0.72rem;
    color: var(--ink-light);
    user-select: none;
  }

  .add-slot-btn:hover { border-color: var(--accent-light); background: #fdf9f7; color: var(--accent); }

  /* ── Controls ── */
  .controls-row {
    display: flex;
    gap: 1rem;
    align-items: center;
    margin-bottom: 2rem;
    flex-wrap: wrap;
  }

  .run-btn {
    background: var(--ink);
    color: var(--paper);
    border: none;
    border-radius: 3px;
    padding: 0.8rem 2rem;
    font-family: var(--sans);
    font-size: 0.85rem;
    font-weight: 600;
    letter-spacing: 0.08em;
    text-transform: uppercase;
    cursor: pointer;
    transition: background 0.15s, transform 0.1s;
  }

  .run-btn:hover:not(:disabled) { background: var(--accent); }
  .run-btn:active:not(:disabled) { transform: translateY(1px); }
  .run-btn:disabled { background: var(--ink-light); cursor: not-allowed; }

  .run-note {
    font-family: var(--serif);
    font-style: italic;
    font-size: 0.82rem;
    color: var(--ink-light);
  }

  /* ── Pipeline ── */
  .pipeline {
    background: white;
    border: 1px solid var(--rule);
    border-radius: 4px;
    padding: 1.25rem 1.5rem;
    margin-bottom: 2rem;
    display: none;
  }

  .pipeline.active { display: block; }

  .pipeline-label {
    font-family: var(--mono);
    font-size: 0.65rem;
    letter-spacing: 0.12em;
    text-transform: uppercase;
    color: var(--ink-mid);
    margin-bottom: 0.85rem;
  }

  .pipeline-steps {
    display: flex;
    gap: 0;
    align-items: flex-start;
    flex-wrap: wrap;
  }

  .pipe-step {
    display: flex;
    flex-direction: column;
    align-items: center;
    gap: 0.35rem;
    flex: 1;
    min-width: 60px;
    position: relative;
  }

  .pipe-step:not(:last-child)::after {
    content: '';
    position: absolute;
    top: 12px;
    right: -50%;
    width: 100%;
    height: 2px;
    background: var(--paper-dark);
    z-index: 0;
  }

  .pipe-step.done:not(:last-child)::after { background: var(--success); }
  .pipe-step.active:not(:last-child)::after { background: var(--accent-light); }
  .pipe-step.has-new:not(:last-child)::after { background: var(--new-concept); }

  .pipe-dot {
    width: 24px;
    height: 24px;
    border-radius: 50%;
    border: 2px solid var(--paper-dark);
    background: white;
    display: flex;
    align-items: center;
    justify-content: center;
    font-family: var(--mono);
    font-size: 0.6rem;
    font-weight: 500;
    color: var(--ink-light);
    z-index: 1;
    transition: all 0.3s;
  }

  .pipe-step.done .pipe-dot { background: var(--success); border-color: var(--success); color: white; }
  .pipe-step.has-new .pipe-dot { background: var(--new-concept); border-color: var(--new-concept); color: white; }
  .pipe-step.active .pipe-dot {
    border-color: var(--accent);
    color: var(--accent);
    animation: pulse-dot 1s ease-in-out infinite;
  }

  @keyframes pulse-dot {
    0%, 100% { box-shadow: 0 0 0 0 rgba(139,58,42,0.3); }
    50% { box-shadow: 0 0 0 4px rgba(139,58,42,0); }
  }

  .pipe-label {
    font-size: 0.6rem;
    color: var(--ink-light);
    text-align: center;
    line-height: 1.2;
    max-width: 70px;
    overflow: hidden;
    text-overflow: ellipsis;
    white-space: nowrap;
  }

  .pipe-step.done .pipe-label { color: var(--success); }
  .pipe-step.has-new .pipe-label { color: var(--new-concept); font-weight: 600; }
  .pipe-step.active .pipe-label { color: var(--accent); font-weight: 500; }

  /* ── Results ── */
  .results-area { display: none; }
  .results-area.active { display: block; }

  /* ── Saturation verdict ── */
  .verdict {
    border-radius: 4px;
    padding: 1.25rem 1.5rem;
    margin-bottom: 2rem;
    display: flex;
    align-items: flex-start;
    gap: 1rem;
  }

  .verdict.saturated {
    background: var(--success-bg);
    border: 1px solid var(--success-border);
  }

  .verdict.unsaturated {
    background: var(--new-concept-bg);
    border: 1px solid var(--new-concept-border);
  }

  .verdict-icon { font-size: 1.5rem; line-height: 1; }

  .verdict-title {
    font-family: var(--sans);
    font-weight: 600;
    font-size: 0.9rem;
    margin-bottom: 0.25rem;
    color: var(--ink);
  }

  .verdict.saturated .verdict-title { color: var(--success); }
  .verdict.unsaturated .verdict-title { color: var(--new-concept); }

  .verdict-body {
    font-family: var(--serif);
    font-size: 0.85rem;
    color: var(--ink-mid);
    line-height: 1.6;
  }

  /* ── New concepts panel ── */
  .new-concepts-panel {
    background: var(--new-concept-bg);
    border: 1px solid var(--new-concept-border);
    border-radius: 4px;
    padding: 1.25rem 1.5rem;
    margin-bottom: 2rem;
  }

  .new-concepts-title {
    font-family: var(--mono);
    font-size: 0.65rem;
    letter-spacing: 0.12em;
    text-transform: uppercase;
    color: var(--new-concept);
    margin-bottom: 1rem;
  }

  .new-concept-card {
    background: white;
    border: 1px solid var(--new-concept-border);
    border-radius: 3px;
    padding: 0.85rem 1rem;
    margin-bottom: 0.6rem;
  }

  .new-concept-card:last-child { margin-bottom: 0; }

  .nc-term {
    font-weight: 600;
    color: var(--new-concept);
    font-size: 0.88rem;
    margin-bottom: 0.2rem;
  }

  .nc-def {
    font-size: 0.8rem;
    color: var(--ink-mid);
    margin-bottom: 0.35rem;
    font-family: var(--serif);
    font-style: italic;
  }

  .nc-source {
    font-family: var(--mono);
    font-size: 0.65rem;
    color: var(--new-concept);
    letter-spacing: 0.04em;
  }

  /* ── Per-document results table ── */
  .doc-results {
    background: white;
    border: 1px solid var(--rule);
    border-radius: 4px;
    overflow: hidden;
    margin-bottom: 2rem;
  }

  .doc-results-header {
    padding: 0.85rem 1.25rem;
    border-bottom: 1px solid var(--rule);
    display: flex;
    align-items: center;
    justify-content: space-between;
    flex-wrap: wrap;
    gap: 0.5rem;
  }

  .doc-results-title {
    font-family: var(--mono);
    font-size: 0.72rem;
    font-weight: 500;
    color: var(--ink);
    letter-spacing: 0.04em;
  }

  .doc-results-meta {
    display: flex;
    gap: 0.5rem;
  }

  .meta-chip {
    font-family: var(--mono);
    font-size: 0.6rem;
    letter-spacing: 0.06em;
    text-transform: uppercase;
    padding: 0.15rem 0.5rem;
    border-radius: 2px;
  }

  .chip-matched { background: var(--success-bg); color: var(--success); }
  .chip-new { background: var(--new-concept-bg); color: var(--new-concept); border: 1px solid var(--new-concept-border); }

  .concept-pills {
    padding: 0.85rem 1.25rem;
    display: flex;
    flex-wrap: wrap;
    gap: 0.4rem;
  }

  .concept-pill {
    font-family: var(--mono);
    font-size: 0.68rem;
    padding: 0.2rem 0.6rem;
    border-radius: 2px;
    background: var(--paper-mid);
    color: var(--ink-mid);
  }

  .concept-pill.important {
    background: var(--success-bg);
    color: var(--success);
    border: 1px solid var(--success-border);
  }

  /* ── Export bar ── */
  .export-bar {
    display: flex;
    gap: 0.75rem;
    margin-bottom: 3rem;
    flex-wrap: wrap;
  }

  .export-btn {
    background: var(--ink);
    color: var(--paper);
    border: none;
    border-radius: 3px;
    padding: 0.6rem 1.25rem;
    font-family: var(--mono);
    font-size: 0.68rem;
    letter-spacing: 0.1em;
    text-transform: uppercase;
    cursor: pointer;
    transition: background 0.15s;
  }

  .export-btn:hover { background: var(--success); }
  .export-btn.secondary {
    background: none;
    border: 1px solid var(--paper-dark);
    color: var(--ink-mid);
  }
  .export-btn.secondary:hover { background: var(--ink); color: var(--paper); border-color: var(--ink); }

  /* ── Error ── */
  .error-box {
    background: #fdf0ee;
    border: 1px solid #e8b4aa;
    border-radius: 3px;
    padding: 1rem 1.25rem;
    color: var(--accent);
    font-size: 0.82rem;
    margin-bottom: 1rem;
  }

  .error-box strong {
    display: block;
    font-family: var(--mono);
    font-size: 0.65rem;
    letter-spacing: 0.06em;
    text-transform: uppercase;
    margin-bottom: 0.25rem;
  }

  .callout {
    background: white;
    border-left: 3px solid var(--accent);
    padding: 1rem 1.25rem;
    margin-bottom: 2rem;
    font-family: var(--serif);
    font-size: 0.88rem;
    line-height: 1.7;
    color: var(--ink-mid);
  }

  .callout strong { color: var(--ink); font-family: var(--sans); font-size: 0.82rem; }

  @media (max-width: 768px) {
    .workspace { padding: 1.5rem; }
    header { padding: 1.25rem 1.5rem; }
  }

  /* ── Shared navigation ── */
  .cr-nav { border-bottom: 2px solid var(--ink); padding: 1rem 2rem; display: flex; align-items: center; gap: 1.5rem; flex-wrap: wrap; }
  .cr-nav-logo { font-family: var(--serif); font-weight: 300; font-size: 1.1rem; letter-spacing: -0.02em; text-decoration: none; color: var(--ink); flex-shrink: 0; }
  .cr-nav-logo em { font-style: italic; color: var(--accent); }
  .cr-phases { display: flex; align-items: center; gap: 0; }
  .cr-phase-link { font-family: var(--mono); font-size: 0.6rem; letter-spacing: 0.07em; text-transform: uppercase; text-decoration: none; padding: 0.3rem 0.65rem; border: 1px solid var(--paper-dark); border-right: none; color: var(--ink-light); transition: background 0.15s, color 0.15s; white-space: nowrap; }
  .cr-phase-link:first-child { border-radius: 3px 0 0 3px; }
  .cr-phase-link:last-child { border-right: 1px solid var(--paper-dark); border-radius: 0 3px 3px 0; }
  .cr-phase-link:hover { background: var(--paper-mid); color: var(--ink); }
  .cr-phase-link.current { background: var(--ink); color: var(--paper); border-color: var(--ink); }
  .cr-nav-home { margin-left: auto; font-family: var(--mono); font-size: 0.6rem; letter-spacing: 0.08em; text-transform: uppercase; text-decoration: none; color: var(--ink-light); border-bottom: 1px solid transparent; transition: color 0.15s, border-color 0.15s; }
  .cr-nav-home:hover { color: var(--accent); border-color: var(--accent); }
  .cr-bottom-nav { border-top: 1px solid var(--rule); padding: 1.5rem 2rem; display: flex; align-items: center; justify-content: space-between; flex-wrap: wrap; gap: 1rem; margin-top: 3rem; background: white; }
  .cr-bottom-btn { font-family: var(--mono); font-size: 0.65rem; letter-spacing: 0.08em; text-transform: uppercase; text-decoration: none; color: var(--ink-mid); padding: 0.5rem 1rem; border: 1px solid var(--paper-dark); border-radius: 3px; transition: all 0.15s; }
  .cr-bottom-btn:hover { background: var(--ink); color: var(--paper); border-color: var(--ink); }
  .cr-bottom-btn.ghost { opacity: 0.25; pointer-events: none; }
  .cr-bottom-center { font-family: var(--mono); font-size: 0.62rem; letter-spacing: 0.1em; text-transform: uppercase; color: var(--ink-light); text-align: center; }