static/css/styles.css

/* ── Design tokens (matching nipunbatra.github.io/common.css) ── */
:root {
  --ink: #1a1a2e;
  --muted: #5a6070;
  --paper: #ffffff;
  --accent: #c44536;
  --accent-hover: #a63c30;
  --line: rgba(26, 26, 46, 0.1);
  --shadow-sm: 0 2px 8px rgba(26, 26, 46, 0.06);
  --shadow-md: 0 8px 30px rgba(26, 26, 46, 0.12);
  --nav-bg: rgba(255, 255, 255, 0.95);
  --surface: #f8f9fa;
  --green: #4a9a6a;
  --green-bg: rgba(74, 154, 106, 0.08);
  --amber: #c08830;
  --amber-bg: rgba(192, 136, 48, 0.08);
  --violet: #7a5ab8;
  --violet-bg: rgba(122, 90, 184, 0.08);
  --teal: #2a8a8a;
  --teal-bg: rgba(42, 138, 138, 0.08);
  --red: #c44536;
  --mono: 'IBM Plex Mono', monospace;
  --serif: 'Playfair Display', Georgia, serif;
  --sans: 'Work Sans', system-ui, sans-serif;
}
[data-theme="dark"] {
  --ink: #e8e8e8;
  --muted: #a0a0a0;
  --paper: #1a1a2e;
  --accent: #e07a6b;
  --accent-hover: #f09080;
  --line: rgba(255, 255, 255, 0.1);
  --shadow-sm: 0 2px 8px rgba(0, 0, 0, 0.2);
  --shadow-md: 0 8px 30px rgba(0, 0, 0, 0.3);
  --nav-bg: rgba(26, 26, 46, 0.95);
  --surface: #232340;
  --green: #58d098;
  --amber: #e8a850;
  --violet: #a080f0;
  --teal: #50c8d8;
  --red: #e07a6b;
}

* { box-sizing: border-box; margin: 0; padding: 0; }
html { scroll-behavior: smooth; }
body {
  font-family: var(--sans);
  background: var(--paper);
  color: var(--ink);
  line-height: 1.7;
  font-size: 14px;
  min-height: 100vh;
}

/* ── Nav ── */
nav {
  position: sticky; top: 0; z-index: 100;
  background: var(--nav-bg);
  backdrop-filter: blur(10px);
  -webkit-backdrop-filter: blur(10px);
  border-bottom: 1px solid var(--line);
}
.nav-inner {
  max-width: 960px;
  margin: 0 auto;
  padding: 12px 24px;
  display: flex;
  justify-content: space-between;
  align-items: center;
}
.logo {
  font-family: var(--serif);
  font-size: 1.3rem;
  font-weight: 600;
  color: var(--ink);
}
.logo small {
  font-family: var(--mono);
  font-size: 0.6rem;
  font-weight: 400;
  color: var(--accent);
  margin-left: 8px;
  letter-spacing: 0.5px;
}
.nav-right { display: flex; align-items: center; gap: 8px; }
.tab-btn {
  font-family: var(--sans);
  font-size: 0.85rem;
  background: none;
  border: none;
  padding: 6px 14px;
  color: var(--muted);
  cursor: pointer;
  border-radius: 6px;
  transition: all 0.2s;
}
.tab-btn:hover { color: var(--ink); background: var(--surface); }
.tab-btn.active { color: var(--accent); background: rgba(196, 69, 54, 0.08); font-weight: 500; }
[data-theme="dark"] .tab-btn.active { background: rgba(224, 122, 107, 0.12); }
.theme-toggle {
  background: none;
  border: 1px solid var(--line);
  border-radius: 50%;
  width: 34px; height: 34px;
  cursor: pointer;
  display: flex; align-items: center; justify-content: center;
  color: var(--muted);
  transition: all 0.2s;
  margin-left: 8px;
}
.theme-toggle:hover { border-color: var(--accent); color: var(--accent); }
.theme-toggle .sun { display: none; }
.theme-toggle .moon { display: block; }
[data-theme="dark"] .theme-toggle .sun { display: block; }
[data-theme="dark"] .theme-toggle .moon { display: none; }

/* ── Main container ── */
.container {
  max-width: 960px;
  margin: 0 auto;
  padding: 24px;
}
.tab-panel { display: none; }
.tab-panel.active { display: block; }

/* ── Pipeline tab: controls ── */
.controls {
  display: flex; flex-wrap: wrap; gap: 10px; align-items: flex-end;
  margin-bottom: 16px;
}
.control-group { display: flex; flex-direction: column; gap: 4px; }
.control-group label {
  font-family: var(--mono);
  font-size: 0.7rem;
  color: var(--muted);
  letter-spacing: 0.5px;
  text-transform: uppercase;
}
.control-group select,
.control-group textarea {
  font-family: var(--sans);
  font-size: 0.85rem;
  background: var(--surface);
  color: var(--ink);
  border: 1px solid var(--line);
  border-radius: 6px;
  padding: 8px 12px;
  outline: none;
  transition: border-color 0.2s;
}
.control-group select:focus,
.control-group textarea:focus { border-color: var(--accent); }
.control-group select { min-width: 140px; cursor: pointer; }
.query-area { flex: 1; min-width: 280px; }
.query-area textarea {
  width: 100%;
  min-height: 60px;
  resize: vertical;
}
.run-btn {
  font-family: var(--sans);
  font-size: 0.85rem;
  font-weight: 500;
  background: var(--accent);
  color: #fff;
  border: none;
  border-radius: 6px;
  padding: 10px 22px;
  cursor: pointer;
  transition: background 0.2s;
  white-space: nowrap;
  align-self: flex-end;
}
.run-btn:hover { background: var(--accent-hover); }
.run-btn:disabled { opacity: 0.5; cursor: not-allowed; }

/* ── Weight pills ── */
.weight-pills {
  display: flex; flex-wrap: wrap; gap: 8px;
  margin-bottom: 20px;
}
.weight-pill {
  font-family: var(--mono);
  font-size: 0.72rem;
  padding: 4px 12px;
  border-radius: 20px;
  border: 1px solid var(--line);
  background: var(--surface);
  color: var(--muted);
}
.weight-pill .dim { font-weight: 500; }
.weight-pill.p { background: var(--green-bg); border-color: var(--green); }
.weight-pill.p .dim { color: var(--green); }
.weight-pill.l { background: var(--violet-bg); border-color: var(--violet); }
.weight-pill.l .dim { color: var(--violet); }
.weight-pill.e { background: var(--teal-bg); border-color: var(--teal); }
.weight-pill.e .dim { color: var(--teal); }
.weight-pill.s { background: var(--amber-bg); border-color: var(--amber); }
.weight-pill.s .dim { color: var(--amber); }

/* ── Pipeline output ── */
.pipeline-output {
  min-height: 200px;
}
.empty-state {
  text-align: center;
  padding: 60px 20px;
  color: var(--muted);
}
.empty-state h3 {
  font-family: var(--serif);
  font-size: 1.2rem;
  font-weight: 400;
  color: var(--ink);
  margin-bottom: 8px;
}

/* ── Layer cards ── */
.pipeline-layer {
  border: 1px solid var(--line);
  border-radius: 8px;
  margin-bottom: 10px;
  overflow: hidden;
  background: var(--paper);
  box-shadow: var(--shadow-sm);
}
.layer-header {
  display: flex; justify-content: space-between; align-items: center;
  padding: 10px 14px;
  cursor: pointer;
  transition: background 0.15s;
}
.layer-header:hover { background: var(--surface); }
.layer-title { display: flex; align-items: center; gap: 10px; }
.layer-num {
  font-family: var(--mono);
  font-size: 0.7rem;
  font-weight: 500;
  color: var(--accent);
  background: rgba(196, 69, 54, 0.08);
  padding: 2px 8px;
  border-radius: 4px;
}
[data-theme="dark"] .layer-num { background: rgba(224, 122, 107, 0.12); }
.layer-name {
  font-family: var(--sans);
  font-size: 0.85rem;
  font-weight: 500;
  color: var(--ink);
}
.layer-status {
  font-family: var(--mono);
  font-size: 0.65rem;
  padding: 2px 10px;
  border-radius: 10px;
  letter-spacing: 0.5px;
}
.status-running { background: rgba(176, 112, 32, 0.1); color: var(--amber); }
.status-pass { background: rgba(42, 122, 74, 0.1); color: var(--green); }
.status-done { background: rgba(42, 122, 74, 0.1); color: var(--green); }
.status-fail { background: rgba(196, 69, 54, 0.1); color: var(--red); }
.layer-chevron {
  font-size: 0.6rem;
  color: var(--muted);
  transition: transform 0.2s;
  margin-left: 8px;
  display: inline-block;
}
.layer-header.expanded .layer-chevron {
  transform: rotate(90deg);
}
.layer-body { padding: 0 14px 12px; }

/* ── Candidates ── */
.candidates { display: flex; flex-wrap: wrap; gap: 6px; margin-top: 6px; }
.candidate-chip {
  font-family: var(--mono);
  font-size: 0.68rem;
  padding: 4px 10px;
  border-radius: 4px;
  background: var(--surface);
  border: 1px solid var(--line);
  color: var(--ink);
  max-width: 100%;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}

/* ── Evidence ── */
.evidence-list { margin-top: 6px; }
.evidence-item {
  display: flex; gap: 8px; align-items: flex-start;
  padding: 6px 0;
  border-bottom: 1px solid var(--line);
  font-size: 0.8rem;
}
.evidence-item:last-child { border-bottom: none; }
.evidence-score {
  font-family: var(--mono);
  font-size: 0.7rem;
  color: var(--teal);
  flex-shrink: 0;
}
.evidence-text { color: var(--ink); }
.evidence-source {
  font-family: var(--mono);
  font-size: 0.68rem;
  color: var(--muted);
  word-break: break-all;
  overflow: hidden;
  text-overflow: ellipsis;
  max-width: 100%;
}
/* Prevent any URL from breaking layout */
.pipeline-output a, .committed-card a, .baseline-card a {
  word-break: break-all;
  overflow-wrap: anywhere;
}
.pipeline-output { overflow-x: hidden; }

/* ── Score display ── */
.score-card {
  border: 1px solid var(--line);
  border-radius: 8px;
  padding: 16px;
  margin-top: 12px;
  background: var(--paper);
  box-shadow: var(--shadow-sm);
}
.score-header {
  display: flex; justify-content: space-between; align-items: center;
  margin-bottom: 12px;
}
.score-total {
  font-family: var(--mono);
  font-size: 1.6rem;
  font-weight: 500;
}
.score-meta {
  font-family: var(--mono);
  font-size: 0.7rem;
  color: var(--muted);
}
.score-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 8px; }
.score-item { display: flex; flex-direction: column; gap: 4px; }
.score-label {
  display: flex; justify-content: space-between;
  font-family: var(--mono);
  font-size: 0.72rem;
}
.score-bar {
  height: 6px;
  background: var(--surface);
  border-radius: 3px;
  overflow: hidden;
}
.score-fill {
  height: 100%;
  border-radius: 3px;
  transition: width 0.4s ease;
}
.score-fill.p { background: var(--accent); }
.score-fill.l { background: var(--violet); }
.score-fill.e { background: var(--teal); }
.score-fill.s { background: var(--amber); }

/* ── Answer text ── */
.answer-text {
  font-size: 0.82rem;
  color: var(--muted);
  margin-top: 10px;
  line-height: 1.6;
  font-family: var(--mono);
}

/* ── Log line (SSE log events) ── */
.log-line {
  font-family: var(--mono);
  font-size: 0.7rem;
  padding: 3px 10px;
  border-left: 2px solid var(--line);
  margin-bottom: 2px;
  background: var(--surface);
  border-radius: 0 4px 4px 0;
}
.log-line .ts {
  color: var(--muted);
  font-size: 0.6rem;
  margin-right: 6px;
}
.log-HEAD { border-left-color: var(--accent); color: var(--accent); }
.log-SUCCESS { border-left-color: var(--green); color: var(--green); }
.log-WARN { border-left-color: var(--amber); color: var(--amber); }
.log-ERROR { border-left-color: var(--red); color: var(--red); }
.log-SCORE { border-left-color: var(--accent); color: var(--accent); }
.log-API { border-left-color: var(--violet); color: var(--violet); }
.log-INFO { border-left-color: var(--muted); color: var(--muted); }

/* ── Cost bar ── */
.cost-bar {
  font-family: var(--mono);
  font-size: 0.68rem;
  color: var(--muted);
  padding: 10px 12px;
  background: var(--surface);
  border: 1px solid var(--line);
  border-radius: 6px;
  margin-top: 10px;
}

/* ── Error note ── */
.error-note {
  padding: 12px 14px;
  border: 1px solid rgba(196, 69, 54, 0.3);
  border-radius: 6px;
  background: rgba(196, 69, 54, 0.04);
  margin-top: 8px;
  font-size: 0.82rem;
  color: var(--red);
}
[data-theme="dark"] .error-note { background: rgba(224, 122, 107, 0.08); }

/* ── KG Rules tab ── */
.kg-heading {
  font-family: var(--serif);
  font-size: 1.2rem;
  font-weight: 500;
  margin-bottom: 16px;
  color: var(--ink);
}
.kg-domain-select {
  margin-bottom: 20px;
  display: flex; gap: 8px; flex-wrap: wrap;
}
.kg-domain-btn {
  font-family: var(--sans);
  font-size: 0.8rem;
  padding: 6px 16px;
  border: 1px solid var(--line);
  border-radius: 20px;
  background: var(--paper);
  color: var(--muted);
  cursor: pointer;
  transition: all 0.2s;
}
.kg-domain-btn:hover { border-color: var(--accent); color: var(--accent); }
.kg-domain-btn.active { background: var(--accent); color: #fff; border-color: var(--accent); }
[data-theme="dark"] .kg-domain-btn.active { background: var(--accent); color: #1a1a2e; }
.kg-card {
  border: 1px solid var(--line);
  border-radius: 8px;
  padding: 14px 16px;
  margin-bottom: 10px;
  background: var(--paper);
  box-shadow: var(--shadow-sm);
}
.kg-card-header {
  display: flex; align-items: center; gap: 10px;
  margin-bottom: 8px;
}
.kg-id {
  font-family: var(--mono);
  font-size: 0.68rem;
  color: var(--muted);
}
.kg-rel {
  font-family: var(--mono);
  font-size: 0.75rem;
  font-weight: 500;
  color: var(--ink);
}
.kg-rule-row {
  font-family: var(--mono);
  font-size: 0.72rem;
  line-height: 1.6;
  padding: 4px 0;
}
.kg-rule-row .label { color: var(--accent); font-weight: 500; }
.kg-rule-row .value { color: var(--muted); }
.kg-desc {
  font-size: 0.82rem;
  color: var(--muted);
  margin-top: 8px;
  line-height: 1.6;
}

/* ── Audit tab ── */
.audit-heading {
  font-family: var(--serif);
  font-size: 1.2rem;
  font-weight: 500;
  margin-bottom: 16px;
}
.prov-card {
  border: 1px solid var(--line);
  border-radius: 8px;
  padding: 14px 16px;
  margin-bottom: 10px;
  background: var(--paper);
  box-shadow: var(--shadow-sm);
}
.prov-card.invalid { opacity: 0.5; border-color: var(--red); }
.prov-id {
  font-family: var(--mono);
  font-size: 0.68rem;
  color: var(--muted);
  margin-bottom: 6px;
}
.prov-query {
  font-size: 0.85rem;
  color: var(--ink);
  margin-bottom: 8px;
}
.prov-scores {
  display: flex; flex-wrap: wrap; gap: 6px;
  margin-bottom: 8px;
}
.prov-pill {
  font-family: var(--mono);
  font-size: 0.68rem;
  padding: 2px 10px;
  border-radius: 10px;
  border: 1px solid var(--line);
}
.prov-pill.p { color: var(--accent); }
.prov-pill.l { color: var(--violet); }
.prov-pill.e { color: var(--teal); }
.prov-pill.s { color: var(--amber); }
.prov-pill.total { color: var(--ink); font-weight: 500; }
.prov-meta {
  font-family: var(--mono);
  font-size: 0.68rem;
  color: var(--muted);
  margin-top: 6px;
}

/* ── Debug tab ── */
.dbg-toolbar {
  display: flex; flex-wrap: wrap; gap: 6px; align-items: center;
  margin-bottom: 12px;
}
.dbg-btn {
  font-family: var(--mono);
  font-size: 0.68rem;
  padding: 4px 10px;
  border: 1px solid var(--line);
  border-radius: 4px;
  background: var(--paper);
  color: var(--muted);
  cursor: pointer;
  transition: all 0.15s;
}
.dbg-btn:hover { border-color: var(--accent); color: var(--accent); }
.dbg-btn.active { background: var(--accent); color: #fff; border-color: var(--accent); }
.dbg-search {
  font-family: var(--mono);
  font-size: 0.72rem;
  padding: 4px 10px;
  border: 1px solid var(--line);
  border-radius: 4px;
  background: var(--surface);
  color: var(--ink);
  outline: none;
  min-width: 160px;
}
.dbg-search:focus { border-color: var(--accent); }
.dbg-count {
  font-family: var(--mono);
  font-size: 0.65rem;
  color: var(--muted);
  margin-left: auto;
}
.dbg-table-header {
  display: grid;
  grid-template-columns: 90px 60px 60px 1fr 70px;
  font-family: var(--mono);
  font-size: 0.6rem;
  color: var(--muted);
  padding: 6px 10px;
  border-bottom: 1px solid var(--line);
  text-transform: uppercase;
  letter-spacing: 0.5px;
}
.dbg-entry {
  display: grid;
  grid-template-columns: 90px 60px 60px 1fr 70px;
  font-family: var(--mono);
  font-size: 0.7rem;
  padding: 5px 10px;
  border-bottom: 1px solid var(--line);
  cursor: pointer;
  transition: background 0.1s;
}
.dbg-entry:hover { background: var(--surface); }
.dbg-col { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.dbg-time { color: var(--muted); font-size: 0.65rem; }
.dbg-layer { color: var(--violet); }
.dbg-msg { color: var(--ink); }
.dbg-elapsed { color: var(--muted); text-align: right; font-size: 0.65rem; }
.dbg-level {
  font-size: 0.6rem;
  font-weight: 500;
  padding: 1px 6px;
  border-radius: 3px;
}
.dbg-level.INFO { color: var(--muted); }
.dbg-level.CALL { color: var(--violet); }
.dbg-level.RESP { color: var(--teal); }
.dbg-level.SCORE { color: var(--accent); }
.dbg-level.ITER { color: var(--amber); }
.dbg-level.ERROR { color: var(--red); }
.dbg-level.COMMIT { color: var(--green); }
.dbg-detail {
  display: none;
  grid-column: 1 / -1;
  font-size: 0.68rem;
  color: var(--muted);
  padding: 8px 10px;
  background: var(--surface);
  border-radius: 4px;
  margin-top: 4px;
  white-space: pre-wrap;
  word-break: break-all;
}
.dbg-entry.expanded .dbg-detail { display: block; }
.dbg-list {
  max-height: 60vh;
  overflow-y: auto;
}

/* ── Committed output card ── */
.committed-card {
  background: var(--paper);
  border: 2px solid var(--accent);
  border-radius: 10px;
  padding: 20px 24px;
  margin-top: 16px;
  box-shadow: var(--shadow-sm);
}
.converged-badge {
  display: inline-block;
  padding: 4px 12px;
  border-radius: 99px;
  background: rgba(42, 122, 74, 0.1);
  color: var(--green);
  font-family: var(--mono);
  font-size: 0.75rem;
  font-weight: 600;
}
.not-converged-badge {
  display: inline-block;
  padding: 4px 12px;
  border-radius: 99px;
  background: rgba(176, 112, 32, 0.1);
  color: var(--amber);
  font-family: var(--mono);
  font-size: 0.75rem;
  font-weight: 600;
}
.report-btn {
  display: inline-block;
  padding: 5px 14px;
  border-radius: 99px;
  border: 1px solid var(--accent);
  color: var(--accent);
  font-family: var(--mono);
  font-size: 0.75rem;
  font-weight: 600;
  text-decoration: none;
  transition: all 0.2s;
}
.report-btn:hover {
  background: var(--accent);
  color: white;
}
.baseline-card {
  background: var(--surface);
  border: 1px solid var(--line);
  border-radius: 10px;
  padding: 16px 20px;
  margin-top: 10px;
}

/* ── Review card (L6 S-genuine) ── */
.review-card {
  background: var(--paper);
  border: 2px solid var(--amber);
  border-radius: 10px;
  padding: 20px 24px;
  margin-top: 12px;
}
.review-approve, .review-flag, .review-reject {
  padding: 8px 18px;
  border-radius: 6px;
  font-family: var(--mono);
  font-size: 0.8rem;
  font-weight: 600;
  cursor: pointer;
  border: none;
  transition: all 0.2s;
}
.review-approve { background: rgba(42,122,74,0.1); color: var(--green); border: 1px solid var(--green); }
.review-approve:hover { background: var(--green); color: white; }
.review-flag { background: rgba(176,112,32,0.1); color: var(--amber); border: 1px solid var(--amber); }
.review-flag:hover { background: var(--amber); color: white; }
.review-reject { background: rgba(196,69,54,0.1); color: var(--accent); border: 1px solid var(--accent); }
.review-reject:hover { background: var(--accent); color: white; }

/* ── Markdown prose styling in output cards ── */
.committed-card p, .baseline-card p { margin-bottom: 0.5rem; }
/* References in committed output — each on its own line */
.committed-card h3 { margin-top: 1rem; padding-top: 0.8rem; border-top: 1px solid var(--line); }
.committed-card p em { font-style: italic; }
.committed-card ul, .baseline-card ul { padding-left: 1.5rem; margin-bottom: 0.5rem; }
.committed-card ol, .baseline-card ol { padding-left: 1.5rem; margin-bottom: 0.5rem; }
.committed-card li, .baseline-card li { margin-bottom: 0.3rem; }
.committed-card strong, .baseline-card strong { color: var(--ink); }
.committed-card h1, .committed-card h2, .committed-card h3,
.baseline-card h1, .baseline-card h2, .baseline-card h3 {
  font-family: var(--sans);
  font-size: 0.95rem;
  font-weight: 600;
  margin: 0.8rem 0 0.4rem;
  color: var(--ink);
}

/* ── Changelog ── */
#changelogContent h1 { font-family: var(--serif); font-size: 1.3rem; font-weight: 600; margin-bottom: 16px; }
#changelogContent h2 { font-family: var(--serif); font-size: 1.05rem; font-weight: 500; color: var(--accent); margin: 20px 0 8px; padding-top: 12px; border-top: 1px solid var(--line); }
#changelogContent h2:first-of-type { border-top: none; padding-top: 0; }
#changelogContent ul { padding-left: 20px; margin-bottom: 8px; }
#changelogContent li { margin-bottom: 4px; color: var(--ink); }
#changelogContent strong { color: var(--ink); }
#changelogContent code { font-family: var(--mono); font-size: 0.82rem; background: var(--surface); padding: 1px 5px; border-radius: 3px; }

/* ── Footer ── */
footer {
  text-align: center;
  padding: 32px 24px;
  color: var(--muted);
  font-size: 0.78rem;
  border-top: 1px solid var(--line);
  margin-top: 40px;
}

/* ── Responsive ── */
@media (max-width: 640px) {
  .nav-inner { padding: 10px 16px; flex-wrap: wrap; gap: 8px; }
  .controls { flex-direction: column; }
  .score-grid { grid-template-columns: 1fr; }
  .dbg-table-header, .dbg-entry { font-size: 0.6rem; grid-template-columns: 70px 50px 50px 1fr 50px; }
  /* Judge comparison: stack on mobile */
  #judge-answers { grid-template-columns: 1fr !important; }
}