.proof-page {
  --proof-bg: #0a0a0a;
  --proof-surface: #111;
  --proof-text: #f7f7f7;
  --proof-muted: #bdbdbd;
  --proof-border: #595959;
  color-scheme: dark;
  background: var(--proof-bg);
  color: var(--proof-text);
  font-family: Arial, Helvetica, sans-serif;
  font-size: 16px;
  line-height: 1.6;
  min-height: 100vh;
  padding: 0 max(22px, calc((100vw - 1160px) / 2));
  overflow-wrap: anywhere;
}
body { margin: 0; }
.proof-page *, .proof-page *::before, .proof-page *::after { box-sizing: border-box; }
.proof-page a { color: inherit; text-underline-offset: .22em; }
.proof-page a:hover { text-decoration-thickness: 2px; }
.proof-page :focus-visible { outline: 3px solid #fff; outline-offset: 5px; }
.proof-page .skip-link { position: absolute; z-index: 2; left: 24px; top: -100px; padding: 10px 16px; background: #fff; color: #000; }
.proof-page .skip-link:focus { top: 12px; }
.proof-page .site-header { min-height: 88px; display: flex; align-items: center; justify-content: space-between; gap: 24px; border-bottom: 1px solid var(--proof-border); }
.proof-page .brand { font-size: 22px; font-weight: 700; letter-spacing: -.06em; text-decoration: none; }
.proof-page nav { display: flex; gap: 26px; font-size: 14px; }
.proof-page h1, .proof-page h2, .proof-page h3, .proof-page h4 { line-height: 1.15; margin: 0; font-weight: 600; }
.proof-page h1 { font-size: clamp(34px, 4.6vw, 58px); letter-spacing: -.045em; max-width: 920px; }
.proof-page h2 { font-size: clamp(23px, 2.3vw, 30px); letter-spacing: -.025em; }
.proof-page h3 { font-size: 23px; letter-spacing: -.02em; }
.proof-page h4 { font-size: 15px; letter-spacing: .01em; }
.proof-page p { margin: 0; }
.proof-page .intro { padding: 64px 0 48px; }
.proof-page .lead { font-size: 19px; max-width: 820px; color: var(--proof-muted); margin-top: 24px; }
.proof-page .disclosure { border-left: 2px solid #fff; padding-left: 18px; margin-top: 30px; max-width: 900px; font-size: 14px; color: var(--proof-muted); }
.proof-page .disclosure strong { color: var(--proof-text); }
.proof-page .section-heading { display: flex; align-items: flex-start; justify-content: space-between; gap: 28px; margin-bottom: 28px; }
.proof-page .section-heading > div:first-child { max-width: 660px; }
.proof-page .section-heading p { margin-top: 12px; color: var(--proof-muted); font-size: 15px; }
.proof-page .actions { display: flex; flex-wrap: wrap; flex-shrink: 0; gap: 10px; max-width: 305px; }
.proof-page .button { cursor: pointer; border: 1px solid #fff; border-radius: 0; min-height: 46px; padding: 11px 16px; font: 600 14px/1.4 Arial, Helvetica, sans-serif; text-align: center; background: #fff; color: #080808; }
.proof-page .button:hover { background: #dedede; }
.proof-page .button.secondary { background: transparent; color: var(--proof-text); border-color: var(--proof-border); }
.proof-page .button.secondary:hover { border-color: #fff; background: #202020; }
.proof-page .button:disabled { cursor: default; opacity: .5; }
.proof-page .comparison { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); border-top: 1px solid var(--proof-border); border-bottom: 1px solid var(--proof-border); }
.proof-page .mode { min-width: 0; padding: 28px 30px 24px 0; }
.proof-page .mode + .mode { border-left: 1px solid var(--proof-border); padding: 28px 0 24px 30px; }
.proof-page .mode-heading p { font-size: 13px; color: var(--proof-muted); margin-top: 7px; }
.proof-page .product-name { margin: 26px 0 14px; font-size: 16px; }
.proof-page fieldset { padding: 0; margin: 0; border: 0; min-width: 0; }
.proof-page .selectors { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 16px; }
.proof-page label { font-size: 13px; display: block; margin-bottom: 6px; color: var(--proof-muted); }
.proof-page select { width: 100%; min-height: 48px; font: 16px Arial, Helvetica, sans-serif; color: var(--proof-text); background: var(--proof-surface); border: 1px solid #777; border-radius: 0; padding: 11px 12px; }
.proof-page .selection { display: flex; justify-content: space-between; gap: 14px; margin: 16px 0; font-size: 13px; color: var(--proof-muted); }
.proof-page output, .proof-page code { font-family: ui-monospace, SFMono-Regular, Consolas, monospace; font-size: .91em; color: var(--proof-text); }
.proof-page .add-button { width: 100%; }
.proof-page .observation { margin-top: 24px; padding-top: 22px; border-top: 1px solid #363636; }
.proof-page dl { margin: 15px 0; }
.proof-page dl > div { display: flex; justify-content: space-between; align-items: baseline; gap: 14px; padding: 5px 0; }
.proof-page dt { color: var(--proof-muted); font-size: 13px; }
.proof-page dd { margin: 0; font-size: 15px; text-align: right; }
.proof-page .result { min-height: 49px; padding: 11px 13px; border: 1px solid #555; font-size: 14px; }
.proof-page .result[data-match="false"] { border: 2px solid #fff; padding: 10px 12px; font-weight: 700; }
.proof-page .result[data-match="true"] { background: #ececec; color: #0a0a0a; border-color: #ececec; }
.proof-page .cart-details { margin-top: 16px; font-size: 13px; }
.proof-page summary { cursor: pointer; padding: 7px 0; }
.proof-page .cart-details ol { margin: 12px 0 0; padding-left: 24px; }
.proof-page .cart-details li { padding: 4px 0; }
.proof-page .empty-cart { padding-top: 8px; color: var(--proof-muted); }
.proof-page .caption { margin-top: 16px; color: var(--proof-muted); font-size: 13px; max-width: 960px; }
.proof-page .regression { padding: 56px 0 45px; border-bottom: 1px solid var(--proof-border); }
.proof-page .report-status { font-size: 14px; padding: 14px 0; }
.proof-page .table-wrap { overflow-x: auto; border: 1px solid var(--proof-border); max-width: 100%; }
.proof-page table { border-collapse: collapse; width: 100%; font-size: 13px; min-width: 700px; }
.proof-page caption { text-align: left; padding: 12px 16px; color: var(--proof-muted); }
.proof-page th { text-align: left; font-weight: 600; padding: 13px 16px; background: #1d1d1d; border-top: 1px solid var(--proof-border); }
.proof-page td { padding: 14px 16px; border-top: 1px solid #363636; vertical-align: top; }
.proof-page td:first-child { max-width: 255px; }
.proof-page .check-state { font-size: 11px; display: block; margin-bottom: 4px; font-weight: 700; }
.proof-page .check-state[data-pass="false"] { text-decoration: underline; text-underline-offset: 3px; }
.proof-page .sku-stack { display: block; white-space: nowrap; }
.proof-page .source { padding: 45px 0 48px; }
.proof-page .patch-comparison { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 28px; margin: 25px 0 18px; }
.proof-page .patch-comparison h3 { font-size: 15px; letter-spacing: 0; margin-bottom: 10px; }
.proof-page pre { margin: 0; background: #151515; border: 1px solid #454545; padding: 17px; overflow-x: auto; font-size: 13px; line-height: 1.65; }
.proof-page .source > p { font-size: 14px; color: var(--proof-muted); }
.proof-page .source-links { display: flex; flex-wrap: wrap; gap: 10px 26px; padding: 0; list-style: none; font-size: 14px; margin: 20px 0 27px; }
.proof-page .source .command-label { margin-bottom: 10px; font-size: 13px; }
.proof-page .command { max-width: 520px; }
.proof-page footer { border-top: 1px solid var(--proof-border); padding: 24px 0 30px; font-size: 12px; color: var(--proof-muted); display: flex; justify-content: space-between; gap: 24px; }
.proof-page footer p { max-width: 650px; }
.proof-page footer a { white-space: nowrap; }
.proof-page .notice { padding: 16px; border: 1px solid #fff; margin-bottom: 20px; }
.proof-page .sr-only { position: absolute; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip-path: inset(50%); white-space: nowrap; border: 0; }
.proof-page [hidden] { display: none !important; }
@media (max-width: 880px) {
  .proof-page .section-heading { flex-direction: column; gap: 18px; }
  .proof-page .actions { max-width: none; }
  .proof-page .mode { padding-right: 22px; }
  .proof-page .mode + .mode { padding-left: 22px; }
}
@media (max-width: 620px) {
  .proof-page { padding: 0 20px; }
  .proof-page .site-header { min-height: 78px; align-items: flex-start; padding: 22px 0; }
  .proof-page nav { flex-direction: column; align-items: flex-end; gap: 5px; font-size: 12px; }
  .proof-page .intro { padding: 42px 0 35px; }
  .proof-page .lead { font-size: 17px; margin-top: 20px; }
  .proof-page .disclosure { margin-top: 22px; }
  .proof-page .comparison, .proof-page .patch-comparison { grid-template-columns: 1fr; }
  .proof-page .mode, .proof-page .mode + .mode { padding: 26px 0; border-left: 0; }
  .proof-page .mode + .mode { border-top: 1px solid var(--proof-border); }
  .proof-page .actions { width: 100%; }
  .proof-page .actions .button { flex: 1 1 auto; }
  .proof-page .regression { padding-top: 40px; }
  .proof-page .source { padding-top: 36px; }
  .proof-page footer { flex-direction: column; gap: 12px; }
}
@media (prefers-reduced-motion: reduce) {
  .proof-page *, .proof-page *::before, .proof-page *::after { scroll-behavior: auto !important; }
}