:root {
  --blue:#0000A8;
  --blue-dark:#000050;
  --black:#000000;
  --white:#F8F8F8;
  --gray:#A8A8A8;
  --gray-high:#D8D8D8;
  --gray-low:#545454;
  --yellow:#FCFC54;
  --cyan:#54FCFC;
  --cyan-low:#00A8A8;
  --green:#54FC54;
  --amber:#FCA854;
  --red:#FC5454;
  --mono:"Cascadia Mono",Consolas,"Courier New",monospace;
}

* {
  box-sizing:border-box;
  border-radius:0 !important;
}

html,
body,
* {
  scrollbar-width:thin;
  scrollbar-color:var(--gray-low) var(--blue-dark);
}

*::-webkit-scrollbar {
  width:10px;
  height:10px;
}

*::-webkit-scrollbar-track {
  background:var(--blue-dark);
}

*::-webkit-scrollbar-thumb {
  background:var(--gray-low);
  border:1px solid var(--blue-dark);
  border-radius:0;
}

*::-webkit-scrollbar-thumb:hover {
  background:var(--cyan);
}

html,
body {
  width:100%;
  min-width:0;
  height:100%;
  margin:0;
  overflow:hidden;
  background:var(--blue);
  color:var(--white);
  font-family:var(--mono);
  font-size:14px;
  line-height:1.5;
}

button,
a {
  font:inherit;
}

a {
  color:var(--cyan);
  text-decoration:underline;
  text-underline-offset:2px;
}

a:hover {
  background:var(--cyan);
  color:var(--black);
  text-decoration:none;
}

a:focus-visible,
button:focus-visible,
[tabindex="0"]:focus-visible {
  outline:2px dotted var(--white);
  outline-offset:3px;
}

.skip-link {
  position:fixed;
  left:.75rem;
  top:-5rem;
  z-index:100;
  padding:.3rem .7rem;
  background:var(--yellow);
  color:var(--black);
  font-weight:700;
}

.skip-link:focus {
  top:.75rem;
}

.boot {
  position:fixed;
  inset:0;
  z-index:80;
  display:grid;
  place-items:center;
  padding:1rem;
  overflow:auto;
  background:var(--blue);
}

.boot[hidden] {
  display:none;
}

.boot-window {
  width:min(76ch,100%);
  border:1px solid var(--gray-high);
  padding:1rem 1.1rem;
  background:var(--blue-dark);
  box-shadow:5px 5px 0 var(--black);
}

.boot-window p {
  margin:.16rem 0;
  white-space:pre-wrap;
}

.boot-title {
  color:var(--cyan);
  font-weight:700;
}

.boot-window button {
  margin-top:1rem;
  border:1px solid var(--black);
  padding:.16rem 1.2ch;
  background:var(--gray-high);
  color:var(--black);
  box-shadow:3px 3px 0 var(--black);
  cursor:pointer;
  font-weight:700;
}

.machine {
  display:flex;
  flex-direction:column;
  width:100%;
  height:100dvh;
  min-width:0;
  background:var(--blue);
}

.topbar {
  flex:none;
  display:grid;
  grid-template-columns:max-content minmax(0,1fr) max-content;
  align-items:center;
  gap:.6rem 1rem;
  min-width:0;
  padding:.28rem .85rem;
  border-bottom:2px solid var(--white);
  background:var(--gray);
  color:var(--black);
}

.brand {
  color:var(--black);
  font-weight:700;
  text-decoration:none;
}

.brand:hover,
.brand:focus-visible {
  background:var(--black);
  color:var(--white);
}

.topbar nav {
  display:flex;
  min-width:0;
  gap:.2rem 1.2ch;
  overflow-x:auto;
  scrollbar-width:thin;
}

.topbar nav a {
  flex:none;
  color:var(--black);
  font-weight:700;
  text-decoration:none;
}

.topbar nav a:hover,
.topbar nav a:focus-visible {
  background:var(--blue);
  color:var(--white);
}

.topbar-tools {
  display:flex;
  align-items:center;
  justify-content:flex-end;
  gap:1.2ch;
  min-width:0;
}

.language-toggle {
  display:flex;
  align-items:center;
  gap:.35ch;
  white-space:nowrap;
  font-weight:700;
}

.language-toggle button {
  border:0;
  padding:0 .35ch;
  background:transparent;
  color:var(--black);
  cursor:pointer;
  font-weight:700;
}

.language-toggle button:hover,
.language-toggle button:focus-visible,
.language-toggle button[aria-pressed="true"] {
  background:var(--blue);
  color:var(--white);
}

.language-toggle button[aria-pressed="true"] {
  text-decoration:underline;
  text-underline-offset:2px;
}

.runtime-chip {
  margin:0;
  white-space:nowrap;
  font-size:12px;
}

.document-pane {
  flex:1;
  min-width:0;
  min-height:0;
  overflow-y:auto;
  overflow-x:hidden;
  scroll-behavior:smooth;
}

.wrap {
  width:min(1200px,100%);
  margin:0 auto;
  padding:1.35rem 1.1rem 3rem;
}

.prose {
  max-width:72ch;
}

section {
  min-width:0;
  margin:0 0 2.5rem;
  scroll-margin-top:.8rem;
}

.eyebrow {
  margin:0 0 .8rem;
  padding-bottom:.2rem;
  border-bottom:1px solid var(--gray-low);
  color:var(--cyan);
  font-size:12px;
  font-weight:700;
  letter-spacing:.13em;
}

h1,
h2,
h3,
p,
ul,
dl,
figure {
  margin-top:0;
}

h1 {
  max-width:44ch;
  margin-bottom:.75rem;
  color:var(--yellow);
  font-size:clamp(1.45rem,4vw,2rem);
  line-height:1.18;
  text-wrap:balance;
}

section > h2 {
  margin-bottom:.55rem;
  color:var(--cyan);
  font-size:1rem;
  letter-spacing:.04em;
}

p {
  margin-bottom:.62rem;
}

.lede {
  font-size:1.04rem;
}

.sub {
  color:var(--gray-high);
}

strong,
.value {
  color:var(--yellow);
  font-weight:400;
}

.ok {
  color:var(--green) !important;
}

.warn {
  color:var(--amber) !important;
}

.danger,
.fail {
  color:var(--red) !important;
}

.boot-thesis {
  margin:.65rem 0 .9rem !important;
  color:var(--yellow);
  font-weight:700;
}

.hero-section {
  margin-bottom:2.5rem;
}

.hero-grid {
  display:grid;
  grid-template-columns:minmax(0,1.45fr) minmax(18rem,.55fr);
  gap:1rem;
  align-items:stretch;
  min-height:calc(100dvh - 8.5rem);
  padding:.8rem 0 1.5rem;
}

.hero-main {
  display:flex;
  flex-direction:column;
  justify-content:center;
  min-width:0;
}

.hero-main h1 {
  max-width:31ch;
  font-size:clamp(1.8rem,4.8vw,3.1rem);
}

.hero-problem {
  max-width:68ch;
  margin-bottom:.65rem;
  color:var(--amber);
  font-weight:700;
}

.hero-solution {
  max-width:70ch;
  font-size:clamp(1rem,1.8vw,1.16rem);
}

.hero-autonomy {
  max-width:70ch;
  margin:.15rem 0 0;
  border-left:3px solid var(--cyan);
  padding:.45rem .75rem;
  background:var(--blue-dark);
  color:var(--gray-high);
}

.hero-actions {
  display:flex;
  flex-wrap:wrap;
  gap:.5rem;
  margin-top:1rem;
}

.hero-action {
  display:inline-block;
  border:1px solid var(--cyan);
  padding:.35rem .75rem;
  background:var(--blue-dark);
  color:var(--cyan);
  font-weight:700;
  text-decoration:none;
}

.hero-action:first-child {
  background:var(--cyan);
  color:var(--black);
}

.hero-action:hover,
.hero-action:focus-visible {
  background:var(--yellow);
  color:var(--black);
}

.hero-proof {
  align-self:center;
  min-width:0;
  border:1px solid var(--green);
  padding:.85rem;
  background:var(--blue-dark);
  box-shadow:5px 5px 0 var(--black);
}

.hero-proof-label {
  margin:0 0 .65rem;
  padding:.1rem .45rem;
  background:var(--green);
  color:var(--black);
  font-size:12px;
  font-weight:700;
}

.hero-proof h2 {
  margin-bottom:.5rem;
  color:var(--yellow);
  font-size:1.35rem;
}

.hero-proof-facts {
  display:grid;
  grid-template-columns:max-content minmax(0,1fr);
  gap:.18rem 1.2ch;
  margin:.75rem 0;
}

.hero-proof-facts dt {
  color:var(--gray);
}

.hero-proof-facts dd {
  min-width:0;
  margin:0;
  overflow-wrap:anywhere;
}

.hero-boundary {
  margin:0;
  padding-top:.65rem;
  border-top:1px solid var(--gray-low);
  color:var(--gray-high);
  font-size:.9rem;
}

.capability-status {
  padding-top:.25rem;
}

.status-grid {
  display:grid;
  grid-template-columns:repeat(3,minmax(0,1fr));
  gap:.65rem;
  margin-top:1rem;
}

.status-grid article {
  min-width:0;
  border:1px solid var(--gray-low);
  background:var(--blue-dark);
}

.status-grid h2 {
  margin:0;
  padding:.16rem .65rem;
  background:var(--gray);
  color:var(--black);
  font-size:12px;
}

.status-grid p {
  margin:0;
  padding:.65rem;
  color:var(--gray-high);
  overflow-wrap:anywhere;
}

.status-grid [data-status="implemented"] {
  border-color:var(--green);
}

.status-grid [data-status="experimental"] {
  border-color:var(--amber);
}

.status-grid [data-status="planned"] {
  border-color:var(--gray);
}

.authority-comparison {
  display:grid;
  grid-template-columns:repeat(2,minmax(0,1fr));
  gap:.75rem;
  margin:1rem 0;
}

.authority-lane {
  display:flex;
  flex-direction:column;
  min-width:0;
  border:2px solid var(--gray);
  background:var(--blue-dark);
}

.authority-lane-broad {
  border-color:var(--amber);
}

.authority-lane-bounded {
  border-color:var(--green);
}

.authority-kicker {
  margin:0;
  padding:.18rem .65rem;
  background:var(--gray);
  color:var(--black);
  font-size:12px;
  font-weight:700;
  letter-spacing:.06em;
}

.authority-lane-broad .authority-kicker {
  background:var(--amber);
}

.authority-lane-bounded .authority-kicker {
  background:var(--green);
}

.authority-lane h3 {
  margin:0;
  padding:.6rem .7rem .25rem;
  color:var(--yellow);
  font-size:1rem;
}

.authority-path {
  counter-reset:authority-step;
  display:flex;
  flex:1;
  flex-direction:column;
  gap:.45rem;
  margin:.35rem .7rem .7rem;
  padding:0;
  list-style:none;
}

.authority-path li {
  counter-increment:authority-step;
  position:relative;
  min-height:2.2rem;
  padding:.35rem .45rem .35rem 5.5ch;
  border-left:1px solid var(--gray-low);
  background:var(--blue);
  overflow-wrap:anywhere;
}

.authority-path li::before {
  position:absolute;
  left:.45rem;
  color:var(--cyan);
  content:counter(authority-step,decimal-leading-zero) " →";
  font-weight:700;
}

.authority-lane-broad .authority-path li::before {
  color:var(--amber);
}

.authority-lane-bounded .authority-path li::before {
  color:var(--green);
}

.authority-outcome {
  margin:auto .7rem .7rem;
  padding:.45rem .55rem;
  border:1px solid var(--gray-low);
  color:var(--white);
  font-weight:700;
}

.authority-lane-broad .authority-outcome {
  border-color:var(--amber);
}

.authority-lane-bounded .authority-outcome {
  border-color:var(--green);
}

.mode-selector {
  margin:1rem 0;
  border:1px solid var(--cyan-low);
  padding:.75rem;
  background:var(--blue-dark);
}

.mode-selector-head {
  display:flex;
  align-items:flex-start;
  justify-content:space-between;
  gap:.75rem 1.5ch;
  margin-bottom:.65rem;
}

.mode-selector-head h3 {
  margin:0 0 .2rem;
  color:var(--cyan);
  font-size:.95rem;
}

.mode-selector-head p {
  margin-bottom:0;
}

.mode-layer {
  flex:none;
  padding:.15rem .55rem;
  border:1px solid var(--yellow);
  color:var(--yellow);
  font-size:12px;
  font-weight:700;
  white-space:nowrap;
}

.mode-tabs {
  display:grid;
  grid-template-columns:repeat(3,minmax(0,1fr));
  gap:.35rem;
}

.mode-tabs button {
  min-width:0;
  border:1px solid var(--gray);
  padding:.45rem .55rem;
  background:var(--blue);
  color:var(--white);
  cursor:pointer;
  font-weight:700;
  text-align:left;
}

.mode-tabs button:hover,
.mode-tabs button:focus-visible {
  border-color:var(--cyan);
  background:var(--cyan);
  color:var(--black);
}

.mode-tabs button[aria-selected="true"] {
  border-color:var(--yellow);
  background:var(--yellow);
  color:var(--black);
}

.mode-tabs button[aria-selected="true"]::before {
  content:"> ";
}

.mode-panels {
  margin-top:.45rem;
  border:1px solid var(--gray-low);
  background:var(--blue);
}

.mode-panel {
  min-height:7.2rem;
  padding:.7rem .8rem;
}

.mode-panel[hidden] {
  display:none;
}

.mode-panel p {
  max-width:76ch;
}

.mode-panel p:last-child {
  margin-bottom:0;
}

.mode-summary {
  color:var(--yellow);
  font-weight:700;
}

.safety-statement {
  margin:1rem 0;
  border:3px double var(--amber);
  padding:.7rem .85rem;
  background:var(--black);
}

.safety-statement p {
  max-width:none;
  margin:0;
  color:var(--white);
  font-weight:700;
}

.safety-statement strong {
  color:var(--amber);
}

.checks,
.limits {
  display:flex;
  flex-direction:column;
  gap:.3rem;
  margin:.65rem 0;
  padding:0;
  list-style:none;
}

.checks li,
.limits li {
  position:relative;
  padding-left:2.5ch;
}

.checks li::before {
  position:absolute;
  left:0;
  color:var(--green);
  content:">";
}

.limits li::before {
  position:absolute;
  left:0;
  color:var(--red);
  content:"x";
}

.firmware-note,
.acceptance-panel,
.closing {
  margin-top:.9rem;
  border:1px solid var(--cyan-low);
  padding:.7rem .85rem;
  background:var(--blue-dark);
}

.firmware-note p,
.acceptance-panel p,
.closing p {
  max-width:none;
}

.demo-boundary {
  margin:.9rem 0;
  border:1px solid var(--green);
  padding:.65rem .8rem;
  background:var(--blue-dark);
}

.demo-boundary p {
  max-width:none;
  margin-bottom:.35rem;
}

.demo-boundary p:last-child {
  margin-bottom:0;
}

.demo-boundary strong {
  color:var(--green);
}

.demo-status {
  margin:.75rem 0;
  border:1px solid var(--gray-low);
  padding:.35rem .65rem;
  background:var(--blue-dark);
}

.demo-status.ok {
  border-color:var(--green);
}

.demo-status.warn {
  border-color:var(--amber);
}

.demo-steps {
  display:grid;
  grid-template-columns:repeat(2,minmax(0,1fr));
  gap:.75rem;
  margin:0;
  padding:0;
  list-style:none;
}

.demo-step {
  min-width:0;
  border:1px solid var(--gray-low);
  padding:.75rem;
  background:var(--blue-dark);
}

.demo-step-result {
  border-color:var(--green);
}

.demo-step-head {
  display:flex;
  align-items:center;
  gap:.75rem;
  margin:-.75rem -.75rem .65rem;
  border-bottom:1px solid var(--gray-low);
  background:var(--gray);
  color:var(--black);
}

.demo-step-number {
  align-self:stretch;
  display:grid;
  place-items:center;
  min-width:4.5ch;
  padding:.2rem .45rem;
  background:var(--blue);
  color:var(--white);
  font-weight:700;
}

.demo-step-head h3 {
  margin:0;
  padding:.2rem 0;
  color:var(--black);
  font-size:.9rem;
}

.demo-primary-value {
  color:var(--yellow);
  overflow-wrap:anywhere;
}

.demo-source-note,
.demo-history-note {
  margin-bottom:0;
  padding-top:.45rem;
  border-top:1px solid var(--gray-low);
  color:var(--gray-high);
  font-size:.9rem;
}

.demo-subheading {
  margin:.65rem 0 .25rem;
  color:var(--cyan);
  font-size:.85rem;
  font-weight:700;
}

.demo-kv {
  display:grid;
  grid-template-columns:max-content minmax(0,1fr);
  gap:.15rem 1.2ch;
  margin:0;
}

.demo-kv dt {
  color:var(--gray);
}

.demo-kv dd {
  min-width:0;
  margin:0;
  overflow-wrap:anywhere;
}

.demo-list,
.demo-records {
  display:flex;
  flex-direction:column;
  gap:.35rem;
  margin:.25rem 0 0;
  padding:0;
  list-style:none;
}

.demo-list li,
.demo-records li {
  min-width:0;
  border-left:2px solid var(--cyan-low);
  padding:.3rem .45rem;
  background:var(--blue);
  overflow-wrap:anywhere;
}

.demo-record-title {
  display:block;
  color:var(--yellow);
  font-weight:700;
}

.demo-record-meta {
  display:block;
  margin-top:.15rem;
  color:var(--gray-high);
  font-size:.9rem;
}

.demo-record-links {
  display:flex;
  flex-wrap:wrap;
  gap:.25rem 1.2ch;
  margin-top:.25rem;
}

.demo-mode-note {
  margin:.7rem 0 0;
  border:1px solid var(--amber);
  padding:.55rem .65rem;
  background:var(--black);
}

.demo-result-match {
  margin:.7rem 0;
  border:2px solid var(--amber);
  padding:.45rem .6rem;
  font-weight:700;
}

.demo-result-match.ok {
  border-color:var(--green);
}

.demo-links {
  display:flex;
  flex-wrap:wrap;
  gap:.45rem 1.5ch;
  margin-top:.8rem;
  border-top:1px solid var(--gray-low);
  padding-top:.65rem;
}

.policy-grid {
  display:grid;
  grid-template-columns:minmax(0,1.1fr) minmax(0,.9fr);
  gap:.75rem;
  align-items:stretch;
}

.policy-requests {
  display:grid;
  grid-template-columns:repeat(2,minmax(0,1fr));
  gap:.35rem;
  align-content:start;
}

.policy-requests button {
  width:100%;
  border:1px solid var(--gray-low);
  padding:.3rem .65rem;
  background:var(--blue-dark);
  color:var(--white);
  text-align:left;
  overflow-wrap:anywhere;
  cursor:pointer;
}

.policy-requests button:hover,
.policy-requests button[aria-pressed="true"] {
  border-color:var(--cyan);
  background:var(--cyan);
  color:var(--black);
}

.policy-requests button[aria-pressed="true"] {
  font-weight:700;
}

.verdict {
  min-height:0;
  display:grid;
  grid-template-rows:auto minmax(4rem,1fr) auto;
  border:1px solid var(--cyan-low);
  padding:.75rem .85rem;
  background:var(--blue-dark);
}

.stamp {
  display:inline-block;
  margin:0 0 .7rem;
  padding:.06rem .8ch;
  background:var(--gray);
  color:var(--black);
  font-weight:700;
}

.stamp.allowed {
  background:var(--green);
}

.stamp.denied {
  background:var(--red);
}

.stamp.plan {
  background:var(--amber);
}

.stamp.pending {
  background:var(--gray);
}

.verdict pre {
  min-height:4rem;
  margin:0;
  color:var(--white);
  font:inherit;
  white-space:pre-wrap;
  overflow-wrap:anywhere;
}

.verdict .rule {
  max-width:none;
  margin:.7rem 0 0;
  padding-top:.6rem;
  border-top:1px solid var(--gray-low);
  color:var(--cyan);
}

.diagram {
  margin-bottom:0;
  border:1px solid var(--gray-low);
  padding:.65rem;
  background:var(--blue-dark);
  overflow-x:auto;
}

.diagram img {
  display:block;
  width:100%;
  height:auto;
  min-width:0;
}

.diagram figcaption {
  margin-top:.55rem;
  color:var(--gray-high);
}

.table-scroll {
  max-width:100%;
  margin:.8rem 0;
  overflow-x:auto;
  border:1px solid var(--gray-low);
}

table {
  width:100%;
  min-width:38rem;
  border-collapse:collapse;
  background:var(--blue-dark);
  font-variant-numeric:tabular-nums;
}

th,
td {
  padding:.35rem .65rem;
  border-bottom:1px solid var(--gray-low);
  text-align:left;
  vertical-align:top;
}

th {
  color:var(--cyan);
}

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

.acceptance-panel h3 {
  margin-bottom:.45rem;
  color:var(--green);
  font-size:.95rem;
}

.kv {
  display:grid;
  grid-template-columns:max-content minmax(0,1fr);
  gap:.12rem 1.6ch;
  max-width:100%;
  margin:.65rem 0 0;
}

.kv dt {
  color:var(--gray);
}

.kv dd {
  margin:0;
  color:var(--yellow);
  overflow-wrap:anywhere;
  font-variant-numeric:tabular-nums;
}

.evidence-log {
  border:1px solid var(--gray-low);
  padding:.55rem .75rem;
  background:var(--blue-dark);
}

.evidence-log p {
  display:grid;
  grid-template-columns:10ch 9ch minmax(0,1fr);
  gap:0 1ch;
  align-items:baseline;
  max-width:none;
  margin:.2rem 0;
  overflow-wrap:anywhere;
}

.evidence-log time {
  color:var(--cyan-low);
  white-space:nowrap;
}

.label {
  display:block;
  width:auto;
  margin:0;
  font-weight:700;
  white-space:nowrap;
}

.label.pass {
  color:var(--green);
}

.cards {
  display:grid;
  grid-template-columns:repeat(2,minmax(0,1fr));
  gap:.65rem;
}

.card {
  min-width:0;
  border:1px solid var(--gray-low);
  background:var(--blue-dark);
}

.card-wide {
  grid-column:1 / -1;
}

.card h3 {
  display:flex;
  justify-content:space-between;
  gap:1ch;
  margin:0;
  padding:.16rem .65rem;
  background:var(--gray);
  color:var(--black);
  font-size:12px;
}

.card h3 > .state {
  color:#005400;
  white-space:nowrap;
}

.card .finding {
  max-width:none;
  margin:.6rem .7rem .45rem;
  color:var(--yellow);
}

.card dl {
  display:grid;
  grid-template-columns:max-content minmax(0,1fr);
  gap:.15rem 1.2ch;
  margin:.45rem .7rem .7rem;
}

.card dt {
  color:var(--gray);
}

.card dd {
  margin:0;
  overflow-wrap:anywhere;
}

.runtime-values {
  margin-top:.8rem;
  border:1px solid var(--gray-low);
  padding:.65rem .75rem;
  background:var(--blue-dark);
}

.runtime-error {
  max-width:none;
  color:var(--gray-high);
}

.runtime-checks {
  display:flex;
  flex-wrap:wrap;
  align-items:baseline;
  gap:.2rem 1ch;
}

.runtime-checks > span:first-child {
  flex-basis:auto;
}

.runtime-check {
  display:inline-flex;
  align-items:baseline;
  white-space:nowrap;
}

.runtime-check + .runtime-check::before {
  content:"·";
  margin-right:1ch;
  color:var(--gray);
}

.keybar {
  flex:none;
  display:flex;
  align-items:center;
  gap:.2rem 1.5ch;
  min-width:0;
  padding:.25rem .85rem;
  border-top:2px solid var(--white);
  background:var(--gray);
  color:var(--black);
  font-size:12px;
}

.section-label {
  flex:none;
  padding:0 .8ch;
  background:var(--blue);
  color:var(--white);
  font-weight:700;
}

.spacer {
  flex:1;
}

@media (max-width:760px) {
  body {
    font-size:13px;
  }

  .topbar {
    grid-template-columns:max-content minmax(0,1fr);
  }

  .topbar nav {
    grid-column:1 / -1;
    grid-row:2;
  }

  .topbar-tools {
    justify-self:end;
  }

  .runtime-chip {
    display:none;
  }

  .hero-grid,
  .authority-comparison,
  .demo-steps,
  .status-grid,
  .policy-grid,
  .cards {
    grid-template-columns:1fr;
  }

  .hero-grid {
    min-height:auto;
    padding:.55rem 0 1.4rem;
  }

  .hero-proof {
    align-self:stretch;
    box-shadow:3px 3px 0 var(--black);
  }

  .mode-selector-head {
    flex-direction:column;
  }

  .mode-layer {
    white-space:normal;
  }

  .hero-actions {
    flex-direction:column;
    align-items:stretch;
  }

  .hero-action {
    width:100%;
  }

  .policy-requests {
    grid-template-columns:1fr;
  }

  .diagram img {
    min-width:48rem;
  }

  .keybar .spacer,
  .keybar span:last-child {
    display:none;
  }
}

@media (max-width:420px) {
  .topbar nav {
    margin-top:.25rem;
  }

  .wrap {
    padding:1rem .7rem 2.5rem;
  }

  .hero-main h1 {
    font-size:1.65rem;
  }

  .hero-proof-facts {
    grid-template-columns:1fr;
    gap:.05rem;
  }

  .mode-tabs {
    grid-template-columns:1fr;
  }

  .demo-kv {
    grid-template-columns:1fr;
    gap:.05rem;
  }

  .demo-kv dd {
    margin-bottom:.35rem;
  }

  .demo-links {
    flex-direction:column;
  }

  .hero-proof-facts dd {
    margin-bottom:.35rem;
  }

  .evidence-log p {
    grid-template-columns:10ch minmax(0,1fr);
    row-gap:.12rem;
  }

  .evidence-log p > span:last-child {
    grid-column:1 / -1;
  }

  .boot-window {
    padding:.75rem;
  }

  .kv,
  .card dl {
    grid-template-columns:1fr;
    gap:.05rem;
  }

  .kv dd,
  .card dd {
    margin-bottom:.35rem;
  }

  .keybar {
    padding:.24rem .55rem;
  }
}

@media (prefers-reduced-motion:reduce) {
  *,
  *::before,
  *::after {
    scroll-behavior:auto !important;
    animation-duration:.01ms !important;
    animation-iteration-count:1 !important;
    transition-duration:.01ms !important;
  }

  .boot {
    display:none;
  }
}