:root {
  color-scheme: dark;
  --bg: #05080c;
  --panel: #091119;
  --line: #253844;
  --ink: #eef6f8;
  --muted: #8da2ad;
  --green: #80f0bd;
  --cyan: #80c9dd;
  --amber: #f0c777;
  --display: "Arial Narrow", "Roboto Condensed", "Segoe UI", sans-serif;
  --mono: ui-monospace, SFMono-Regular, Consolas, "Liberation Mono", monospace;
  font-family: var(--display);
  background: var(--bg);
  color: var(--ink);
}

* { box-sizing: border-box; }
html { background: var(--bg); }
body { margin: 0; min-height: 100vh; background: radial-gradient(circle at 83% -8%, #123039 0, transparent 31rem), linear-gradient(145deg, #05080c, #08131a); }
body::before { content: ""; position: fixed; inset: 0; pointer-events: none; opacity: .16; background-image: linear-gradient(rgba(128,240,189,.07) 1px, transparent 1px), linear-gradient(90deg, rgba(128,240,189,.07) 1px, transparent 1px); background-size: 42px 42px; mask-image: linear-gradient(to bottom, black, transparent 62%); }
a { color: inherit; text-decoration: none; }
a:focus-visible { outline: 2px solid var(--green); outline-offset: 4px; }
.shell { position: relative; width: min(1240px, calc(100% - 34px)); margin: auto; padding: 18px 0 52px; }
.eyebrow, article small { color: var(--green); font: 700 .64rem/1.4 var(--mono); letter-spacing: .16em; text-transform: uppercase; }
h1 { max-width: 760px; margin: .28em 0 .22em; font: 800 clamp(2rem, 3.3vw, 3.2rem)/.96 var(--display); letter-spacing: -.045em; text-transform: uppercase; }
.lead { max-width: 740px; color: #a8bbc6; font: .88rem/1.6 var(--mono); }

.hero { display: grid; grid-template-columns: minmax(0, 1.35fr) minmax(300px, .65fr); gap: 16px; align-items: center; padding: 22px 0 24px; border-bottom: 1px solid var(--line); }
.hero-copy { border-left: 2px solid var(--green); padding-left: 18px; }
.actions { display: flex; flex-wrap: wrap; align-items: center; gap: 8px; margin-top: 20px; }
.actions a { border: 1px solid var(--line); padding: 11px 14px; font: 700 .66rem var(--mono); letter-spacing: .06em; text-transform: uppercase; }
.actions a:hover { border-color: var(--green); color: var(--green); }
.primary-action { background: var(--green); color: var(--bg); border-color: var(--green) !important; }
.primary-action:hover { color: var(--bg) !important; }
.primary-action span { margin-right: 12px; opacity: .62; }
.text-action { border-color: transparent !important; color: var(--muted); }

.console-summary { display: grid; gap: 7px; border: 1px solid var(--line); background: linear-gradient(145deg, rgba(15,30,38,.96), rgba(7,14,20,.98)); padding: 16px; }
.console-summary .eyebrow { margin: 0 0 4px; }
.state-line { border: 1px solid var(--line); background: #061018; padding: 10px; }
.state-line b, .state-line span { display: block; }
.state-line b { margin-bottom: 4px; font: 700 .64rem var(--mono); letter-spacing: .08em; text-transform: uppercase; }
.state-line span { color: var(--muted); font: .63rem/1.45 var(--mono); }

.payload-panel, .proof-data-grid, .flow-panel { margin-top: 24px; border: 1px solid var(--line); background: rgba(7,16,24,.8); padding: 18px; }
.section-heading { display: flex; justify-content: space-between; align-items: end; gap: 22px; margin-bottom: 14px; }
.section-heading .eyebrow { margin: 0; }
.section-heading h2 { margin: 5px 0 0; font: 800 clamp(1.35rem, 2vw, 1.9rem)/1.05 var(--display); letter-spacing: -.02em; text-transform: uppercase; }
.section-heading > p { max-width: 480px; margin: 0; color: var(--muted); font: .68rem/1.5 var(--mono); }

.payload-grid { display: grid; grid-template-columns: repeat(4, 1fr); gap: 7px; }
.payload-link { min-width: 0; display: flex; flex-direction: column; gap: 7px; border: 1px solid var(--line); background: #050d13; padding: 12px; }
.payload-link.primary { box-shadow: inset 3px 0 var(--green); }
.payload-link:hover { border-color: var(--cyan); }
.payload-link b { color: var(--ink); font: 800 .74rem var(--display); letter-spacing: .04em; text-transform: uppercase; }
.payload-link code { overflow-wrap: anywhere; color: var(--cyan); font: .61rem/1.4 var(--mono); }
.payload-link span { color: var(--muted); font: .6rem/1.4 var(--mono); }

.boundary-strip { display: grid; grid-template-columns: 1fr 1fr; gap: 7px; margin-top: 12px; }
.boundary-strip span { border: 1px solid var(--line); background: #061018; padding: 10px; color: var(--muted); font: .65rem/1.5 var(--mono); }
.boundary-strip b { display: block; margin-bottom: 5px; font-size: .6rem; letter-spacing: .1em; }

.flow-steps { list-style: none; display: grid; grid-template-columns: repeat(5, 1fr); gap: 7px; margin: 0; padding: 0; }
.flow-steps li { display: grid; grid-template-columns: auto 1fr; gap: 8px; border: 1px solid var(--line); background: #061018; padding: 11px; }
.flow-steps b { color: var(--green); font: 700 .61rem var(--mono); }
.flow-steps strong, .flow-steps span { display: block; }
.flow-steps strong { margin-bottom: 5px; color: var(--ink); font: 800 .7rem var(--display); text-transform: uppercase; }
.flow-steps span { color: var(--muted); font: .6rem/1.45 var(--mono); }

.proof-data-grid { display: grid; grid-template-columns: 1.25fr .75fr .75fr; gap: 8px; }
.proof-data-grid .section-heading { grid-column: 1 / -1; }
.data-card { min-width: 0; border: 1px solid var(--line); background: linear-gradient(180deg, #0b161f, #071018); padding: 15px; }
.data-card dl { display: grid; grid-template-columns: 116px 1fr; gap: 7px; color: var(--muted); font: .64rem/1.45 var(--mono); }
.data-card dt { color: var(--green); }
.data-card dd { margin: 0; overflow-wrap: anywhere; }
.data-card p { color: var(--muted); font: .67rem/1.5 var(--mono); }
.data-card strong { color: var(--ink); }
.inline-route { display: inline-block; margin-top: 9px; color: var(--cyan); font: 700 .61rem var(--mono); }
.inline-route:hover { color: var(--green); text-decoration: underline; }

.machine-row { display: flex; justify-content: space-between; align-items: center; gap: 20px; margin-top: 16px; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); padding: 12px 0; }
.machine-row p { margin: 0; color: var(--muted); font: .64rem/1.5 var(--mono); }
.machine-row b { color: var(--ink); }
.machine-row nav { display: flex; flex-wrap: wrap; justify-content: flex-end; gap: 14px; }
.machine-row a { color: var(--cyan); font: 700 .61rem var(--mono); }
.machine-row a:hover { color: var(--green); }

.compact-header { display: flex; justify-content: space-between; gap: 20px; align-items: flex-end; padding: 30px 0 22px; border-bottom: 1px solid var(--line); }
.compact-header h1 { max-width: 680px; font-size: clamp(1.9rem, 3vw, 2.8rem); }
.compact-header .actions { margin-top: 16px; }
.verification-status { max-width: 220px; border: 1px solid var(--green); padding: 9px; color: var(--green); font: 700 .63rem/1.35 var(--mono); letter-spacing: .1em; text-align: center; }
.verification-grid { display: grid; grid-template-columns: repeat(2, 1fr); gap: 9px; margin-top: 22px; }
.verification-grid article { border: 1px solid var(--line); background: linear-gradient(180deg, #0b161f, #071018); padding: 17px; }
.verification-grid article:first-child { grid-column: span 1; }
.verification-grid h2 { margin: 18px 0 9px; font: 800 1.1rem var(--display); text-transform: uppercase; }
.verification-grid p, .verification-grid li, .verification-grid dl { color: var(--muted); font: .68rem/1.55 var(--mono); }
.verification-grid dl { display: grid; grid-template-columns: 145px 1fr; gap: 7px; }
.verification-grid dt { color: var(--green); }
.verification-grid dd { margin: 0; overflow-wrap: anywhere; }
.hash { display: block; overflow-wrap: anywhere; color: #c7d6dc; font: .67rem/1.6 var(--mono); }

.state-recorded { border-color: rgba(128,240,189,.58) !important; }
.state-recorded > b, .state-recorded small { color: var(--green) !important; }
.state-verified { border-color: var(--green) !important; }
.state-verified > b, .state-verified small { color: var(--green) !important; }
.state-warning, .state-not-proven { border-color: rgba(240,199,119,.72) !important; }
.state-warning > b, .state-not-proven > b, .state-warning small, .state-not-proven small { color: var(--amber) !important; }
.state-sandbox, .state-readable { border-color: rgba(128,201,221,.7) !important; }
.state-sandbox > b, .state-readable > b, .state-sandbox small, .state-readable small { color: var(--cyan) !important; }

footer { display: flex; justify-content: space-between; align-items: center; gap: 20px; margin-top: 18px; padding: 18px 0; border-top: 1px solid var(--line); }
footer p, footer nav { margin: 0; color: var(--muted); font: .64rem var(--mono); letter-spacing: .06em; text-transform: uppercase; }
footer nav { display: flex; gap: 18px; }
footer a:hover { color: var(--green); }

@media (max-width: 1080px) {
  .payload-grid, .flow-steps { grid-template-columns: repeat(2, 1fr); }
  .proof-data-grid { grid-template-columns: 1fr 1fr; }
  .proof-data-grid .section-heading, .data-card--wide { grid-column: 1 / -1; }
}

@media (max-width: 820px) {
  .hero, .verification-grid { grid-template-columns: 1fr; }
  .compact-header, .section-heading, .machine-row { align-items: flex-start; flex-direction: column; }
  .machine-row nav { justify-content: flex-start; }
  .boundary-strip { grid-template-columns: 1fr; }
}

@media (max-width: 620px) {
  .shell { width: min(100% - 20px, 1240px); }
  .payload-grid, .proof-data-grid, .flow-steps { grid-template-columns: 1fr; }
  .proof-data-grid .section-heading, .data-card--wide { grid-column: auto; }
  h1 { font-size: clamp(1.9rem, 10vw, 2.7rem); }
  .actions a { width: 100%; text-align: center; }
  .text-action { width: auto !important; padding-left: 0 !important; text-align: left !important; }
  .data-card dl, .verification-grid dl { grid-template-columns: 1fr; }
  footer { align-items: flex-start; flex-direction: column; }
  footer nav { flex-wrap: wrap; }
}