.sc-site-shell {
  min-height: 100vh;
  color: var(--sc-ink);
  overflow: clip;
  background:
    radial-gradient(circle at 76% 8%, color-mix(in srgb, var(--sc-surface-raised) 72%, transparent) 0, transparent 25rem),
    linear-gradient(180deg, var(--sc-canvas) 0%, var(--sc-canvas) 54%, color-mix(in srgb, var(--sc-canvas-mid) 46%, var(--sc-canvas)) 100%);
}

.sc-site-nav {
  position: fixed;
  z-index: 60;
  top: 14px;
  left: 50%;
  width: min(calc(100% - 28px), 1160px);
  min-height: 58px;
  transform: translateX(-50%);
  display: flex;
  align-items: center;
  gap: 18px;
  padding: 8px 10px 8px 16px;
  border: 1px solid color-mix(in srgb, var(--sc-border) 28%, transparent);
  border-radius: 20px;
  background: var(--sc-glass);
  box-shadow: 0 18px 46px var(--sc-shadow), inset 0 1px 0 rgba(255, 255, 255, .10);
  backdrop-filter: blur(20px) saturate(112%);
  -webkit-backdrop-filter: blur(20px) saturate(112%);
}

.sc-brand {
  display: inline-flex;
  align-items: center;
  gap: 10px;
  color: var(--sc-ink);
  font-size: 14px;
  font-weight: 650;
  letter-spacing: -0.02em;
  text-decoration: none;
}

.sc-brand.compact {
  font-size: 13px;
}

.sc-scope-mark {
  position: relative;
  width: 22px;
  height: 22px;
  border: 1.5px solid currentColor;
  border-right-color: transparent;
  border-radius: 50%;
  transform: rotate(-24deg);
}

.sc-scope-mark::after {
  content: '';
  position: absolute;
  width: 5px;
  height: 5px;
  right: -2px;
  top: 7px;
  border-radius: 50%;
  background: currentColor;
}

.sc-scope-mark span {
  position: absolute;
  width: 7px;
  height: 1px;
  left: 7px;
  top: 10px;
  background: currentColor;
  opacity: .5;
}

.sc-nav-links {
  margin-left: auto;
  display: flex;
  align-items: center;
  gap: 2px;
}

.sc-nav-links a {
  min-height: 38px;
  display: inline-flex;
  align-items: center;
  padding: 0 11px;
  border-radius: 999px;
  color: var(--sc-muted);
  font-size: 13px;
  font-weight: 540;
  text-decoration: none;
}

.sc-nav-links a:hover,
.sc-nav-links a:focus-visible {
  color: var(--sc-ink);
  background: var(--sc-surface);
}

.sc-nav-links .sc-nav-github {
  margin-left: 4px;
  color: var(--sc-canvas);
  border: 1px solid transparent;
  background: var(--sc-ink);
}

.sc-nav-links .sc-nav-github:hover,
.sc-nav-links .sc-nav-github:focus-visible {
  color: var(--sc-canvas);
  background: color-mix(in srgb, var(--sc-ink) 86%, var(--sc-muted));
}

.sc-language-link {
  font: 550 12px/1 var(--sc-font-sans);
}

.sc-home {
  width: 100%;
}

.sc-section,
.sc-hero {
  width: min(calc(100% - 48px), 1180px);
  margin: 0 auto;
}

.sc-hero {
  min-height: 760px;
  display: grid;
  grid-template-columns: minmax(0, .92fr) minmax(480px, 1.08fr);
  align-items: center;
  gap: clamp(52px, 7vw, 92px);
  padding: 124px 0 72px;
}

.sc-kicker {
  margin: 0 0 16px;
  color: var(--sc-muted);
  font: 570 11px/1.35 var(--sc-font-mono);
  letter-spacing: .09em;
  text-transform: uppercase;
}

.sc-hero h1,
.sc-section h2 {
  margin: 0;
  color: var(--sc-ink);
  font-weight: 540;
  letter-spacing: -.048em;
}

.sc-hero h1 {
  max-width: 720px;
  font-size: clamp(54px, 6.2vw, 82px);
  line-height: .98;
}

.sc-hero h1 span {
  color: var(--sc-muted);
}

.sc-hero-lede {
  max-width: 660px;
  margin: 26px 0 0;
  color: var(--sc-muted);
  font-size: 18px;
  line-height: 1.62;
}

.sc-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
  margin-top: 30px;
}

.sc-button {
  min-height: 44px;
  display: inline-flex;
  align-items: center;
  gap: 10px;
  padding: 0 16px;
  border: 1px solid transparent;
  border-radius: 999px;
  font-size: 13px;
  font-weight: 600;
  text-decoration: none;
}

.sc-button-primary {
  color: var(--sc-canvas);
  border-color: var(--sc-ink);
  background: var(--sc-ink);
}

.sc-button-secondary {
  color: var(--sc-ink);
  border-color: color-mix(in srgb, var(--sc-border) 48%, transparent);
  background: color-mix(in srgb, var(--sc-surface) 58%, transparent);
  backdrop-filter: blur(12px);
  -webkit-backdrop-filter: blur(12px);
}

.sc-button:hover {
  filter: brightness(.94);
}

.dark .sc-button:hover {
  filter: brightness(1.12);
}

.sc-evidence-stamp {
  display: flex;
  align-items: center;
  flex-wrap: wrap;
  gap: 8px;
  margin-top: 30px;
  color: var(--sc-tertiary);
  font: 520 9px/1.2 var(--sc-font-mono);
  letter-spacing: .08em;
}

.sc-evidence-stamp i {
  width: 3px;
  height: 3px;
  border-radius: 50%;
  background: var(--sc-border);
}

.sc-proof-board {
  overflow: hidden;
  border: 1px solid color-mix(in srgb, var(--sc-border) 30%, transparent);
  border-radius: 24px;
  background: color-mix(in srgb, var(--sc-glass-strong) 84%, transparent);
  box-shadow: 0 28px 80px color-mix(in srgb, var(--sc-shadow) 82%, transparent), inset 0 1px 0 rgba(255, 255, 255, .08);
  backdrop-filter: blur(24px) saturate(108%);
  -webkit-backdrop-filter: blur(24px) saturate(108%);
}

.sc-proof-board-head,
.sc-proof-result {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 20px;
}

.sc-proof-board-head {
  min-height: 48px;
  padding: 0 18px;
  border-bottom: 1px solid var(--sc-divider);
}

.sc-meta {
  color: var(--sc-tertiary);
  font: 560 9px/1.2 var(--sc-font-mono);
  letter-spacing: .09em;
}

.sc-proof-state {
  display: inline-flex;
  align-items: center;
  gap: 7px;
  color: var(--sc-muted);
  font: 520 10px/1.2 var(--sc-font-mono);
}

.sc-proof-state i {
  width: 6px;
  height: 6px;
  border-radius: 50%;
  background: var(--sc-positive);
}

.sc-proof-question {
  padding: 30px 24px 28px;
  font-size: clamp(20px, 2vw, 26px);
  line-height: 1.35;
  font-weight: 520;
  letter-spacing: -.025em;
}

.sc-proof-flow {
  display: grid;
  grid-template-columns: 1fr auto 1fr auto 1fr auto 1fr;
  align-items: stretch;
  border-block: 1px solid var(--sc-divider);
}

.sc-proof-flow > div {
  min-width: 0;
  padding: 17px 12px 16px;
}

.sc-proof-flow > div + b,
.sc-proof-flow > b + div {
  border-left: 1px solid var(--sc-divider);
}

.sc-proof-flow b {
  display: grid;
  place-items: center;
  padding: 0 7px;
  color: var(--sc-tertiary);
  font-weight: 400;
}

.sc-proof-flow span {
  display: block;
  color: var(--sc-tertiary);
  font: 520 9px/1.2 var(--sc-font-mono);
}

.sc-proof-flow strong {
  display: block;
  margin-top: 6px;
  font-size: 13px;
  font-weight: 600;
}

.sc-proof-flow small {
  display: block;
  margin-top: 4px;
  color: var(--sc-muted);
  font-size: 10px;
  line-height: 1.35;
}

.sc-proof-result {
  min-height: 128px;
  padding: 22px 24px;
}

.sc-proof-result strong {
  max-width: 390px;
  display: block;
  margin-top: 8px;
  font-size: 16px;
  line-height: 1.45;
  font-weight: 560;
}

.sc-proof-lines {
  width: 116px;
  display: grid;
  gap: 8px;
}

.sc-proof-lines i {
  height: 5px;
  background: var(--sc-border-soft);
}

.sc-proof-lines i:nth-child(2) {
  width: 78%;
}

.sc-proof-lines i:nth-child(3) {
  width: 52%;
}

.sc-concept-note {
  margin: 10px 0 0;
  color: var(--sc-tertiary);
  font: 500 9px/1.4 var(--sc-font-mono);
}

.sc-section {
  padding: 96px 0;
  border-top: 1px solid var(--sc-divider);
}

.sc-section-heading {
  max-width: 760px;
}

.sc-section-heading.compact {
  max-width: 700px;
}

.sc-section h2 {
  font-size: clamp(36px, 4.4vw, 54px);
  line-height: 1.05;
}

.sc-section-heading > p:last-child {
  max-width: 670px;
  margin: 22px 0 0;
  color: var(--sc-muted);
  font-size: 16px;
  line-height: 1.68;
}

.sc-workspace-list {
  margin-top: 52px;
  border-top: 1px solid var(--sc-border-soft);
}

.sc-workspace-list article {
  min-height: 154px;
  display: grid;
  grid-template-columns: 58px minmax(0, 1fr) auto;
  gap: 24px;
  align-items: start;
  padding: 28px 0;
  border-bottom: 1px solid var(--sc-divider);
}

.sc-index {
  color: var(--sc-tertiary);
  font: 520 10px/1.4 var(--sc-font-mono);
}

.sc-workspace-list h3 {
  margin: 0;
  font-size: 23px;
  font-weight: 560;
  letter-spacing: -.025em;
}

.sc-workspace-list p {
  max-width: 680px;
  margin: 8px 0 0;
  color: var(--sc-muted);
  font-size: 14px;
  line-height: 1.65;
}

.sc-workspace-list a,
.sc-text-link {
  color: var(--sc-ink);
  font-size: 13px;
  font-weight: 590;
  text-decoration: none;
}

.sc-boundary-grid {
  overflow: hidden;
  display: grid;
  grid-template-columns: 1fr 96px 1fr;
  align-items: stretch;
  margin-top: 54px;
  border: 1px solid color-mix(in srgb, var(--sc-border) 30%, transparent);
  border-radius: 22px;
  background: color-mix(in srgb, var(--sc-glass) 76%, transparent);
  box-shadow: 0 20px 60px color-mix(in srgb, var(--sc-shadow) 58%, transparent);
  backdrop-filter: blur(18px) saturate(108%);
  -webkit-backdrop-filter: blur(18px) saturate(108%);
}

.sc-boundary-column {
  padding: 30px;
}

.sc-boundary-column > span,
.sc-stack span,
.sc-execution-flow span {
  color: var(--sc-tertiary);
  font: 560 9px/1.3 var(--sc-font-mono);
  letter-spacing: .09em;
}

.sc-boundary-column > strong {
  display: block;
  margin-top: 12px;
  font-size: 20px;
  font-weight: 560;
  letter-spacing: -.02em;
}

.sc-boundary-column ul {
  margin: 26px 0 0;
  padding: 0;
  list-style: none;
}

.sc-boundary-column li {
  padding: 9px 0;
  border-top: 1px solid var(--sc-divider);
  color: var(--sc-muted);
  font-size: 13px;
}

.sc-boundary-column.emphasized {
  background: var(--sc-surface-raised);
}

.sc-boundary-divider {
  display: grid;
  place-items: center;
  border-inline: 1px solid var(--sc-divider);
  color: var(--sc-tertiary);
}

.sc-boundary-divider span {
  writing-mode: vertical-rl;
  font: 520 9px/1 var(--sc-font-mono);
  letter-spacing: .08em;
  text-transform: uppercase;
}

.sc-execution-flow {
  margin: 52px 0 0;
  padding: 0;
  list-style: none;
  border-top: 1px solid var(--sc-border-soft);
}

.sc-execution-flow li {
  display: grid;
  grid-template-columns: 100px minmax(230px, .7fr) 1fr;
  gap: 28px;
  padding: 25px 0;
  border-bottom: 1px solid var(--sc-divider);
}

.sc-execution-flow strong {
  font-size: 15px;
  font-weight: 580;
}

.sc-execution-flow p {
  margin: 0;
  color: var(--sc-muted);
  font-size: 13px;
  line-height: 1.55;
}

.sc-architecture,
.sc-runtime {
  display: grid;
  grid-template-columns: minmax(0, .9fr) minmax(420px, 1.1fr);
  gap: clamp(54px, 8vw, 110px);
  align-items: center;
}

.sc-text-link {
  display: inline-flex;
  gap: 9px;
  margin-top: 26px;
}

.sc-stack {
  overflow: hidden;
  border: 1px solid color-mix(in srgb, var(--sc-border) 30%, transparent);
  border-radius: 20px;
  background: color-mix(in srgb, var(--sc-glass) 68%, transparent);
  box-shadow: 0 18px 54px color-mix(in srgb, var(--sc-shadow) 48%, transparent);
  backdrop-filter: blur(16px);
  -webkit-backdrop-filter: blur(16px);
}

.sc-stack > div {
  display: grid;
  grid-template-columns: 112px 1fr;
  gap: 20px;
  padding: 19px 22px;
  border-bottom: 1px solid var(--sc-divider);
}

.sc-stack > div:last-child {
  border-bottom: 0;
}

.sc-stack .emphasized {
  background: var(--sc-surface-raised);
}

.sc-stack strong {
  font-size: 13px;
  font-weight: 580;
}

.sc-code-panel {
  overflow: auto;
  margin: 0;
  padding: 26px;
  border: 1px solid color-mix(in srgb, var(--sc-border) 30%, transparent);
  border-radius: 20px;
  background: color-mix(in srgb, var(--sc-code-block) 90%, transparent);
  box-shadow: 0 18px 54px color-mix(in srgb, var(--sc-shadow) 46%, transparent);
  color: var(--sc-code);
  font: 520 12px/1.8 var(--sc-font-mono);
}

.sc-code-panel span {
  color: var(--sc-muted);
}

.sc-code-panel .comment {
  color: var(--sc-tertiary);
}

.sc-closing {
  min-height: 420px;
  display: flex;
  align-items: center;
}

.sc-closing > div {
  max-width: 900px;
}

.sc-trust-strip {
  width: min(calc(100% - 48px), 1180px);
  margin: 0 auto;
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  overflow: hidden;
  border: 1px solid color-mix(in srgb, var(--sc-border) 28%, transparent);
  border-radius: 18px;
  background: color-mix(in srgb, var(--sc-glass) 68%, transparent);
  box-shadow: 0 14px 44px color-mix(in srgb, var(--sc-shadow) 42%, transparent);
  backdrop-filter: blur(16px);
  -webkit-backdrop-filter: blur(16px);
}

.sc-trust-strip > span {
  min-height: 92px;
  display: flex;
  flex-direction: column;
  justify-content: center;
  gap: 6px;
  padding: 18px 20px;
  border-right: 1px solid var(--sc-divider);
}

.sc-trust-strip > span:last-child {
  border-right: 0;
}

.sc-trust-strip strong {
  font-size: 14px;
  font-weight: 620;
}

.sc-trust-strip small {
  color: var(--sc-muted);
  font-size: 11px;
  line-height: 1.4;
}

.sc-enterprise-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 14px;
  margin-top: 48px;
}

.sc-enterprise-grid article,
.sc-deploy-options article {
  padding: 26px;
  border: 1px solid color-mix(in srgb, var(--sc-border) 28%, transparent);
  border-radius: 20px;
  background: color-mix(in srgb, var(--sc-glass) 62%, transparent);
  box-shadow: 0 16px 48px color-mix(in srgb, var(--sc-shadow) 38%, transparent);
  backdrop-filter: blur(14px);
  -webkit-backdrop-filter: blur(14px);
}

.sc-enterprise-grid article > span,
.sc-deploy-options article > span {
  color: var(--sc-tertiary);
  font: 560 9px/1.3 var(--sc-font-mono);
  letter-spacing: .09em;
}

.sc-enterprise-grid h3,
.sc-deploy-options h3 {
  margin: 12px 0 0;
  font-size: 20px;
  font-weight: 580;
  letter-spacing: -.02em;
}

.sc-enterprise-grid p,
.sc-deploy-options p {
  margin: 9px 0 0;
  color: var(--sc-muted);
  font-size: 13px;
  line-height: 1.62;
}

.sc-security-layout {
  display: grid;
  grid-template-columns: minmax(0, 1.35fr) minmax(280px, .65fr);
  gap: 18px;
  align-items: stretch;
  margin-top: 52px;
}

.sc-security-layout .sc-boundary-grid {
  margin-top: 0;
}

.sc-security-facts {
  overflow: hidden;
  border: 1px solid color-mix(in srgb, var(--sc-border) 28%, transparent);
  border-radius: 20px;
  background: color-mix(in srgb, var(--sc-glass) 58%, transparent);
  backdrop-filter: blur(14px);
  -webkit-backdrop-filter: blur(14px);
}

.sc-security-facts > div {
  padding: 20px;
  border-bottom: 1px solid var(--sc-divider);
}

.sc-security-facts > div:last-child {
  border-bottom: 0;
}

.sc-security-facts strong {
  font-size: 13px;
  font-weight: 610;
}

.sc-security-facts p {
  margin: 6px 0 0;
  color: var(--sc-muted);
  font-size: 12px;
  line-height: 1.55;
}

.sc-deploy-grid {
  display: grid;
  grid-template-columns: minmax(0, 1.05fr) minmax(320px, .95fr);
  gap: 18px;
  align-items: start;
  margin-top: 50px;
}

.sc-deploy-options {
  display: grid;
  gap: 12px;
}

.sc-open-source .sc-section-heading {
  max-width: 820px;
}

.sc-contact {
  padding-bottom: 120px;
}

.sc-contact-panel {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 40px;
  align-items: center;
  padding: clamp(30px, 4vw, 46px);
  border: 1px solid color-mix(in srgb, var(--sc-border) 28%, transparent);
  border-radius: 28px;
  background: color-mix(in srgb, var(--sc-glass-strong) 82%, transparent);
  box-shadow: 0 26px 78px color-mix(in srgb, var(--sc-shadow) 60%, transparent), inset 0 1px 0 rgba(255, 255, 255, .08);
  backdrop-filter: blur(22px) saturate(108%);
  -webkit-backdrop-filter: blur(22px) saturate(108%);
}

.sc-contact-panel h2 {
  font-size: clamp(34px, 4vw, 52px);
}

.sc-contact-panel p:last-child {
  max-width: 660px;
  margin: 18px 0 0;
  color: var(--sc-muted);
  font-size: 15px;
  line-height: 1.65;
}

.sc-contact-action {
  min-width: 245px;
  display: flex;
  flex-direction: column;
  align-items: flex-end;
  gap: 9px;
}

.sc-contact-action a {
  color: var(--sc-ink);
  font-size: 16px;
  font-weight: 620;
  text-decoration: none;
}

.sc-site-footer {
  width: min(calc(100% - 48px), 1180px);
  min-height: 120px;
  margin: 0 auto;
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  gap: 24px;
  border-top: 1px solid var(--sc-divider);
  color: var(--sc-muted);
}

.sc-site-footer p {
  margin: 0;
  text-align: center;
  font-size: 12px;
}

.sc-site-footer > div:last-child {
  display: flex;
  justify-content: flex-end;
  gap: 16px;
}

.sc-site-footer a {
  color: var(--sc-muted);
  font-size: 12px;
  text-decoration: none;
}

.sc-site-footer a:hover {
  color: var(--sc-ink);
}