:root {
  color-scheme: light;
  --ink: #1f2633;
  --muted: #626b78;
  --paper: #ffffff;
  --soft: #f2eff8;
  --line: #d8d2e3;
  --purple: #6842a8;
  --purple-dark: #4d2d83;
  --coral: #c65548;
  --code: #171421;
  --focus: #f3b73f;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  background: var(--paper);
  color: var(--ink);
  font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  margin: 0;
}
button, input, select, textarea { font: inherit; }
a { color: inherit; }

.skip-link {
  background: var(--ink);
  color: white;
  left: 1rem;
  padding: 0.7rem 1rem;
  position: fixed;
  top: -5rem;
  z-index: 100;
}
.skip-link:focus { top: 1rem; }

.site-header {
  align-items: center;
  background: rgba(255, 255, 255, 0.96);
  border-bottom: 1px solid var(--line);
  display: flex;
  gap: 1rem;
  justify-content: space-between;
  min-height: 64px;
  padding: 0 max(1.25rem, calc((100% - 1180px) / 2));
  position: sticky;
  top: 0;
  z-index: 20;
}
.brand { align-items: center; display: flex; font-weight: 800; gap: 0.65rem; text-decoration: none; }
.brand-mark {
  align-items: center;
  background: var(--purple);
  border-radius: 6px;
  color: white;
  display: inline-flex;
  height: 32px;
  justify-content: center;
  width: 32px;
}
.site-header nav, footer nav { display: flex; flex-wrap: wrap; gap: 1rem; }
.site-header nav a, footer a { font-size: 0.9rem; font-weight: 700; text-decoration: none; }
.site-header nav a:hover, footer a:hover, .inline-link:hover { color: var(--purple); }

.product-intro {
  background-color: #20182f;
  background-image:
    radial-gradient(circle at 82% 20%, rgba(210, 171, 255, 0.25), transparent 30%),
    linear-gradient(128deg, #20182f 0%, #3d285e 58%, #6842a8 100%);
  color: white;
}
.update-section-hero .intro-content { max-width: 1180px; }
.intro-content { margin: 0 auto; max-width: 1180px; padding: 4rem 1.25rem; }
.intro-content h1 { font-size: 3.35rem; line-height: 1.05; margin: 0 0 1rem; overflow-wrap: anywhere; }
.intro-content > p:not(.eyebrow) { font-size: 1.12rem; line-height: 1.65; max-width: 760px; }
.eyebrow { color: #d8b8ff; font-size: 0.78rem; font-weight: 800; margin: 0 0 0.65rem; text-transform: uppercase; }
.eyebrow.dark { color: var(--purple); }
.install-row { align-items: center; display: flex; flex-wrap: wrap; gap: 0.6rem; margin-top: 1.35rem; }
.install-row code { background: rgba(12, 8, 19, 0.72); border: 1px solid rgba(255,255,255,0.35); border-radius: 6px; padding: 0.8rem 1rem; }
.release-line { display: flex; flex-wrap: wrap; gap: 0.6rem; margin-top: 1rem; }
.release-line span { border-left: 3px solid #eba06f; font-size: 0.88rem; padding-left: 0.55rem; }

.section-inner { margin: 0 auto; max-width: 1080px; padding: 3.2rem 1.25rem; }
.section-inner.wide { max-width: 1280px; }
.tool-band { background: var(--soft); border-bottom: 1px solid var(--line); }
.section-heading { align-items: end; display: flex; gap: 1rem; justify-content: space-between; margin-bottom: 1.25rem; }
h2 { font-size: 2rem; margin: 0; }
h3 { font-size: 0.95rem; margin: 0; }
.workbench-note { color: var(--muted); line-height: 1.55; margin: -0.35rem 0 1rem; }

.control-bar {
  align-items: end;
  background: var(--paper);
  border: 1px solid var(--line);
  border-radius: 8px;
  display: grid;
  gap: 0.75rem;
  grid-template-columns: minmax(210px, 1fr) minmax(210px, 1fr) minmax(150px, 0.6fr) auto;
  margin-bottom: 0.9rem;
  padding: 0.9rem;
}
label { display: grid; gap: 0.35rem; min-width: 0; }
label span { color: var(--muted); font-size: 0.76rem; font-weight: 800; }
input, select, textarea {
  background: white;
  border: 1px solid #b8afc8;
  border-radius: 6px;
  color: var(--ink);
  min-width: 0;
  padding: 0.68rem 0.75rem;
}
input:focus, select:focus, textarea:focus, button:focus-visible, a:focus-visible { outline: 3px solid var(--focus); outline-offset: 2px; }
.primary-button, .compact-button, .text-button {
  border: 1px solid transparent;
  border-radius: 6px;
  cursor: pointer;
  font-weight: 800;
}
.primary-button { background: var(--purple); color: white; min-height: 42px; padding: 0.65rem 1rem; }
.primary-button:hover { background: var(--purple-dark); }
.compact-button { background: white; color: var(--ink); min-height: 38px; padding: 0.55rem 0.8rem; }
.text-button { background: transparent; color: var(--purple); padding: 0.25rem 0.4rem; }

.workspace-grid, .result-grid { display: grid; gap: 0.9rem; grid-template-columns: repeat(2, minmax(0, 1fr)); }
.result-grid { grid-template-columns: minmax(0, 1.35fr) minmax(280px, 0.65fr); margin-top: 0.9rem; }
.editor-panel, .output-panel { background: var(--paper); border: 1px solid var(--line); border-radius: 8px; min-width: 0; overflow: hidden; }
.editor-panel header, .output-panel header { align-items: center; border-bottom: 1px solid var(--line); display: flex; min-height: 48px; justify-content: space-between; padding: 0.35rem 0.9rem; }
.editor-panel header span, .output-panel header span { color: var(--muted); font-size: 0.75rem; font-weight: 700; }
.editor-panel textarea { border: 0; border-radius: 0; display: block; font-family: "SFMono-Regular", Consolas, monospace; height: 285px; line-height: 1.55; resize: vertical; width: 100%; }
.output-panel pre { height: 250px; }
pre { background: var(--code); color: #f5f0fb; margin: 0; overflow: auto; padding: 1rem; white-space: pre-wrap; word-break: break-word; }
code, pre, textarea { font-family: "SFMono-Regular", Consolas, "Liberation Mono", monospace; font-size: 0.86rem; }
.comparison-result { align-items: center; background: var(--paper); border: 1px solid var(--line); border-radius: 8px; display: flex; flex-wrap: wrap; gap: 0.65rem; margin-top: 0.9rem; min-height: 52px; padding: 0.8rem 1rem; }
.comparison-result > span:last-child { color: var(--muted); }
.status-indicator { background: var(--purple); border-radius: 50%; height: 9px; width: 9px; }
.status-indicator.error { background: var(--coral); }

.content-band { border-bottom: 1px solid var(--line); }
.content-band.muted { background: #faf8fc; }
.content-grid { align-items: start; display: grid; gap: 2.5rem; grid-template-columns: 0.8fr 1.2fr; }
.content-band p, .resource-band p, footer span { color: var(--muted); line-height: 1.65; }
.api-table-wrapper { border: 1px solid var(--line); border-radius: 8px; overflow-x: auto; }
table { border-collapse: collapse; width: 100%; }
th, td { border-bottom: 1px solid var(--line); padding: 0.85rem; text-align: left; vertical-align: top; }
th { background: var(--soft); font-size: 0.8rem; }
tr:last-child td { border-bottom: 0; }
.contract-list { display: grid; gap: 0.75rem; list-style: none; margin: 0; padding: 0; }
.contract-list li { background: var(--paper); border: 1px solid var(--line); border-left: 4px solid var(--purple); line-height: 1.55; padding: 0.85rem 1rem; }
.proof-grid { align-items: start; display: grid; gap: 2rem; grid-template-columns: 0.7fr 1.3fr; }
.proof-list { display: grid; gap: 1px; grid-template-columns: repeat(2, minmax(0, 1fr)); margin: 0; }
.proof-list div { background: var(--soft); min-height: 116px; padding: 1rem; }
.proof-list dt { color: var(--purple); font-size: 1.7rem; font-weight: 900; }
.proof-list dd { color: var(--muted); line-height: 1.45; margin: 0.3rem 0 0; }
.resource-band { background: #241a35; color: white; }
.resource-grid { align-items: center; display: flex; gap: 2rem; justify-content: space-between; }
.resource-grid nav { display: flex; flex-wrap: wrap; gap: 0.6rem; }
.resource-grid a { border: 1px solid #a994bd; border-radius: 6px; padding: 0.7rem 0.85rem; text-decoration: none; }
.code-surface { display: grid; gap: 0.75rem; }
.code-surface pre { border-radius: 8px; }
footer { align-items: start; display: flex; gap: 2rem; justify-content: space-between; margin: 0 auto; max-width: 1180px; padding: 2rem 1.25rem; }
footer div { display: grid; gap: 0.35rem; }

@media (max-width: 920px) {
  .control-bar { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .content-grid, .proof-grid { grid-template-columns: 1fr; }
}
@media (max-width: 700px) {
  .site-header { align-items: flex-start; padding-bottom: 0.8rem; padding-top: 0.8rem; }
  .site-header nav { display: none; }
  .brand { font-size: 0.86rem; overflow-wrap: anywhere; }
  .intro-content { padding-bottom: 2.6rem; padding-top: 2.6rem; }
  .intro-content h1 { font-size: 1.8rem; }
  .control-bar, .workspace-grid, .result-grid { grid-template-columns: 1fr; }
  .editor-panel textarea { height: 240px; }
  .output-panel pre { height: 220px; }
  .proof-list { grid-template-columns: 1fr; }
  .resource-grid, footer { align-items: flex-start; display: grid; }
}