/* ===================================================================
   FACTLENS CREW • MULTI-AGENT VERIFICATION PROTOTYPE STYLESHEET
   Authentic High-Density Engineering Aesthetics • LangGraph StateGraph
   =================================================================== */

:root {
  /* DARK THEME (DEFAULT) */
  --bg-primary: #060709;
  --bg-surface: #0D1117;
  --bg-card: rgba(13, 17, 23, 0.85);
  --bg-card-hover: rgba(22, 27, 34, 0.95);
  --border-color: #21262D;
  --border-subtle: #30363D;
  --border-glow: rgba(63, 185, 80, 0.35);

  --text-primary: #F0F6FC;
  --text-secondary: #8B949E;
  --text-muted: #6E7681;

  --accent-emerald: #3FB950;
  --accent-emerald-glow: rgba(63, 185, 80, 0.25);
  --accent-blue: #58A6FF;
  --accent-gold: #F0B729;
  --accent-red: #FF7B72;
  --accent-purple: #BC8CFF;

  --code-bg: #030405;
  --code-border: #161B22;

  --shadow-sm: 0 4px 12px rgba(0, 0, 0, 0.35);
  --shadow-lg: 0 16px 36px rgba(0, 0, 0, 0.55);
}

[data-theme="light"] {
  --bg-primary: #F6F8FA;
  --bg-surface: #FFFFFF;
  --bg-card: rgba(255, 255, 255, 0.95);
  --bg-card-hover: #FFFFFF;
  --border-color: #D0D7DE;
  --border-subtle: #E1E4E8;
  --border-glow: rgba(46, 160, 67, 0.35);

  --text-primary: #1F2328;
  --text-secondary: #57606A;
  --text-muted: #6E7781;

  --accent-emerald: #1A7F37;
  --accent-emerald-glow: rgba(26, 127, 55, 0.15);
  --accent-blue: #0969DA;
  --accent-gold: #9A6700;
  --accent-red: #CF222E;
  --accent-purple: #8250DF;

  --code-bg: #F6F8FA;
  --code-border: #D0D7DE;

  --shadow-sm: 0 4px 12px rgba(0, 0, 0, 0.08);
  --shadow-lg: 0 16px 36px rgba(0, 0, 0, 0.12);
}

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

body {
  background: var(--bg-primary);
  color: var(--text-primary);
  font-family: 'Inter', -apple-system, sans-serif;
  line-height: 1.5;
  min-height: 100vh;
  overflow-x: hidden;
  transition: background 0.3s ease, color 0.3s ease;
}

/* ===================================================================
   1. NAVIGATION HEADER
   =================================================================== */
.factlens-nav {
  position: sticky;
  top: 0;
  z-index: 100;
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: 16px 32px;
  background: var(--bg-card);
  backdrop-filter: blur(18px);
  -webkit-backdrop-filter: blur(18px);
  border-bottom: 1px solid var(--border-color);
}

.nav-left {
  display: flex;
  align-items: center;
  gap: 14px;
}

.nav-back-link {
  display: inline-flex;
  align-items: center;
  gap: 8px;
  color: var(--text-secondary);
  text-decoration: none;
  font-family: 'JetBrains Mono', monospace;
  font-size: 11px;
  font-weight: 700;
  letter-spacing: 0.1em;
  padding: 6px 12px;
  border: 1px solid var(--border-color);
  border-radius: 6px;
  transition: all 0.2s ease;
}

.nav-back-link:hover {
  color: var(--text-primary);
  border-color: var(--accent-emerald);
  background: var(--accent-emerald-glow);
}

.brand-divider {
  color: var(--border-subtle);
  font-size: 14px;
}

.brand-meta {
  display: flex;
  align-items: center;
  gap: 10px;
}

.brand-title {
  font-family: 'Syne', sans-serif;
  font-weight: 800;
  font-size: 15px;
  letter-spacing: 0.05em;
  color: var(--text-primary);
}

.prototype-badge {
  font-family: 'JetBrains Mono', monospace;
  font-size: 9px;
  font-weight: 700;
  color: var(--accent-emerald);
  background: var(--accent-emerald-glow);
  border: 1px solid var(--accent-emerald);
  padding: 3px 8px;
  border-radius: 4px;
}

.nav-center-tags {
  display: flex;
  gap: 8px;
}

.spec-tag {
  font-family: 'JetBrains Mono', monospace;
  font-size: 9px;
  font-weight: 600;
  color: var(--text-muted);
  background: rgba(125, 125, 125, 0.08);
  border: 1px solid var(--border-color);
  padding: 4px 10px;
  border-radius: 9999px;
}

.nav-gh-link {
  text-decoration: none;
  font-family: 'JetBrains Mono', monospace;
  font-size: 10px;
  font-weight: 700;
  color: var(--text-primary);
  background: var(--bg-surface);
  border: 1px solid var(--border-color);
  padding: 6px 14px;
  border-radius: 9999px;
  display: inline-flex;
  align-items: center;
  gap: 6px;
  transition: all 0.2s ease;
}

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

.gh-svg {
  fill: currentColor;
}

.nav-theme-btn {
  background: var(--bg-surface);
  border: 1px solid var(--border-color);
  color: var(--text-primary);
  font-family: 'JetBrains Mono', monospace;
  font-size: 10px;
  font-weight: 700;
  padding: 6px 14px;
  border-radius: 9999px;
  cursor: pointer;
  display: inline-flex;
  align-items: center;
  gap: 6px;
  transition: all 0.2s ease;
}

.nav-theme-btn:hover {
  border-color: var(--text-secondary);
}

/* ===================================================================
   2. HERO HEADER SECTION
   =================================================================== */
.showcase-main {
  max-width: 1440px;
  margin: 0 auto;
  padding: 32px 32px 64px 32px;
}

.hero-section {
  padding: 32px 0 28px 0;
  border-bottom: 1px solid var(--border-color);
  margin-bottom: 32px;
}

.hero-kicker {
  font-family: 'JetBrains Mono', monospace;
  font-size: 11px;
  font-weight: 700;
  letter-spacing: 0.2em;
  color: var(--accent-emerald);
  display: block;
  margin-bottom: 12px;
}

.hero-heading {
  font-family: 'Syne', sans-serif;
  font-size: clamp(2rem, 3.4vw, 3rem);
  font-weight: 800;
  line-height: 1.15;
  color: var(--text-primary);
  margin-bottom: 16px;
}

.hero-lede {
  font-size: 1.12rem;
  color: var(--text-secondary);
  max-width: 960px;
  line-height: 1.6;
  margin-bottom: 24px;
}

.hero-lede b {
  color: var(--text-primary);
}

.hero-badges-row {
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
}

.h-badge {
  font-family: 'JetBrains Mono', monospace;
  font-size: 10.5px;
  color: var(--text-secondary);
  background: var(--bg-surface);
  border: 1px solid var(--border-color);
  padding: 6px 14px;
  border-radius: 6px;
}

.h-badge b {
  color: var(--text-primary);
}

.h-badge code {
  color: var(--accent-emerald);
  font-weight: 700;
}

/* ===================================================================
   3. INTERACTIVE LAB & LANGGRAPH WORKFLOW
   =================================================================== */
.lab-section {
  display: grid;
  grid-template-columns: 420px 1fr;
  gap: 28px;
  margin-bottom: 56px;
}

@media (max-width: 1180px) {
  .lab-section {
    grid-template-columns: 1fr;
  }
}

/* Left Controls Card */
.control-card {
  background: var(--bg-surface);
  border: 1px solid var(--border-color);
  border-radius: 12px;
  padding: 24px;
  box-shadow: var(--shadow-sm);
  margin-bottom: 20px;
}

.panel-eyebrow {
  font-family: 'JetBrains Mono', monospace;
  font-size: 9px;
  font-weight: 700;
  letter-spacing: 0.15em;
  color: var(--accent-emerald);
  display: block;
  margin-bottom: 4px;
}

.card-header-clean h3 {
  font-family: 'Cinzel', serif;
  font-size: 1.25rem;
  font-weight: 800;
  margin-bottom: 8px;
}

.control-desc {
  font-size: 12px;
  color: var(--text-secondary);
  line-height: 1.5;
  margin-bottom: 18px;
}

.presets-group {
  display: flex;
  flex-direction: column;
  gap: 8px;
  margin-bottom: 18px;
}

.group-label {
  font-family: 'JetBrains Mono', monospace;
  font-size: 9px;
  font-weight: 700;
  letter-spacing: 0.1em;
  color: var(--text-muted);
}

.preset-btn {
  text-align: left;
  background: var(--bg-primary);
  border: 1px solid var(--border-color);
  border-radius: 8px;
  padding: 10px 12px;
  cursor: pointer;
  transition: all 0.2s ease;
  display: flex;
  flex-direction: column;
  gap: 4px;
}

.preset-btn:hover {
  border-color: var(--border-subtle);
  background: var(--bg-card-hover);
}

.preset-btn.active {
  border-color: var(--accent-emerald);
  background: var(--accent-emerald-glow);
}

.p-category {
  font-family: 'JetBrains Mono', monospace;
  font-size: 8.5px;
  font-weight: 700;
  color: var(--accent-emerald);
}

.p-text {
  font-size: 11.5px;
  color: var(--text-primary);
  line-height: 1.4;
}

.input-wrap {
  margin-bottom: 16px;
}

.input-label {
  font-family: 'JetBrains Mono', monospace;
  font-size: 9px;
  font-weight: 700;
  color: var(--text-muted);
  display: block;
  margin-bottom: 6px;
}

.claim-textarea {
  width: 100%;
  background: var(--bg-primary);
  border: 1px solid var(--border-color);
  border-radius: 8px;
  color: var(--text-primary);
  font-family: 'Inter', sans-serif;
  font-size: 12.5px;
  padding: 10px 12px;
  line-height: 1.5;
  resize: vertical;
  transition: border-color 0.2s ease;
}

.claim-textarea:focus {
  outline: none;
  border-color: var(--accent-emerald);
}

.options-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 10px;
  margin-bottom: 20px;
}

.opt-field label {
  font-family: 'JetBrains Mono', monospace;
  font-size: 8.5px;
  font-weight: 700;
  color: var(--text-muted);
  display: block;
  margin-bottom: 4px;
}

.fl-select {
  width: 100%;
  background: var(--bg-primary);
  border: 1px solid var(--border-color);
  border-radius: 6px;
  color: var(--text-primary);
  font-family: 'JetBrains Mono', monospace;
  font-size: 10px;
  padding: 6px 8px;
}

.action-buttons-row {
  display: flex;
  gap: 10px;
  margin-bottom: 16px;
}

.btn-execute {
  flex: 1;
  position: relative;
  background: var(--accent-emerald);
  color: #FFFFFF;
  border: none;
  border-radius: 8px;
  padding: 12px 16px;
  font-family: 'JetBrains Mono', monospace;
  font-size: 11px;
  font-weight: 800;
  letter-spacing: 0.05em;
  cursor: pointer;
  overflow: hidden;
  transition: transform 0.2s ease, box-shadow 0.2s ease;
  box-shadow: 0 4px 16px var(--accent-emerald-glow);
}

.btn-execute:hover {
  transform: translateY(-2px);
  box-shadow: 0 6px 24px rgba(63, 185, 80, 0.45);
}

.btn-secondary {
  background: var(--bg-primary);
  border: 1px solid var(--border-color);
  color: var(--text-secondary);
  font-family: 'JetBrains Mono', monospace;
  font-size: 11px;
  font-weight: 700;
  padding: 12px 14px;
  border-radius: 8px;
  cursor: pointer;
  transition: all 0.2s ease;
}

.btn-secondary:hover {
  color: var(--text-primary);
  border-color: var(--border-subtle);
}

.status-box {
  display: flex;
  align-items: center;
  gap: 10px;
  background: var(--bg-primary);
  border: 1px solid var(--border-color);
  border-radius: 6px;
  padding: 8px 12px;
}

.status-indicator-dot {
  width: 8px;
  height: 8px;
  border-radius: 50%;
}

.status-indicator-dot.idle { background: #8B949E; }
.status-indicator-dot.running { background: #58A6FF; animation: statusBlink 0.8s infinite; }
.status-indicator-dot.done { background: #3FB950; }

@keyframes statusBlink {
  0% { opacity: 0.3; transform: scale(0.9); }
  50% { opacity: 1; transform: scale(1.1); }
  100% { opacity: 0.3; transform: scale(0.9); }
}

.status-text {
  flex: 1;
  font-family: 'JetBrains Mono', monospace;
  font-size: 9.5px;
  color: var(--text-secondary);
}

.status-timer {
  font-family: 'JetBrains Mono', monospace;
  font-size: 10px;
  font-weight: 700;
  color: var(--text-primary);
}

/* Inspector Card */
.inspector-card {
  background: var(--bg-surface);
  border: 1px solid var(--border-color);
  border-radius: 12px;
  padding: 20px;
  box-shadow: var(--shadow-sm);
  transition: border-color 0.3s ease;
}

.inspector-header {
  border-bottom: 1px solid var(--border-color);
  padding-bottom: 12px;
  margin-bottom: 14px;
}

.inspector-badge {
  font-family: 'JetBrains Mono', monospace;
  font-size: 8.5px;
  font-weight: 700;
  color: var(--accent-blue);
  background: rgba(88, 166, 255, 0.12);
  border: 1px solid rgba(88, 166, 255, 0.3);
  padding: 2px 7px;
  border-radius: 4px;
  display: inline-block;
  margin-bottom: 6px;
}

.inspector-header h4 {
  font-family: 'Syne', sans-serif;
  font-size: 1.15rem;
  font-weight: 700;
  color: var(--text-primary);
  margin-bottom: 2px;
}

.inspector-header p {
  font-size: 11px;
  color: var(--text-secondary);
}

.insp-section {
  margin-bottom: 12px;
}

.insp-lbl {
  font-family: 'JetBrains Mono', monospace;
  font-size: 8.5px;
  font-weight: 700;
  letter-spacing: 0.1em;
  color: var(--text-muted);
  display: block;
  margin-bottom: 4px;
}

.insp-section p {
  font-size: 11px;
  color: var(--text-secondary);
  line-height: 1.45;
}

.insp-row {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 10px;
  margin-bottom: 12px;
}

.insp-col code {
  font-family: 'JetBrains Mono', monospace;
  font-size: 10px;
  color: var(--accent-emerald);
  word-break: break-all;
}

.tech-pills-row {
  display: flex;
  flex-wrap: wrap;
  gap: 6px;
}

.t-pill {
  font-family: 'JetBrains Mono', monospace;
  font-size: 9px;
  color: var(--text-primary);
  background: var(--bg-primary);
  border: 1px solid var(--border-color);
  padding: 3px 8px;
  border-radius: 4px;
}

/* ===================================================================
   4. LANGGRAPH STATEGRAPH BOARD
   =================================================================== */
.graph-canvas-container {
  background: var(--bg-surface);
  border: 1px solid var(--border-color);
  border-radius: 12px;
  padding: 20px;
  box-shadow: var(--shadow-sm);
  margin-bottom: 20px;
}

.canvas-header-bar {
  display: flex;
  justify-content: space-between;
  align-items: center;
  border-bottom: 1px solid var(--border-color);
  padding-bottom: 14px;
  margin-bottom: 20px;
}

.canvas-title-group {
  display: flex;
  align-items: center;
  gap: 8px;
}

.dot-live {
  width: 8px;
  height: 8px;
  border-radius: 50%;
  background: var(--accent-emerald);
  box-shadow: 0 0 10px var(--accent-emerald);
}

.canvas-title {
  font-family: 'JetBrains Mono', monospace;
  font-size: 11px;
  font-weight: 700;
  letter-spacing: 0.12em;
  color: var(--text-primary);
}

.canvas-controls-hint {
  font-family: 'JetBrains Mono', monospace;
  font-size: 9px;
  color: var(--text-muted);
}

.langgraph-board {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
  overflow-x: auto;
  padding-bottom: 12px;
}

.stage-flow-arrow {
  color: var(--border-subtle);
  font-size: 14px;
  font-weight: 700;
}

.lg-stage {
  flex: 1;
  min-width: 150px;
  background: var(--bg-primary);
  border: 1px solid var(--border-color);
  border-radius: 8px;
  padding: 10px;
}

.stage-header {
  border-bottom: 1px solid var(--border-color);
  padding-bottom: 6px;
  margin-bottom: 10px;
}

.stage-num {
  font-family: 'JetBrains Mono', monospace;
  font-size: 8px;
  font-weight: 700;
  color: var(--accent-emerald);
  display: block;
}

.stage-name {
  font-family: 'JetBrains Mono', monospace;
  font-size: 9px;
  font-weight: 700;
  color: var(--text-primary);
}

.stage-nodes {
  display: flex;
  flex-direction: column;
  gap: 8px;
}

.agent-node {
  position: relative;
  background: var(--bg-surface);
  border: 1px solid var(--border-color);
  border-radius: 6px;
  padding: 8px 10px;
  cursor: pointer;
  display: flex;
  align-items: center;
  gap: 8px;
  transition: all 0.2s ease;
}

.agent-node:hover {
  border-color: var(--accent-emerald);
  transform: translateY(-2px);
  background: var(--bg-card-hover);
}

.agent-node.selected {
  border-color: var(--accent-emerald);
  box-shadow: 0 0 12px var(--accent-emerald-glow);
}

.agent-node.executing {
  border-color: #58A6FF;
  box-shadow: 0 0 14px rgba(88, 166, 255, 0.5);
  animation: nodePulse 0.9s infinite alternate;
}

@keyframes nodePulse {
  0% { transform: scale(1); border-color: #58A6FF; }
  100% { transform: scale(1.03); border-color: #79C0FF; box-shadow: 0 0 20px rgba(88, 166, 255, 0.7); }
}

.agent-node.completed {
  border-color: var(--accent-emerald);
}

.node-icon {
  width: 22px;
  height: 22px;
  border-radius: 4px;
  background: var(--bg-primary);
  border: 1px solid var(--border-color);
  display: flex;
  align-items: center;
  justify-content: center;
  font-family: 'JetBrains Mono', monospace;
  font-size: 9px;
  font-weight: 700;
  color: var(--text-secondary);
}

.node-meta h5 {
  font-size: 11px;
  font-weight: 600;
  color: var(--text-primary);
  line-height: 1.2;
}

.node-meta span {
  font-size: 8.5px;
  color: var(--text-muted);
  display: block;
}

.rebuttal-loop-rail {
  margin-top: 14px;
  padding: 8px 12px;
  background: rgba(240, 183, 41, 0.08);
  border: 1px dashed rgba(240, 183, 41, 0.35);
  border-radius: 6px;
  display: flex;
  align-items: center;
  gap: 8px;
}

.loop-icon {
  font-size: 14px;
  font-weight: 900;
  color: var(--accent-gold);
}

.loop-label {
  font-family: 'JetBrains Mono', monospace;
  font-size: 9.5px;
  color: var(--accent-gold);
}

/* ===================================================================
   5. VERDICT DISPLAY & CITATIONS
   =================================================================== */
.verdict-display-panel {
  background: var(--bg-surface);
  border: 1px solid var(--border-color);
  border-radius: 12px;
  padding: 24px;
  box-shadow: var(--shadow-sm);
}

.verdict-top-bar {
  display: flex;
  justify-content: space-between;
  align-items: center;
  flex-wrap: wrap;
  gap: 14px;
  border-bottom: 1px solid var(--border-color);
  padding-bottom: 16px;
  margin-bottom: 18px;
}

.verdict-badge-box {
  display: flex;
  align-items: center;
  gap: 12px;
}

.v-status-badge {
  font-family: 'Syne', sans-serif;
  font-weight: 800;
  font-size: 14px;
  letter-spacing: 0.05em;
  padding: 6px 14px;
  border-radius: 6px;
}

.v-status-badge.contradict {
  background: rgba(255, 123, 114, 0.15);
  border: 1px solid var(--accent-red);
  color: var(--accent-red);
}

.v-status-badge.verified {
  background: rgba(63, 185, 80, 0.15);
  border: 1px solid var(--accent-emerald);
  color: var(--accent-emerald);
}

.v-confidence {
  font-family: 'JetBrains Mono', monospace;
  font-size: 12px;
  font-weight: 700;
  color: var(--text-primary);
}

.verdict-telemetry-row {
  display: flex;
  gap: 12px;
}

.tele-tag {
  font-family: 'JetBrains Mono', monospace;
  font-size: 9.5px;
  color: var(--text-muted);
  background: var(--bg-primary);
  border: 1px solid var(--border-color);
  padding: 4px 10px;
  border-radius: 4px;
}

.tele-tag b {
  color: var(--text-primary);
}

.verdict-explanation-box {
  margin-bottom: 24px;
}

.verdict-explanation-box h4 {
  font-family: 'JetBrains Mono', monospace;
  font-size: 9.5px;
  font-weight: 700;
  letter-spacing: 0.1em;
  color: var(--accent-emerald);
  margin-bottom: 8px;
}

.verdict-explanation-box p {
  font-size: 13.5px;
  color: var(--text-primary);
  line-height: 1.6;
}

/* Citations Table */
.citations-section {
  border-top: 1px solid var(--border-color);
  padding-top: 18px;
}

.citations-header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  margin-bottom: 12px;
}

.citations-header h5 {
  font-family: 'JetBrains Mono', monospace;
  font-size: 10px;
  font-weight: 700;
  letter-spacing: 0.08em;
  color: var(--text-muted);
}

.evidence-count {
  font-family: 'JetBrains Mono', monospace;
  font-size: 9px;
  color: var(--accent-emerald);
  background: var(--accent-emerald-glow);
  padding: 2px 8px;
  border-radius: 4px;
}

.citations-table-wrap {
  overflow-x: auto;
}

.citations-table {
  width: 100%;
  border-collapse: collapse;
  font-size: 11.5px;
}

.citations-table th {
  text-align: left;
  font-family: 'JetBrains Mono', monospace;
  font-size: 9px;
  font-weight: 700;
  color: var(--text-muted);
  border-bottom: 1px solid var(--border-color);
  padding: 8px 10px;
}

.citations-table td {
  padding: 10px;
  border-bottom: 1px solid var(--border-color);
  color: var(--text-secondary);
  vertical-align: top;
}

.citations-table td b {
  color: var(--text-primary);
  font-family: 'JetBrains Mono', monospace;
}

.tier-pill {
  font-family: 'JetBrains Mono', monospace;
  font-size: 8.5px;
  font-weight: 700;
  padding: 2px 6px;
  border-radius: 4px;
  white-space: nowrap;
}

.tier-pill.t1 { background: rgba(63, 185, 80, 0.15); border: 1px solid #3FB950; color: #3FB950; }
.tier-pill.t2 { background: rgba(88, 166, 255, 0.15); border: 1px solid #58A6FF; color: #58A6FF; }
.tier-pill.t3 { background: rgba(240, 183, 41, 0.15); border: 1px solid #F0B729; color: #F0B729; }

.weight-tag {
  font-family: 'JetBrains Mono', monospace;
  font-size: 10px;
  font-weight: 700;
  color: var(--accent-emerald);
}

/* ===================================================================
   6. ARCHITECTURE & FORMULAS DEEP-DIVE
   =================================================================== */
.architecture-deepdive {
  margin-bottom: 56px;
  border-top: 1px solid var(--border-color);
  padding-top: 48px;
}

.section-title-wrap {
  margin-bottom: 28px;
}

.mono-tag {
  font-family: 'JetBrains Mono', monospace;
  font-size: 10px;
  font-weight: 700;
  letter-spacing: 0.18em;
  color: var(--accent-emerald);
  display: block;
  margin-bottom: 8px;
}

.section-title-wrap h2 {
  font-family: 'Syne', sans-serif;
  font-size: 2rem;
  font-weight: 800;
  margin-bottom: 8px;
}

.section-subhead {
  font-size: 1.05rem;
  color: var(--text-secondary);
  max-width: 820px;
}

.deepdive-grid {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 20px;
}

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

.deep-card {
  background: var(--bg-surface);
  border: 1px solid var(--border-color);
  border-radius: 12px;
  padding: 24px;
  box-shadow: var(--shadow-sm);
  display: flex;
  flex-direction: column;
}

.card-num {
  font-family: 'JetBrains Mono', monospace;
  font-size: 12px;
  font-weight: 700;
  color: var(--accent-emerald);
  margin-bottom: 8px;
}

.deep-card h3 {
  font-family: 'Cinzel', serif;
  font-size: 1.15rem;
  font-weight: 800;
  color: var(--text-primary);
  margin-bottom: 12px;
  line-height: 1.3;
}

.deep-card p {
  font-size: 12.5px;
  color: var(--text-secondary);
  line-height: 1.55;
  margin-bottom: 16px;
}

.formula-box {
  background: var(--code-bg);
  border: 1px solid var(--border-color);
  border-radius: 8px;
  padding: 12px;
  margin-bottom: 14px;
}

.formula-box code {
  font-family: 'JetBrains Mono', monospace;
  font-size: 12px;
  color: var(--accent-emerald);
  font-weight: 700;
}

.formula-legend, .tech-list {
  list-style: none;
  font-size: 11.5px;
  color: var(--text-secondary);
  display: flex;
  flex-direction: column;
  gap: 8px;
}

.formula-legend li b, .tech-list li b {
  color: var(--text-primary);
}

.mini-tiers-table {
  display: flex;
  flex-direction: column;
  gap: 8px;
  font-size: 11px;
}

.t-row {
  display: flex;
  align-items: center;
  gap: 10px;
}

.t-badge-cell {
  font-family: 'JetBrains Mono', monospace;
  font-size: 8.5px;
  font-weight: 700;
  padding: 2px 6px;
  border-radius: 4px;
  min-width: 72px;
  text-align: center;
}

.t-badge-cell.t1 { background: rgba(63, 185, 80, 0.15); color: #3FB950; border: 1px solid #3FB950; }
.t-badge-cell.t2 { background: rgba(88, 166, 255, 0.15); color: #58A6FF; border: 1px solid #58A6FF; }
.t-badge-cell.t3 { background: rgba(240, 183, 41, 0.15); color: #F0B729; border: 1px solid #F0B729; }
.t-badge-cell.t4 { background: rgba(188, 140, 255, 0.15); color: #BC8CFF; border: 1px solid #BC8CFF; }
.t-badge-cell.t5 { background: rgba(125, 125, 125, 0.15); color: #8B949E; border: 1px solid #8B949E; }
.t-badge-cell.t6 { background: rgba(255, 123, 114, 0.15); color: #FF7B72; border: 1px solid #FF7B72; }
.t-badge-cell.t7 { background: rgba(255, 123, 114, 0.25); color: #FF7B72; border: 1px solid #FF7B72; }

/* ===================================================================
   7. PRODUCTION CODE VIEWER
   =================================================================== */
.code-showcase-section {
  background: var(--code-bg);
  border: 1px solid var(--border-color);
  border-radius: 12px;
  overflow: hidden;
  margin-bottom: 56px;
}

.code-box-header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  background: var(--bg-surface);
  border-bottom: 1px solid var(--border-color);
  padding: 8px 16px;
}

.tabs-row {
  display: flex;
  gap: 6px;
}

.code-tab {
  background: transparent;
  border: 1px solid transparent;
  color: var(--text-secondary);
  font-family: 'JetBrains Mono', monospace;
  font-size: 10px;
  font-weight: 600;
  padding: 6px 12px;
  border-radius: 6px;
  cursor: pointer;
  transition: all 0.2s ease;
}

.code-tab.active {
  background: var(--bg-primary);
  border-color: var(--border-color);
  color: var(--accent-emerald);
}

.mono-dim {
  font-family: 'JetBrains Mono', monospace;
  font-size: 9.5px;
  color: var(--text-muted);
}

.code-content-wrapper {
  padding: 20px;
  overflow-x: auto;
}

.code-block {
  font-family: 'JetBrains Mono', monospace;
  font-size: 11.5px;
  line-height: 1.6;
  color: #D2A8FF;
}

/* ===================================================================
   8. FOOTER
   =================================================================== */
.factlens-footer,
.profiler-footer {
  border-top: 1px solid var(--border-color);
  background: var(--bg-surface);
  padding: 2rem;
  margin-top: auto;
}

.footer-inner {
  max-width: 1440px;
  margin: 0 auto;
  display: flex;
  justify-content: space-between;
  align-items: center;
  flex-wrap: wrap;
  gap: 1.5rem;
}

.footer-left {
  display: flex;
  flex-direction: column;
  gap: 0.25rem;
}

.f-brand {
  font-family: 'Syne', sans-serif;
  font-size: 1rem;
  font-weight: 800;
  color: var(--text-primary);
  letter-spacing: 0.04em;
}

.f-desc, .footer-dim {
  font-size: 0.8rem;
  color: var(--text-muted);
}

.footer-right {
  display: flex;
  align-items: center;
  gap: 1rem;
  flex-wrap: wrap;
}

.footer-link, .f-link {
  font-family: 'JetBrains Mono', monospace;
  font-size: 0.78rem;
  color: var(--accent-emerald);
  text-decoration: none;
  background: transparent;
  border: none;
  padding: 0;
  transition: all 0.2s ease;
}

.footer-link:hover, .f-link:hover {
  text-decoration: underline;
}

/* ===================================================================
   9. DYNAMIC PIPELINE ANIMATION & INTERACTIVE NODE STATES
   =================================================================== */
.stage-active {
  border-color: var(--accent-emerald) !important;
  box-shadow: 0 0 24px rgba(63, 185, 80, 0.25) !important;
}

.stage-done {
  border-color: rgba(63, 185, 80, 0.45) !important;
}

.node-running {
  border-color: var(--accent-emerald) !important;
  box-shadow: 0 0 18px rgba(63, 185, 80, 0.6) !important;
  animation: nodePulse 0.8s ease-in-out infinite alternate;
}

.node-running .node-icon {
  background: var(--accent-emerald) !important;
  color: #000 !important;
}

.node-completed {
  border-color: rgba(63, 185, 80, 0.6) !important;
}

.node-completed .node-icon {
  border-color: var(--accent-emerald) !important;
  color: var(--accent-emerald) !important;
}

@keyframes nodePulse {
  0% { transform: scale(1); box-shadow: 0 0 8px rgba(63, 185, 80, 0.3); }
  100% { transform: scale(1.03); box-shadow: 0 0 22px rgba(63, 185, 80, 0.7); }
}

.rebuttal-loop-rail.active-rebuttal {
  border-color: var(--accent-gold) !important;
  background: rgba(240, 183, 41, 0.12) !important;
  color: var(--accent-gold) !important;
  box-shadow: 0 0 20px rgba(240, 183, 41, 0.3) !important;
  animation: railPulse 1.2s infinite;
}

@keyframes railPulse {
  0%, 100% { opacity: 0.8; }
  50% { opacity: 1; filter: drop-shadow(0 0 8px var(--accent-gold)); }
}

.pulse-inspect {
  animation: inspectPulse 0.35s ease;
}

@keyframes inspectPulse {
  0% { transform: scale(0.98); }
  50% { transform: scale(1.02); }
  100% { transform: scale(1); }
}

.highlight-panel {
  animation: panelGlow 0.8s ease;
}

@keyframes panelGlow {
  0% { box-shadow: 0 0 0 rgba(63, 185, 80, 0); }
  50% { box-shadow: 0 0 32px rgba(63, 185, 80, 0.4); }
  100% { box-shadow: 0 0 0 rgba(63, 185, 80, 0); }
}

/* ===================================================================
   10. MOBILE RESPONSIVENESS (Touch-friendly & Adaptive)
   =================================================================== */
@media (max-width: 768px) {
  .top-hud {
    backdrop-filter: none;
    -webkit-backdrop-filter: none;
    background: rgba(13, 17, 23, 0.95);
  }
  .factlens-nav {
    padding: 12px 14px;
    flex-wrap: wrap;
    gap: 10px;
  }
  .nav-center-tags, .prototype-badge {
    display: none;
  }
  .showcase-main {
    padding: 16px 14px 48px 14px;
  }
  .hero-heading {
    font-size: 1.85rem;
  }
  .hero-lede {
    font-size: 0.95rem;
  }
  .options-grid {
    grid-template-columns: 1fr;
  }
  .action-buttons-row {
    flex-direction: column;
  }
  .btn-execute {
    width: 100%;
    padding: 12px;
  }
  .btn-secondary {
    width: 100%;
  }
  .langgraph-board {
    -webkit-overflow-scrolling: touch;
    padding-bottom: 14px;
  }
  .lg-stage {
    min-width: 160px;
  }
  .footer-inner {
    flex-direction: column;
    gap: 16px;
    text-align: left;
    align-items: flex-start;
  }
  .footer-right {
    flex-wrap: wrap;
    gap: 12px;
  }
}

@media (max-width: 480px) {
  .hero-heading {
    font-size: 1.6rem;
  }
  .brand-title {
    font-size: 13px;
  }
  .nav-back-link {
    font-size: 9.5px;
    padding: 5px 8px;
  }
  .nav-gh-link, .nav-theme-btn {
    font-size: 9px;
    padding: 5px 10px;
  }
}