/* Proverify.ai TokenOps design tokens — harmonized with ../styles.css.
   Font/serif/mono aliases below all resolve to the shared Proverify.ai sans stack
   so every existing var(--font-serif)/var(--font-mono) reference in this file
   renders consistently without having to touch each of the ~60 call sites. */
:root {
  --black: #0a0a0a;
  --white: #ffffff;
  --paper: #f5f5f7;
  --line: #dedede;
  --muted: #63636b;
  --red: #a33b2b;     /* muted "danger" red — badge.red + console-dot.red only */
  --amber: #9c7a3c;   /* muted amber — badge.amber (caution states) */
  --accent: #33507B;  /* TokenOps blue — primary UI accent everywhere else */
  --accent-tint: #EEF2F7;
  --accent-line: #C7D3E2;
  --hairline: 1px;

  --color-1: #0a0a0a;
  --color-2: #33507B;
  --color-3: #7690B3;
  --color-4: #C7D3E2;
  --color-5: #63636b;
  --color-6: #A9BAD1;

  --font-sans: -apple-system, BlinkMacSystemFont, "SF Pro Display", "Inter", Segoe UI, sans-serif;
  --font-serif: -apple-system, BlinkMacSystemFont, "SF Pro Display", "Inter", Segoe UI, sans-serif;
  --font-mono: -apple-system, BlinkMacSystemFont, "SF Pro Display", "Inter", Segoe UI, sans-serif;
}

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

html {
  background-color: var(--white);
  color: var(--black);
  font-family: var(--font-sans);
  text-rendering: optimizeLegibility;
  -webkit-font-smoothing: antialiased;
  scroll-behavior: smooth;
  height: 100%;
}

body {
  min-height: 100vh;
  background-color: var(--paper);
}

button, input, select, textarea {
  font-family: inherit;
  color: inherit;
  background: transparent;
  border: none;
  outline: none;
}

button {
  cursor: pointer;
}

a {
  text-decoration: none;
  color: inherit;
}

/* App Shell Layout */
.app-shell {
  display: grid;
  grid-template-columns: 280px 1fr;
  min-height: 100vh;
}

/* Sidebar */
.sidebar {
  position: sticky;
  top: 0;
  height: 100vh;
  padding: 32px 24px;
  background-color: var(--white);
  border-right: var(--hairline) solid var(--line);
  display: flex;
  flex-direction: column;
  gap: 32px;
  z-index: 100;
}

.brand-mark {
  display: flex;
  gap: 16px;
  align-items: center;
  padding-bottom: 24px;
  border-bottom: var(--hairline) solid var(--line);
}

.brand-symbol {
  width: 44px;
  height: 44px;
  display: grid;
  place-items: center;
  background-color: var(--black);
  color: var(--accent);
  border: none;
  border-radius: 12px;
  box-shadow: none;
}

.brand-symbol svg {
  width: 32px;
  height: 32px;
}

.brand-mark strong {
  display: block;
  font-size: 13px;
  font-weight: 800;
  letter-spacing: 0.16em;
  text-transform: uppercase;
}

.brand-mark small {
  display: block;
  margin-top: 3px;
  color: var(--muted);
  font-size: 11px;
  font-weight: 700;
}

.side-nav {
  display: flex;
  flex-direction: column;
  gap: 8px;
  overflow-y: auto;
  flex-grow: 1;
  padding-right: 4px;
}

.side-nav::-webkit-scrollbar {
  width: 4px;
}
.side-nav::-webkit-scrollbar-thumb {
  background: var(--line);
}

/* Nav Button */
.nav-button {
  width: 100%;
  min-height: 46px;
  border: var(--hairline) solid transparent;
  border-radius: 12px;
  color: var(--muted);
  display: grid;
  grid-template-columns: 28px 1fr 20px;
  align-items: center;
  padding: 0 16px;
  text-align: left;
  font-weight: 800;
  font-size: 11px;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  transition: all 0.2s ease;
}

.nav-button span:first-child {
  font-family: var(--font-mono);
  color: var(--muted);
  font-size: 10px;
}

.nav-button .lock-icon {
  opacity: 0.7;
  display: flex;
  align-items: center;
  justify-content: flex-end;
  font-size: 10px;
}

/* Locked Sidebar States */
.nav-button.is-locked {
  opacity: 0.4;
  cursor: not-allowed;
}

.nav-button.is-locked:hover {
  background: transparent;
  border-color: transparent;
  color: var(--muted);
}

.nav-button:not(.is-locked):hover {
  background: rgba(0, 0, 0, 0.04);
  color: var(--black);
}

.nav-button.is-active {
  background-color: var(--black);
  color: var(--white);
  border-color: var(--black);
}

.nav-button.is-active span:first-child {
  color: var(--accent);
}

.demo-card {
  border: var(--hairline) solid var(--line);
  border-radius: 16px;
  padding: 20px;
  background-color: var(--white);
}

.demo-card strong {
  display: block;
  font-family: var(--font-serif);
  font-size: 20px;
  font-weight: 500;
  letter-spacing: -0.03em;
  margin-top: 6px;
  color: var(--black);
}

.demo-card span {
  display: block;
  margin-top: 8px;
  color: var(--muted);
  font-size: 11px;
  letter-spacing: 0.04em;
}

/* Workspace */
.workspace {
  min-width: 0;
  padding: 44px 40px;
  display: flex;
  flex-direction: column;
  gap: 36px;
}

/* Sticky Topbar */
.topbar {
  position: sticky;
  top: 16px;
  z-index: 50;
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap: 20px;
  padding: 18px 28px;
  border: var(--hairline) solid var(--line);
  border-radius: 20px;
  background: var(--white);
  box-shadow: none;
}

.topbar h1 {
  margin-top: 4px;
  font-family: var(--font-serif);
  font-weight: 400;
  font-size: clamp(24px, 2.5vw, 36px);
  letter-spacing: -0.05em;
  color: var(--black);
}

.topbar-actions, .hero-actions {
  display: flex;
  align-items: center;
  gap: 12px;
  flex-wrap: wrap;
}

/* Labels */
.micro-label, .eyebrow, .section-label, .article-label {
  margin: 0;
  font-size: 11px;
  font-weight: 800;
  letter-spacing: 0.16em;
  line-height: 1.35;
  text-transform: uppercase;
  color: var(--muted);
}

.section-label {
  margin-bottom: 8px;
}

/* Buttons */
.primary-button, .ghost-button, .mini-button {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  border: var(--hairline) solid var(--line);
  border-radius: 999px;
  min-height: 44px;
  padding: 0 24px;
  background-color: var(--black);
  color: var(--white);
  font-size: 12px;
  font-weight: 800;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  transition: all 0.15s ease;
}

.primary-button:hover {
  background-color: var(--accent);
  border-color: var(--accent);
  color: var(--white);
}

.primary-button.large {
  min-height: 52px;
  padding: 0 32px;
  font-size: 13px;
}

.ghost-button {
  background: var(--white);
  color: var(--black);
}

.ghost-button:hover {
  background: var(--black);
  color: var(--white);
}

.mini-button {
  min-height: 34px;
  padding: 0 16px;
  font-size: 10px;
  background: var(--white);
  color: var(--black);
}

.mini-button:hover {
  background: var(--black);
  color: var(--white);
}

/* Red button */
.primary-button.accent-red {
  background-color: var(--red);
  color: var(--white);
  border-color: var(--red);
}

.primary-button.accent-red:hover {
  background-color: var(--black);
  border-color: var(--black);
}

/* View Section Control */
.view {
  display: none;
}

.view.is-active {
  display: flex;
  flex-direction: column;
  gap: 36px;
}

/* Cards & Panel base style */
.launch-hero, .launch-panel, .panel, .statement-card, .outline-card, .kpi-card, .benchmark-card, .integration-card, .forecast-card {
  border: var(--hairline) solid var(--line);
  border-radius: 22px;
  background: var(--white);
  box-shadow: none;
  transition: none;
}

/* Launch Hero */
.launch-grid {
  display: grid;
  grid-template-columns: minmax(0, 1.4fr) minmax(320px, 0.6fr);
  gap: 24px;
}

.launch-hero {
  padding: 44px;
  min-height: 460px;
  display: flex;
  flex-direction: column;
  justify-content: flex-end;
  background: var(--white);
}

.launch-hero h2 {
  font-family: var(--font-serif);
  font-size: clamp(38px, 5.5vw, 68px);
  font-weight: 400;
  letter-spacing: -0.06em;
  line-height: 0.9;
  margin-top: 16px;
  color: var(--black);
}

.launch-hero .dek {
  margin-top: 20px;
  font-family: var(--font-serif);
  font-size: clamp(18px, 1.8vw, 24px);
  line-height: 1.25;
  color: var(--black);
}

.hero-actions {
  margin-top: 32px;
}

/* Launch Panel (Sidebar of Launch View) */
.launch-panel {
  padding: 32px 24px;
  display: flex;
  flex-direction: column;
  gap: 20px;
  background: var(--white);
}

.launch-panel blockquote {
  margin: 0;
  padding: 24px;
  border: var(--hairline) solid var(--line);
  border-radius: 16px;
  font-family: var(--font-serif);
  font-size: clamp(16px, 1.5vw, 22px);
  line-height: 1.2;
  letter-spacing: -0.03em;
  background: var(--paper);
  color: var(--black);
  border-left: 6px solid var(--accent);
}

/* Launch Metrics */
.launch-metrics {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 18px;
}

.launch-metrics div {
  border: var(--hairline) solid var(--line);
  border-radius: 16px;
  padding: 24px;
  background: var(--white);
}

.launch-metrics strong {
  display: block;
  font-family: var(--font-serif);
  font-size: clamp(28px, 3.2vw, 48px);
  font-weight: 400;
  letter-spacing: -0.06em;
  line-height: 0.9;
  color: var(--black);
}

.launch-metrics span {
  display: block;
  margin-top: 10px;
  color: var(--muted);
  font-size: 11px;
  font-weight: 800;
  letter-spacing: 0.12em;
  line-height: 1.4;
  text-transform: uppercase;
}

/* Launch Sections */
.launch-section {
  display: grid;
  grid-template-columns: 200px 1fr;
  gap: 32px;
  align-items: start;
}

.statement-card {
  padding: 36px;
  background: var(--white);
}

.statement-card p {
  font-family: var(--font-serif);
  font-size: clamp(18px, 2vw, 26px);
  line-height: 1.35;
  letter-spacing: -0.03em;
  color: var(--black);
}

/* Card grids */
.card-grid {
  display: grid;
  gap: 18px;
}
.card-grid.four {
  grid-template-columns: repeat(4, minmax(0, 1fr));
}

.outline-card {
  min-height: 212px;
  padding: 22px;
  display: flex;
  flex-direction: column;
  justify-content: space-between;
}

.outline-card span {
  font-family: var(--font-mono);
  color: var(--accent);
  font-weight: 700;
  font-size: 12px;
}

.outline-card h3 {
  margin-top: 12px;
  font-family: var(--font-serif);
  font-size: clamp(20px, 1.8vw, 28px);
  font-weight: 400;
  letter-spacing: -0.045em;
  line-height: 1;
  color: var(--black);
}

.outline-card p, .body-copy {
  margin-top: 8px;
  color: var(--black);
  font-size: 14.5px;
  line-height: 1.45;
}

/* Dashboard Views (Command Center etc) */
.view-head {
  display: flex;
  justify-content: space-between;
  align-items: flex-end;
  gap: 20px;
  border-bottom: var(--hairline) solid var(--line);
  padding-bottom: 20px;
}

.view-head h2 {
  font-family: var(--font-serif);
  font-weight: 400;
  font-size: clamp(24px, 3.5vw, 42px);
  letter-spacing: -0.05em;
  line-height: 1.0;
  color: var(--black);
}

.status-pill {
  display: inline-flex;
  align-items: center;
  min-height: 32px;
  border: var(--hairline) solid var(--line);
  border-radius: 999px;
  padding: 0 16px;
  background: var(--white);
  font-family: var(--font-mono);
  font-size: 10px;
  font-weight: 800;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--black);
}

/* KPI Grid */
.kpi-grid {
  display: grid;
  grid-template-columns: repeat(6, minmax(0, 1fr));
  gap: 16px;
}
.kpi-grid.compact {
  grid-template-columns: repeat(4, minmax(0, 1fr));
}

.kpi-card {
  min-height: 130px;
  padding: 20px;
  display: flex;
  flex-direction: column;
  justify-content: space-between;
  background-color: var(--white);
}

.kpi-card strong {
  display: block;
  font-family: var(--font-serif);
  font-size: clamp(26px, 2.5vw, 38px);
  font-weight: 400;
  letter-spacing: -0.05em;
  line-height: 1.0;
  color: var(--black);
  margin-top: 10px;
}

.kpi-card span {
  display: block;
  color: var(--muted);
  font-size: 11px;
  font-weight: 700;
  margin-top: 4px;
}

/* KPI Grid layouts */
.panel {
  padding: 28px;
  background-color: var(--white);
  border: var(--hairline) solid var(--line);
}

.panel.tall {
  min-height: 380px;
  display: flex;
  flex-direction: column;
}

.two-col {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 18px;
}

.three-col {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 18px;
}

.three-col .panel {
  display: flex;
  flex-direction: column;
}

.three-col .panel .body-copy {
  flex-grow: 1;
}

.three-col .panel .mini-button {
  margin-top: auto;
  align-self: flex-start;
}

.panel-head {
  display: flex;
  justify-content: space-between;
  align-items: flex-start;
  gap: 16px;
  border-bottom: var(--hairline) solid var(--line);
  padding-bottom: 16px;
  margin-bottom: 20px;
}

.panel-head h3 {
  font-family: var(--font-serif);
  font-size: 24px;
  font-weight: 400;
  letter-spacing: -0.04em;
  color: var(--black);
  margin-top: 4px;
}

/* Donut layout & HTML-based text alignment */
.donut-layout {
  display: grid;
  grid-template-columns: auto 1fr;
  gap: 32px;
  align-items: center;
  flex-grow: 1;
}

.donut {
  --p1: 28;
  --p2: 20;
  --p3: 17;
  --p4: 19;
  --p5: 16;
  width: 180px;
  height: 180px;
  border-radius: 50%;
  background: conic-gradient(
    var(--color-1) 0 calc(var(--p1) * 1%), 
    var(--color-3) 0 calc((var(--p1) + var(--p2)) * 1%), 
    var(--color-2) 0 calc((var(--p1) + var(--p2) + var(--p3)) * 1%), 
    var(--color-6) 0 calc((var(--p1) + var(--p2) + var(--p3) + var(--p4)) * 1%), 
    var(--color-5) 0 100%
  );
  position: relative;
  border: var(--hairline) solid var(--line);
}

.donut-inner {
  position: absolute;
  inset: 28px;
  border-radius: 50%;
  background: var(--white);
  border: var(--hairline) solid var(--line);
  display: flex;
  flex-direction: column;
  align-items: center;
  justify-content: center;
  text-align: center;
}

.donut-value {
  font-family: var(--font-serif);
  font-size: 24px;
  font-weight: 500;
  line-height: 1;
  color: var(--black);
}

.donut-label {
  font-size: 10px;
  font-weight: 800;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--muted);
  margin-top: 3px;
}

.legend {
  display: grid;
  gap: 12px;
}

.legend-item {
  display: grid;
  grid-template-columns: 14px 1fr 48px;
  gap: 10px;
  align-items: center;
  font-size: 13px;
  color: var(--black);
}

.legend-dot {
  width: 14px;
  height: 14px;
  background-color: var(--color);
  border: 1px solid var(--line);
}

.legend-item strong {
  font-family: var(--font-mono);
  color: var(--black);
  font-size: 12px;
  text-align: right;
}

/* Insight Lists */
.insight-list {
  display: flex;
  flex-direction: column;
  gap: 12px;
  list-style: none;
}

.insight-list li {
  display: grid;
  grid-template-columns: 80px 1fr;
  gap: 16px;
  padding: 16px;
  border: var(--hairline) solid var(--line);
  border-radius: 14px;
  background: var(--paper);
}

.insight-list strong {
  font-family: var(--font-mono);
  font-size: 10px;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--accent);
  padding-top: 2px;
}

.insight-list span {
  color: var(--black);
  font-size: 13.5px;
  line-height: 1.4;
}

/* Tables */
.table-wrap {
  overflow-x: auto;
  border: var(--hairline) solid var(--line);
  border-radius: 16px;
  background: var(--white);
}

table {
  width: 100%;
  border-collapse: collapse;
  min-width: 600px;
}

th, td {
  padding: 16px 20px;
  border-bottom: var(--hairline) solid var(--line);
  text-align: left;
  font-size: 13.5px;
  color: var(--black);
}

th {
  background: var(--paper);
  font-size: 11px;
  font-weight: 800;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--muted);
}

tr:last-child td {
  border-bottom: 0;
}

/* Badges */
.badge {
  display: inline-flex;
  align-items: center;
  min-height: 26px;
  padding: 0 12px;
  border-radius: 999px;
  font-size: 9px;
  font-weight: 800;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  border: var(--hairline) solid var(--line);
  background: var(--white);
  color: var(--black);
}

.badge.green {
  background: var(--black);
  color: var(--white);
}

.badge.blue {
  background: var(--accent-tint);
  color: var(--accent);
  border-color: var(--accent-line);
}

.badge.amber {
  border-color: var(--amber);
  color: var(--amber);
}

.badge.red {
  background: var(--red);
  color: var(--white);
  border-color: var(--red);
}

.badge.gray {
  color: var(--muted);
}

/* Stacked Tables (Capacity Mix) */
.stacked-table {
  display: flex;
  flex-direction: column;
  gap: 16px;
}

.stack-row {
  display: grid;
  grid-template-columns: 180px 1fr 60px;
  gap: 20px;
  align-items: center;
}

.stack-label strong {
  display: block;
  font-size: 13.5px;
  color: var(--black);
  font-weight: 700;
}

.stack-label span {
  display: block;
  margin-top: 3px;
  color: var(--muted);
  font-size: 11px;
}

.stack-bar {
  height: 24px;
  display: flex;
  border-radius: 999px;
  background: var(--paper);
  border: var(--hairline) solid var(--line);
  overflow: hidden;
}

.stack-seg {
  height: 100%;
  background-color: var(--color);
  width: calc(var(--w) * 1%);
  border-right: 1px solid var(--line);
}
.stack-seg:last-child {
  border-right: none;
}

.stack-score {
  font-family: var(--font-mono);
  font-weight: 700;
  font-size: 13px;
  color: var(--black);
  text-align: right;
}

/* Provider concentration & charts */
.provider-bars {
  display: flex;
  flex-direction: column;
  gap: 16px;
  margin-top: 8px;
}

.provider-row {
  display: grid;
  gap: 6px;
}

.provider-line {
  display: flex;
  justify-content: space-between;
  font-size: 13px;
}

.provider-meter {
  height: 12px;
  border-radius: 999px;
  background: var(--paper);
  border: var(--hairline) solid var(--line);
  overflow: hidden;
}

.provider-meter span {
  display: block;
  height: 100%;
  width: calc(var(--w) * 1%);
  background-color: var(--color);
}

/* Timeline charts */
.timeline-chart {
  display: flex;
  flex-direction: column;
  gap: 16px;
  margin-top: 8px;
}

.timeline-row {
  display: grid;
  grid-template-columns: 100px 1fr 40px;
  gap: 16px;
  align-items: center;
}

.timeline-track {
  height: 12px;
  background: var(--paper);
  border: var(--hairline) solid var(--line);
  border-radius: 999px;
  overflow: hidden;
}

.timeline-track span {
  display: block;
  height: 100%;
  width: calc(var(--w) * 1%);
  background-color: var(--color);
}

.timeline-row strong {
  font-size: 12px;
  color: var(--black);
  font-weight: 700;
}

.timeline-row em {
  font-size: 11px;
  font-family: var(--font-mono);
  font-style: normal;
  color: var(--black);
  text-align: right;
  font-weight: 700;
}

/* Benchmark Grid */
.benchmark-grid {
  grid-template-columns: repeat(4, minmax(0, 1fr));
}

.benchmark-card {
  min-height: 220px;
  padding: 24px;
  display: flex;
  flex-direction: column;
  justify-content: space-between;
  background: var(--white);
}

.benchmark-card strong {
  display: block;
  margin-top: 12px;
  font-family: var(--font-serif);
  font-size: 44px;
  font-weight: 400;
  letter-spacing: -0.05em;
  color: var(--black);
  line-height: 1.0;
}

.benchmark-card p {
  color: var(--black);
  font-size: 13px;
  line-height: 1.4;
  margin-top: 8px;
  margin-bottom: auto;
}

.benchmark-meter {
  margin-top: 16px;
  height: 12px;
  background: var(--paper);
  border: var(--hairline) solid var(--line);
  border-radius: 999px;
  overflow: hidden;
}

.benchmark-meter span {
  display: block;
  height: 100%;
  width: calc(var(--w) * 1%);
  background-color: var(--color);
}

/* Integration Grid */
.integration-grid {
  grid-template-columns: repeat(4, minmax(0, 1fr));
}

.integration-card {
  padding: 24px;
  min-height: 180px;
  display: flex;
  flex-direction: column;
  justify-content: space-between;
  background: var(--white);
}

.integration-card h3 {
  font-family: var(--font-serif);
  font-size: 22px;
  font-weight: 400;
  letter-spacing: -0.02em;
  color: var(--black);
}

.integration-card p {
  color: var(--muted);
  font-size: 13px;
  line-height: 1.4;
}

.integration-card .badge {
  align-self: flex-start;
  margin-top: 12px;
}

/* Range Inputs */
.range-label {
  display: grid;
  gap: 8px;
  margin-top: 24px;
  font-size: 13px;
  font-weight: 700;
  color: var(--black);
}

.range-label strong {
  color: var(--accent);
  font-family: var(--font-mono);
  font-size: 12px;
  margin-left: 4px;
}

input[type="range"] {
  width: 100%;
  accent-color: var(--black);
  height: 6px;
  border-radius: 999px;
  background: var(--paper);
  border: var(--hairline) solid var(--line);
  outline: none;
  margin-top: 6px;
}

/* Forecast Outputs */
.forecast-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 16px;
  margin-top: 16px;
}

.forecast-card {
  padding: 20px;
  background: var(--paper);
  border: var(--hairline) solid var(--line);
}

.forecast-card span {
  font-size: 10px;
  font-weight: 800;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--muted);
}

.forecast-card strong {
  display: block;
  margin-top: 8px;
  font-family: var(--font-serif);
  font-weight: 400;
  font-size: 32px;
  letter-spacing: -0.04em;
  line-height: 1.0;
  color: var(--accent);
}

/* Modals */
.modal {
  position: fixed;
  inset: 0;
  z-index: 200;
  display: grid;
  place-items: center;
  padding: 24px;
  background: rgba(0, 0, 0, 0.4);
  backdrop-filter: blur(4px);
}

.modal[hidden] {
  display: none;
}

.modal-card {
  width: min(100%, 860px);
  max-height: calc(100vh - 80px);
  overflow: auto;
  border-radius: 26px;
  background: var(--white);
  border: var(--hairline) solid var(--line);
  display: flex;
  flex-direction: column;
}

.modal-top {
  position: sticky;
  top: 0;
  z-index: 10;
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap: 16px;
  padding: 20px 28px;
  border-bottom: var(--hairline) solid var(--line);
  background: var(--white);
}

.article {
  padding: 40px;
  display: flex;
  flex-direction: column;
  gap: 28px;
}

.article header {
  border-bottom: var(--hairline) solid var(--line);
  padding-bottom: 24px;
}

.article h2 {
  font-family: var(--font-serif);
  font-weight: 400;
  font-size: clamp(32px, 5vw, 64px);
  letter-spacing: -0.05em;
  line-height: 0.95;
  color: var(--black);
}

.article .dek {
  margin-top: 16px;
  font-family: var(--font-serif);
  font-size: 19px;
  line-height: 1.4;
  color: var(--black);
}

.article section {
  border-top: var(--hairline) solid var(--line);
  padding-top: 24px;
}

.article section:first-of-type {
  border-top: none;
  padding-top: 0;
}

.article p:not(.article-label) {
  color: var(--black);
  font-size: 15px;
  line-height: 1.6;
  margin-top: 12px;
}

/* Scorecard block */
.scorecard {
  display: flex;
  flex-direction: column;
  gap: 12px;
  margin-top: 16px;
}

.score-item {
  display: grid;
  grid-template-columns: 40px 1fr 100px;
  gap: 16px;
  align-items: baseline;
  padding: 16px 20px;
  border: var(--hairline) solid var(--line);
  border-radius: 16px;
  background: var(--white);
}

.score-item:hover {
  background: var(--paper);
}

.score-item.bonus {
  border-left: 6px solid var(--accent);
  background: var(--paper);
}

.score-num {
  font-family: var(--font-mono);
  font-size: 12px;
  font-weight: 800;
  color: var(--accent);
}

.score-trade strong {
  display: block;
  font-size: 14.5px;
  color: var(--black);
}

.score-trade span {
  display: block;
  margin-top: 4px;
  color: var(--muted);
  font-size: 12.5px;
  line-height: 1.4;
}

.score-cat {
  font-family: var(--font-mono);
  font-size: 10px;
  font-weight: 800;
  letter-spacing: 0.05em;
  text-transform: uppercase;
  color: var(--muted);
  text-align: right;
}

/* Terminal Console (Lock View / Loading) */
.console-container {
  margin-top: 24px;
  border: var(--hairline) solid var(--line);
  border-radius: 16px;
  background: var(--paper);
  display: none;
  flex-direction: column;
  overflow: hidden;
}

.console-header {
  height: 36px;
  background: var(--white);
  border-bottom: var(--hairline) solid var(--line);
  display: flex;
  align-items: center;
  padding: 0 16px;
  gap: 6px;
}

.console-dot {
  width: 8px;
  height: 8px;
  border-radius: 50%;
  border: 1px solid var(--line);
  background: var(--white);
}
.console-dot.red { background: var(--red); }
.console-dot.yellow { background: var(--muted); }
.console-dot.green { background: var(--black); }

.console-title {
  margin-left: 10px;
  font-family: var(--font-mono);
  font-size: 10px;
  color: var(--muted);
  text-transform: uppercase;
  letter-spacing: 0.08em;
  font-weight: 800;
}

.console-body {
  padding: 20px;
  font-family: var(--font-mono);
  font-size: 12px;
  line-height: 1.6;
  color: var(--black);
  max-height: 240px;
  overflow-y: auto;
}

.console-line {
  margin-bottom: 6px;
  display: flex;
  gap: 8px;
}

.console-line .c-prompt {
  color: var(--accent);
  user-select: none;
}

.console-line .c-success {
  color: var(--accent);
  font-weight: 700;
}

.console-line .c-info {
  color: var(--muted);
}

/* ---------- Profiles & Lists inside About view ---------- */
.profile-grid {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 18px;
}

.profile {
  display: flex;
  flex-direction: column;
  justify-content: space-between;
  min-height: 390px;
  border: var(--hairline) solid var(--line);
  border-radius: 22px;
  padding: 22px;
  background: var(--paper);
}

.profile h3 {
  margin: 0 0 14px;
  font-family: var(--font-serif);
  font-size: clamp(22px, 2.2vw, 30px);
  font-weight: 400;
  letter-spacing: -0.05em;
  line-height: 0.98;
}

.profile p {
  margin: 0 0 16px;
  font-size: 14px;
  line-height: 1.45;
  letter-spacing: -0.01em;
}

.profile ul {
  margin: 0;
  padding: 0;
  list-style: none;
  border-top: var(--hairline) solid var(--line);
}

.profile li {
  border-bottom: var(--hairline) solid var(--line);
  padding: 10px 0;
  font-size: 11px;
  font-weight: 800;
  letter-spacing: 0.11em;
  line-height: 1.35;
  text-transform: uppercase;
}

.profile li:last-child {
  border-bottom: 0;
}

/* ---------- Split Layout Sections ---------- */
.about-section {
  display: grid;
  grid-template-columns: 180px 1fr;
  gap: 36px;
  align-items: start;
  border-top: var(--hairline) solid var(--line);
  padding-top: 36px;
  margin-top: 44px;
}

.about-label {
  margin: 0;
  font-size: 12px;
  font-weight: 800;
  letter-spacing: 0.18em;
  line-height: 1.45;
  text-transform: uppercase;
  color: var(--black);
}

/* ---------- 2-Column Card Grid & Cards ---------- */
.grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 18px;
}

.card {
  border: var(--hairline) solid var(--line);
  border-radius: 22px;
  padding: 22px;
  min-height: 212px;
  background: var(--white);
}

.card h2,
.card h3 {
  margin: 0 0 14px;
  font-family: var(--font-serif);
  font-size: clamp(24px, 2.4vw, 34px);
  font-weight: 400;
  letter-spacing: -0.045em;
  line-height: 1;
}

.card p {
  margin: 0;
  font-size: 16px;
  line-height: 1.45;
  letter-spacing: -0.015em;
  color: var(--black);
}

.card .meta {
  margin: 0 0 14px;
  font-size: 11px;
  font-weight: 800;
  letter-spacing: 0.14em;
  line-height: 1.35;
  text-transform: uppercase;
  color: var(--muted);
}

/* ---------- Lists ---------- */
.list {
  border: var(--hairline) solid var(--line);
  border-radius: 20px;
  overflow: hidden;
  padding: 0;
  margin: 0;
  list-style: none;
}

.list li {
  display: grid;
  grid-template-columns: minmax(116px, 0.22fr) 1fr;
  gap: 20px;
  align-items: baseline;
  padding: 18px 20px;
  border-bottom: var(--hairline) solid var(--line);
  font-size: clamp(16px, 1.65vw, 20px);
  line-height: 1.32;
  letter-spacing: -0.02em;
}

.list li:last-child {
  border-bottom: 0;
}

.list span {
  display: block;
  font-size: 12px;
  font-weight: 800;
  letter-spacing: 0.14em;
  line-height: 1.2;
  text-transform: uppercase;
  white-space: nowrap;
}

/* Responsive Media Queries */
@media (max-width: 1200px) {
  .app-shell { grid-template-columns: 1fr; }
  .sidebar { position: relative; height: auto; padding: 24px; border-right: none; border-bottom: var(--hairline) solid var(--line); }
  .side-nav { grid-template-columns: repeat(4, minmax(0, 1fr)); }
  .demo-card { display: none; }
  .launch-grid, .two-col, .two-col.uneven, .profile-grid, .about-section, .grid { grid-template-columns: 1fr; }
  .profile { min-height: auto; }
  .about-section { gap: 16px; }
  .kpi-grid, .kpi-grid.compact { grid-template-columns: repeat(3, minmax(0, 1fr)); }
  .card-grid.four, .benchmark-grid, .integration-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); }
}

@media (max-width: 768px) {
  .workspace { padding: 20px; }
  .topbar {
    flex-direction: column;
    align-items: stretch;
    padding: 14px 16px;
    gap: 10px;
  }
  .topbar-actions {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 8px;
    margin-top: 8px;
    width: 100%;
  }
  .topbar-actions .primary-button,
  .topbar-actions .ghost-button {
    width: 100%;
    min-height: 40px;
    padding: 0 4px;
    font-size: clamp(9.5px, 2.6vw, 12px);
    letter-spacing: 0.08em;
    white-space: nowrap;
    text-align: center;
    justify-content: center;
  }
  .side-nav { grid-template-columns: 1fr 1fr; }
  .nav-button { font-size: 10px; }
  .launch-hero { min-height: 420px; padding: 24px; }
  .launch-metrics, .kpi-grid, .kpi-grid.compact, .three-col, .benchmark-grid, .integration-grid, .card-grid.four { grid-template-columns: 1fr; }
  .launch-section { grid-template-columns: 1fr; gap: 16px; }
  .donut-layout { grid-template-columns: 1fr; justify-items: center; }
  .stack-row { grid-template-columns: 1fr; gap: 8px; }
  .stack-score { text-align: left; }
  .forecast-grid { grid-template-columns: 1fr; }
  .score-item { grid-template-columns: 30px 1fr; }
  .score-cat { grid-column: 2; text-align: left; margin-top: 4px; }
  
  .list li {
    grid-template-columns: 1fr;
    gap: 8px;
    padding: 18px 16px;
  }
  .list span {
    white-space: normal;
  }
}