/*
Purpose: route-local public styles extracted from proof/index.html.
Governance scope: remove inline style dependence while preserving static route rendering.
Dependencies: proof/index.html.
Invariants: no secrets, no runtime claims, no JavaScript dependency.
*/

:root {
      color-scheme: dark;
      --bg: #050609;
      --panel: #0d1018;
      --line: #272d40;
      --text: #e9eaef;
      --muted: #99a0b4;
      --gold: #5ce6c4;
      --green: #e8b15c;
      --violet: #7dd3fc;
      --red: #ff6f91;
      --nav-bg: rgba(5, 6, 9, 0.88);
    }

    :root[data-theme="light"] {
      color-scheme: light;
      --bg: #f7f8fb;
      --panel: #ffffff;
      --line: #d8e0ea;
      --text: #111827;
      --muted: #455366;
      --gold: #0f766e;
      --green: #b45309;
      --violet: #2563eb;
      --red: #aa2449;
      --nav-bg: rgba(247, 248, 251, 0.86);
    }

    * { box-sizing: border-box; }
    html {
      overflow-x: hidden;
    }

    body {
      margin: 0;
      overflow-x: hidden;
      background: var(--bg);
      color: var(--text);
      font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, "Liberation Mono", monospace;
      line-height: 1.6;
    }

    a { color: inherit; }

    .skip-link {
      position: fixed;
      top: 12px;
      left: 12px;
      z-index: 5;
      padding: 10px 16px;
      background: var(--gold);
      color: #050609;
      font-size: 13px;
      text-decoration: none;
      transform: translateY(-200%);
      transition: transform 0.2s ease;
    }

    .skip-link:focus { transform: translateY(0); }

    :focus-visible {
      outline: 2px solid var(--gold);
      outline-offset: 3px;
    }

    #main {
      scroll-margin-top: 80px;
    }

    #main:focus { outline: none; }

    @media (prefers-reduced-motion: reduce) {
      .skip-link { transition: none; }
    }

    header, main, footer {
      width: min(1120px, calc(100% - 32px));
      margin: 0 auto;
    }

    nav {
      position: fixed;
      top: 0;
      left: 0;
      right: 0;
      z-index: 2;
      border-bottom: 1px solid rgba(92, 230, 196, 0.16);
      background: var(--nav-bg);
      backdrop-filter: blur(12px);
    }

    .nav-inner {
      width: min(1120px, calc(100% - 32px));
      height: 64px;
      margin: 0 auto;
      display: flex;
      align-items: center;
      justify-content: space-between;
      gap: 24px;
    }

    .brand {
      color: var(--gold);
      font-weight: 700;
      letter-spacing: 0.18em;
      text-transform: uppercase;
      text-decoration: none;
    }

    .nav-links {
      display: flex;
      gap: 20px;
      color: var(--muted);
      font-size: 13px;
    }

    .nav-links a { text-decoration: none; }
    .nav-links a:hover { color: var(--gold); }

    .theme-toggle {
      display: inline-flex;
      align-items: center;
      gap: 8px;
      min-height: 36px;
      padding: 0 12px;
      border: 1px solid rgba(92, 230, 196, 0.28);
      background: transparent;
      color: var(--muted);
      font: inherit;
      font-size: 12px;
      letter-spacing: 0.14em;
      text-transform: uppercase;
      cursor: pointer;
      transition: color 0.2s ease, border-color 0.2s ease;
    }

    .theme-toggle:hover {
      color: var(--gold);
      border-color: var(--gold);
    }

    .theme-dot {
      width: 11px;
      height: 11px;
      border: 1px solid currentColor;
      border-radius: 50%;
      background: linear-gradient(90deg, currentColor 0 50%, transparent 50%);
    }

    header {
      min-height: 72vh;
      display: grid;
      align-content: center;
      gap: 28px;
      padding: 112px 0 56px;
    }

    .eyebrow {
      color: var(--green);
      font-size: 13px;
      letter-spacing: 0.24em;
      text-transform: uppercase;
    }

    h1 {
      max-width: 940px;
      margin: 0;
      font-size: 82px;
      line-height: 0.95;
      letter-spacing: 0;
    }

    .lede {
      max-width: 820px;
      color: var(--muted);
      font-size: 18px;
    }

    .actions {
      display: flex;
      flex-wrap: wrap;
      gap: 12px;
    }

    .button {
      display: inline-flex;
      align-items: center;
      min-height: 44px;
      padding: 0 18px;
      border: 1px solid var(--line);
      color: var(--text);
      text-decoration: none;
      font-size: 14px;
    }

    .button.primary {
      border-color: var(--gold);
      background: var(--gold);
      color: #050609;
      font-weight: 700;
    }

    section {
      padding: 64px 0;
      border-top: 1px solid rgba(92, 230, 196, 0.14);
    }

    h2 {
      margin: 0 0 24px;
      font-size: 40px;
      line-height: 1.08;
      letter-spacing: 0;
    }

    .grid {
      display: grid;
      grid-template-columns: repeat(3, 1fr);
      gap: 14px;
    }

    .lane {
      min-height: 220px;
      padding: 22px;
      border: 1px solid var(--line);
      background: var(--panel);
    }

    .lane h3 {
      margin: 0 0 12px;
      color: var(--gold);
      font-size: 18px;
    }

    .lane p {
      margin: 0;
      color: var(--muted);
      font-size: 14px;
    }

    .state {
      display: inline-block;
      margin: 0 0 14px;
      color: var(--violet);
      font-size: 12px;
      text-transform: uppercase;
      letter-spacing: 0.12em;
    }

    .state.pending { color: var(--red); }
    .proof-list {
      margin: 0;
      padding: 0;
      list-style: none;
      color: var(--muted);
    }

    .proof-list li {
      padding: 14px 0;
      border-bottom: 1px solid var(--line);
    }

    .evidence-note {
      max-width: 780px;
      margin: -8px 0 24px;
      color: var(--muted);
    }

    .proof-registry {
      display: grid;
      gap: 14px;
    }

    .proof-summary {
      display: grid;
      grid-template-columns: repeat(4, 1fr);
      gap: 10px;
    }

    .proof-summary div {
      border: 1px solid var(--line);
      background: var(--panel);
      padding: 14px;
    }

    .proof-summary dt {
      color: var(--green);
      font-size: 24px;
      font-weight: 700;
      line-height: 1;
    }

    .proof-summary dd {
      margin: 8px 0 0;
      color: var(--muted);
      font-size: 11px;
      letter-spacing: 0.12em;
      text-transform: uppercase;
    }

    .product-proof-grid {
      display: grid;
      grid-template-columns: repeat(2, minmax(0, 1fr));
      gap: 12px;
    }

    .product-proof-card {
      display: grid;
      gap: 12px;
      min-width: 0;
      border: 1px solid var(--line);
      background: var(--panel);
      padding: 18px;
    }

    .product-proof-head {
      display: flex;
      align-items: flex-start;
      justify-content: space-between;
      gap: 12px;
    }

    .product-proof-card h3 {
      margin: 0;
      color: var(--gold);
      font-size: 18px;
    }

    .product-proof-card p {
      margin: 0;
      color: var(--muted);
      font-size: 13px;
    }

    .status-pill {
      flex: 0 0 auto;
      border: 1px solid var(--line);
      color: var(--violet);
      padding: 3px 7px;
      font-size: 10px;
      letter-spacing: 0.1em;
      text-transform: uppercase;
    }

    .proof-meta {
      display: grid;
      gap: 1px;
      margin: 0;
      background: var(--line);
    }

    .proof-meta div {
      display: grid;
      grid-template-columns: minmax(96px, 0.34fr) minmax(0, 0.66fr);
      gap: 10px;
      background: var(--panel);
      padding: 9px 10px;
    }

    .proof-meta dt {
      color: var(--green);
      font-size: 10px;
      letter-spacing: 0.1em;
      text-transform: uppercase;
    }

    .proof-meta dd {
      margin: 0;
      color: var(--muted);
      font-size: 12px;
      overflow-wrap: anywhere;
    }

    .proof-actions {
      display: flex;
      flex-wrap: wrap;
      gap: 8px;
      border-top: 1px solid var(--line);
      padding-top: 12px;
    }

    .proof-actions a,
    .proof-actions span {
      display: inline-flex;
      align-items: center;
      min-height: 32px;
      border: 1px solid var(--line);
      color: var(--text);
      padding: 5px 9px;
      font-size: 12px;
      text-decoration: none;
    }

    .proof-actions a {
      color: var(--green);
    }

    .proof-actions a:hover {
      border-color: var(--gold);
      color: var(--gold);
    }

    .claim-registry {
      display: grid;
      gap: 14px;
    }

    .claim-grid {
      display: grid;
      grid-template-columns: repeat(3, minmax(0, 1fr));
      gap: 10px;
      max-height: 620px;
      overflow-y: auto;
      padding-right: 4px;
    }

    .claim-card {
      display: grid;
      gap: 10px;
      min-width: 0;
      border: 1px solid var(--line);
      background: var(--panel);
      padding: 15px;
    }

    .claim-card-head {
      display: flex;
      align-items: flex-start;
      justify-content: space-between;
      gap: 10px;
    }

    .claim-card code {
      color: var(--green);
      font-size: 11px;
      line-height: 1.4;
      overflow-wrap: anywhere;
    }

    .claim-card h3 {
      margin: 0;
      color: var(--gold);
      font-size: 15px;
      line-height: 1.25;
    }

    .claim-card p {
      margin: 0;
      color: var(--muted);
      font-size: 12px;
      overflow-wrap: anywhere;
    }

    .proof-empty {
      border: 1px solid var(--line);
      background: var(--panel);
      color: var(--muted);
      padding: 18px;
    }

    .runtime-witness {
      display: grid;
      gap: 14px;
      margin-bottom: 28px;
    }

    .runtime-status-grid,
    .runtime-check-grid,
    .runtime-closure-grid {
      display: grid;
      grid-template-columns: repeat(3, minmax(0, 1fr));
      gap: 10px;
    }

    .runtime-status-card,
    .runtime-check-card,
    .runtime-closure-card {
      display: grid;
      gap: 9px;
      min-width: 0;
      border: 1px solid var(--line);
      background: var(--panel);
      padding: 16px;
    }

    .runtime-status-card h3 {
      margin: 0;
      color: var(--gold);
      font-size: 17px;
    }

    .runtime-status-card p,
    .runtime-check-card p {
      margin: 0;
      color: var(--muted);
      font-size: 13px;
    }

    .runtime-check-card code {
      color: var(--green);
      font-size: 13px;
      overflow-wrap: anywhere;
    }

    .runtime-closure-card h4 {
      margin: 0;
      color: var(--gold);
      font-size: 15px;
      line-height: 1.25;
    }

    .runtime-closure-card code {
      color: var(--green);
      font-size: 12px;
      overflow-wrap: anywhere;
    }

    .runtime-closure-card p {
      margin: 0;
      color: var(--muted);
      font-size: 12px;
    }

    .runtime-closure-card dl {
      display: grid;
      gap: 7px;
      margin: 0;
    }

    .runtime-closure-card div {
      min-width: 0;
    }

    .runtime-closure-card dt {
      color: var(--green);
      font-size: 10px;
      letter-spacing: 0.1em;
      text-transform: uppercase;
    }

    .runtime-closure-card dd {
      margin: 2px 0 0;
      color: var(--muted);
      font-size: 12px;
      overflow-wrap: anywhere;
    }

    .runtime-contract {
      display: grid;
      gap: 14px;
      border: 1px solid var(--line);
      background: var(--panel);
      padding: 18px;
    }

    .runtime-contract-head {
      display: grid;
      gap: 8px;
    }

    .runtime-contract-head h3 {
      margin: 0;
      color: var(--gold);
      font-size: 20px;
      line-height: 1.25;
    }

    .runtime-contract-head p {
      margin: 0;
      color: var(--muted);
      font-size: 13px;
    }

    .finding-contract-grid,
    .health-witness-grid,
    .runtime-response-grid,
    .gateway-response-grid,
    .protected-path-grid {
      display: grid;
      gap: 10px;
    }

    .finding-contract-grid {
      grid-template-columns: repeat(3, minmax(0, 1fr));
      max-height: 420px;
      overflow-y: auto;
      padding-right: 4px;
    }

    .health-witness-grid,
    .runtime-response-grid,
    .gateway-response-grid {
      grid-template-columns: repeat(2, minmax(0, 1fr));
    }

    .protected-path-grid {
      grid-template-columns: repeat(5, minmax(160px, 1fr));
      max-width: 100%;
      overflow-x: auto;
      padding-bottom: 2px;
    }

    .finding-contract-card,
    .health-witness-card,
    .runtime-response-card,
    .gateway-response-card,
    .protected-path-card {
      display: grid;
      gap: 9px;
      min-width: 0;
      border: 1px solid var(--line);
      background: rgba(255, 255, 255, 0.02);
      padding: 14px;
    }

    .finding-contract-card h4,
    .health-witness-card h4,
    .runtime-response-card h4,
    .gateway-response-card h4 {
      margin: 0;
      color: var(--gold);
      font-size: 14px;
      line-height: 1.25;
    }

    .finding-contract-card code,
    .protected-path-card code {
      color: var(--green);
      font-size: 12px;
      overflow-wrap: anywhere;
    }

    .finding-contract-card p,
    .health-witness-card p,
    .runtime-response-card p,
    .gateway-response-card p {
      margin: 0;
      color: var(--muted);
      font-size: 12px;
    }

    .health-witness-card pre,
    .runtime-response-card pre,
    .gateway-response-card pre {
      margin: 0;
      max-width: 100%;
      max-height: 260px;
      overflow: auto;
      border: 1px solid var(--line);
      background: #050609;
      color: var(--green);
      padding: 12px;
      font-size: 11px;
      line-height: 1.5;
    }

    .proof-stamp {
      display: grid;
      gap: 14px;
    }

    .stamp-head {
      display: grid;
      gap: 8px;
      border: 1px solid var(--line);
      background: var(--panel);
      padding: 18px;
    }

    .stamp-head h3 {
      margin: 0;
      color: var(--gold);
      font-size: 20px;
      line-height: 1.25;
    }

    .stamp-head p {
      margin: 0;
      color: var(--muted);
      font-size: 13px;
    }

    .stamp-version {
      color: var(--green);
      font-size: 12px;
      overflow-wrap: anywhere;
    }

    .stamp-field-grid {
      display: grid;
      grid-template-columns: repeat(3, minmax(0, 1fr));
      gap: 10px;
    }

    .stamp-field {
      display: grid;
      gap: 8px;
      min-width: 0;
      border: 1px solid var(--line);
      background: var(--panel);
      padding: 14px;
    }

    .stamp-field code {
      color: var(--green);
      font-size: 12px;
      overflow-wrap: anywhere;
    }

    .stamp-field p {
      margin: 0;
      color: var(--muted);
      font-size: 12px;
    }

    .stamp-field-meta {
      display: flex;
      flex-wrap: wrap;
      gap: 6px;
    }

    .stamp-field-meta span {
      border: 1px solid var(--line);
      color: var(--muted);
      padding: 3px 7px;
      font-size: 10px;
      letter-spacing: 0.08em;
      text-transform: uppercase;
    }

    .stamp-lists {
      display: grid;
      grid-template-columns: minmax(0, 1fr) minmax(0, 1fr);
      gap: 12px;
    }

    .stamp-list {
      border: 1px solid var(--line);
      background: var(--panel);
      padding: 16px;
    }

    .stamp-list h3 {
      margin: 0 0 12px;
      color: var(--gold);
      font-size: 16px;
    }

    .stamp-list ol,
    .stamp-list dl {
      display: grid;
      gap: 9px;
      margin: 0;
      padding: 0;
    }

    .stamp-list ol {
      list-style: none;
      counter-reset: stamp-requirement;
    }

    .stamp-list li {
      position: relative;
      color: var(--muted);
      font-size: 12px;
      padding-left: 28px;
    }

    .stamp-list li::before {
      counter-increment: stamp-requirement;
      content: counter(stamp-requirement, decimal-leading-zero);
      position: absolute;
      left: 0;
      color: var(--green);
      font-size: 10px;
    }

    .stamp-list dl div {
      border-left: 2px solid var(--green);
      padding-left: 10px;
    }

    .stamp-list dt {
      color: var(--text);
      font-size: 12px;
    }

    .stamp-list dd {
      margin: 2px 0 0;
      color: var(--muted);
      font-size: 12px;
    }

    .verifier-card {
      display: grid;
      gap: 14px;
      border: 1px solid var(--line);
      background: var(--panel);
      padding: 18px;
    }

    .verifier-head {
      display: grid;
      gap: 8px;
    }

    .verifier-head h3 {
      margin: 0;
      color: var(--gold);
      font-size: 20px;
      line-height: 1.25;
    }

    .verifier-head p {
      margin: 0;
      color: var(--muted);
      font-size: 13px;
    }

    .verifier-route {
      display: grid;
      grid-template-columns: minmax(0, 1fr) minmax(0, 1fr);
      gap: 1px;
      border: 1px solid var(--line);
      background: var(--line);
    }

    .verifier-route div {
      min-width: 0;
      background: var(--panel);
      padding: 10px;
    }

    .verifier-route dt {
      color: var(--green);
      font-size: 10px;
      letter-spacing: 0.1em;
      text-transform: uppercase;
    }

    .verifier-route dd {
      margin: 2px 0 0;
      color: var(--muted);
      font-size: 12px;
      overflow-wrap: anywhere;
    }

    .verifier-check-grid {
      display: grid;
      grid-template-columns: repeat(3, minmax(0, 1fr));
      gap: 10px;
    }

    .verifier-check {
      display: grid;
      gap: 8px;
      min-width: 0;
      border: 1px solid var(--line);
      background: rgba(255, 255, 255, 0.02);
      padding: 14px;
    }

    .verifier-check h4 {
      margin: 0;
      color: var(--gold);
      font-size: 15px;
      line-height: 1.25;
    }

    .verifier-check code {
      color: var(--green);
      font-size: 12px;
      overflow-wrap: anywhere;
    }

    .verifier-check span {
      color: var(--red);
      font-size: 10px;
      letter-spacing: 0.08em;
      text-transform: uppercase;
    }

    .verifier-check p {
      margin: 0;
      color: var(--muted);
      font-size: 12px;
    }

    .verifier-outcomes {
      display: grid;
      gap: 1px;
      border: 1px solid var(--line);
      background: var(--line);
    }

    .verifier-outcomes div {
      display: grid;
      grid-template-columns: minmax(118px, 0.28fr) minmax(0, 0.72fr);
      gap: 12px;
      background: var(--panel);
      padding: 10px;
    }

    .verifier-outcomes dt {
      color: var(--green);
      font-size: 12px;
    }

    .verifier-outcomes dd {
      margin: 0;
      color: var(--muted);
      font-size: 12px;
    }

    .verifier-decision-grid {
      display: grid;
      grid-template-columns: repeat(3, minmax(0, 1fr));
      gap: 10px;
    }

    .verifier-decision-card {
      display: grid;
      gap: 9px;
      min-width: 0;
      border: 1px solid var(--line);
      background: rgba(255, 255, 255, 0.02);
      padding: 14px;
    }

    .verifier-decision-card header {
      display: flex;
      align-items: center;
      justify-content: space-between;
      gap: 8px;
    }

    .verifier-decision-card b {
      color: var(--gold);
      font-size: 11px;
      letter-spacing: 0.1em;
      text-transform: uppercase;
    }

    .verifier-decision-card h4 {
      margin: 0;
      color: var(--text);
      font-size: 14px;
      line-height: 1.25;
    }

    .verifier-decision-card dl {
      display: grid;
      gap: 7px;
      margin: 0;
    }

    .verifier-decision-card dt {
      color: var(--green);
      font-size: 10px;
      letter-spacing: 0.1em;
      text-transform: uppercase;
    }

    .verifier-decision-card dd {
      margin: 2px 0 0;
      color: var(--muted);
      font-size: 11px;
      overflow-wrap: anywhere;
    }

    .verifier-state-model {
      display: grid;
      gap: 1px;
      border: 1px solid var(--line);
      background: var(--line);
    }

    .state-model-row {
      display: grid;
      grid-template-columns: minmax(130px, 0.22fr) minmax(130px, 0.2fr) minmax(0, 0.58fr);
      gap: 12px;
      background: var(--panel);
      padding: 12px;
    }

    .state-model-row code {
      color: var(--gold);
      font-size: 12px;
      overflow-wrap: anywhere;
    }

    .state-model-row strong {
      color: var(--green);
      font-size: 12px;
      font-weight: 700;
    }

    .state-model-row p {
      margin: 0;
      color: var(--muted);
      font-size: 12px;
    }

    .state-model-row span {
      display: block;
      margin-top: 6px;
      color: var(--red);
      font-size: 10px;
      letter-spacing: 0.08em;
      text-transform: uppercase;
    }

    .verifier-sample {
      margin: 0;
      max-width: 100%;
      overflow-x: auto;
      border: 1px solid var(--line);
      background: #050609;
      color: var(--muted);
      padding: 14px;
      font-size: 12px;
      line-height: 1.55;
    }

    .verifier-sample code {
      color: var(--green);
      white-space: pre;
    }

    .verifier-response-grid {
      display: grid;
      grid-template-columns: repeat(2, minmax(0, 1fr));
      gap: 10px;
    }

    .verifier-response-card {
      display: grid;
      gap: 10px;
      min-width: 0;
      border: 1px solid var(--line);
      background: rgba(255, 255, 255, 0.02);
      padding: 14px;
    }

    .verifier-response-card header {
      display: grid;
      grid-template-columns: minmax(0, 1fr) auto;
      gap: 8px;
      align-items: start;
    }

    .verifier-response-card h4 {
      margin: 0;
      color: var(--gold);
      font-size: 15px;
      line-height: 1.25;
    }

    .verifier-response-card p {
      margin: 0;
      color: var(--muted);
      font-size: 12px;
    }

    .response-status-pills {
      display: flex;
      flex-wrap: wrap;
      justify-content: flex-end;
      gap: 6px;
      min-width: 0;
    }

    .verifier-response-card pre {
      margin: 0;
      max-width: 100%;
      max-height: 260px;
      overflow: auto;
      border: 1px solid var(--line);
      background: #050609;
      color: var(--green);
      padding: 12px;
      font-size: 11px;
      line-height: 1.5;
    }

    .verifier-response-card code {
      color: inherit;
      white-space: pre;
    }

    .operator-boundary {
      display: grid;
      gap: 14px;
      border: 1px solid var(--line);
      background: var(--panel);
      padding: 18px;
    }

    .operator-route-grid {
      display: grid;
      grid-template-columns: repeat(2, minmax(0, 1fr));
      gap: 10px;
    }

    .operator-route-card {
      display: grid;
      gap: 10px;
      min-width: 0;
      border: 1px solid var(--line);
      background: rgba(255, 255, 255, 0.02);
      padding: 14px;
    }

    .operator-route-card h4 {
      margin: 0;
      color: var(--gold);
      font-size: 15px;
      line-height: 1.25;
    }

    .operator-route-card code {
      color: var(--green);
      font-size: 12px;
      overflow-wrap: anywhere;
    }

    .operator-route-card dl {
      display: grid;
      gap: 7px;
      margin: 0;
    }

    .operator-route-card dt {
      color: var(--green);
      font-size: 10px;
      letter-spacing: 0.1em;
      text-transform: uppercase;
    }

    .operator-route-card dd {
      margin: 2px 0 0;
      color: var(--muted);
      font-size: 11px;
      overflow-wrap: anywhere;
    }

    .operator-route-card pre {
      margin: 0;
      max-width: 100%;
      max-height: 220px;
      overflow: auto;
      border: 1px solid var(--line);
      background: #050609;
      color: var(--green);
      padding: 12px;
      font-size: 11px;
      line-height: 1.5;
    }

    .operator-failure-list {
      display: grid;
      gap: 8px;
      margin: 0;
      padding: 0;
      list-style: none;
    }

    .operator-failure-list li {
      display: grid;
      gap: 3px;
      color: var(--muted);
      font-size: 11px;
      border-left: 2px solid var(--red);
      padding-left: 10px;
    }

    .operator-failure-list strong {
      color: var(--red);
      font-size: 10px;
      letter-spacing: 0.08em;
      text-transform: uppercase;
    }

    .verifier-implementation {
      display: grid;
      gap: 14px;
      border: 1px solid var(--line);
      background: var(--panel);
      padding: 18px;
    }

    .implementation-file-grid {
      display: grid;
      grid-template-columns: repeat(2, minmax(0, 1fr));
      gap: 10px;
      max-height: 420px;
      overflow-y: auto;
      padding-right: 4px;
    }

    .implementation-file {
      display: grid;
      gap: 8px;
      min-width: 0;
      border-left: 2px solid var(--green);
      padding: 0 0 0 12px;
    }

    .implementation-file code {
      color: var(--gold);
      font-size: 12px;
      overflow-wrap: anywhere;
    }

    .implementation-file p,
    .implementation-list li {
      margin: 0;
      color: var(--muted);
      font-size: 12px;
    }

    .implementation-lists {
      display: grid;
      grid-template-columns: minmax(0, 1fr) minmax(0, 1fr);
      gap: 12px;
    }

    .release-witness-grid {
      display: grid;
      grid-template-columns: repeat(5, minmax(170px, 1fr));
      gap: 10px;
      max-width: 100%;
      overflow-x: auto;
      padding-bottom: 2px;
    }

    .release-witness-card {
      display: grid;
      gap: 9px;
      min-width: 170px;
      border: 1px solid var(--line);
      background: rgba(255, 255, 255, 0.02);
      padding: 14px;
    }

    .release-witness-card h4 {
      margin: 0;
      color: var(--gold);
      font-size: 14px;
      line-height: 1.25;
    }

    .release-witness-card code {
      color: var(--green);
      font-size: 11px;
      overflow-wrap: anywhere;
    }

    .release-witness-card dl {
      display: grid;
      gap: 7px;
      margin: 0;
    }

    .release-witness-card dt {
      color: var(--green);
      font-size: 10px;
      letter-spacing: 0.1em;
      text-transform: uppercase;
    }

    .release-witness-card dd {
      margin: 2px 0 0;
      color: var(--muted);
      font-size: 11px;
      overflow-wrap: anywhere;
    }

    .implementation-list {
      margin: 0;
      padding: 0;
      list-style: none;
      display: grid;
      gap: 8px;
    }

    .implementation-lists h4 {
      margin: 0 0 8px;
      color: var(--green);
      font-size: 12px;
      letter-spacing: 0.1em;
      text-transform: uppercase;
    }

    .runtime-follow {
      margin: 0;
      color: var(--muted);
      font-size: 13px;
    }

    .runtime-follow a {
      color: var(--green);
    }

    footer {
      display: flex;
      justify-content: space-between;
      gap: 24px;
      padding: 40px 0 56px;
      color: var(--muted);
      font-size: 13px;
    }

    @media (max-width: 820px) {
      .nav-links { display: none; }
      .grid,
      .proof-summary,
      .product-proof-grid,
      .claim-grid,
      .runtime-status-grid,
      .runtime-check-grid,
      .runtime-closure-grid,
      .health-witness-grid,
      .finding-contract-grid,
      .runtime-response-grid,
      .gateway-response-grid,
      .protected-path-grid,
      .stamp-field-grid,
      .stamp-lists,
      .verifier-route,
      .verifier-check-grid,
      .verifier-outcomes div,
      .verifier-decision-grid,
      .state-model-row,
      .verifier-response-grid,
      .verifier-response-card header,
      .operator-route-grid,
      .implementation-file-grid,
      .implementation-lists,
      .release-witness-grid {
        grid-template-columns: 1fr;
      }
      .protected-path-grid { overflow-x: visible; }
      .release-witness-grid { overflow-x: visible; }
      .proof-meta div { grid-template-columns: 1fr; }
      footer { flex-direction: column; }
      h1 { font-size: 48px; }
      h2 { font-size: 32px; }
    }

    @media (max-width: 640px), (max-height: 620px) {
      header,
      main,
      footer {
        width: min(calc(100% - 24px), 1120px);
      }

      .nav-inner {
        width: min(calc(100% - 24px), 1120px);
        gap: 12px;
      }

      .brand {
        letter-spacing: 0.14em;
      }

      header {
        min-height: auto;
        gap: 18px;
        padding: 84px 0 42px;
      }

      h1 {
        font-size: 40px;
        line-height: 1.02;
        overflow-wrap: anywhere;
      }

      h2 {
        font-size: 28px;
        line-height: 1.1;
        overflow-wrap: anywhere;
      }

      .lede {
        font-size: 15px;
        line-height: 1.55;
      }

      .actions {
        display: grid;
        grid-template-columns: 1fr;
        width: 100%;
      }

      .button {
        justify-content: center;
        width: 100%;
        min-width: 0;
        min-height: 40px;
        padding: 0 10px;
        font-size: 12px;
        text-align: center;
        white-space: normal;
      }

      .product-proof-head,
      .proof-actions {
        align-items: stretch;
        flex-direction: column;
      }

      .status-pill,
      .proof-actions a,
      .proof-actions span {
        justify-content: center;
        width: 100%;
        white-space: normal;
      }
    }