:root{--page:#F4F5F7;--ink:#12161C;--secondary:#4B5563;--border:#DADFE6;--accent:#2346C8;--verified:#0E6B47;--rejected:#B93D0B;--unknown:#5B6472;--paper:#FFFEFA}
*{box-sizing:border-box}body{margin:0;background:var(--page);color:var(--ink);font:15px/1.5 'IBM Plex Sans',system-ui,sans-serif}
a{color:var(--accent);text-underline-offset:3px}a:hover{color:#1A3496}a:focus-visible{outline:2px solid var(--accent);outline-offset:4px}
header{background:#fff;border-bottom:1px solid var(--border)}.header,main,footer{max-width:1280px;margin:auto;padding:24px 48px}
.header{display:flex;align-items:center;flex-wrap:wrap;gap:24px;padding-top:14px;padding-bottom:14px}.brand{font-size:18px;font-weight:600;color:var(--ink);text-decoration:none}.header nav{display:flex;gap:24px}.header .secondary{margin-left:auto}
main{padding-top:36px;padding-bottom:64px;display:flex;flex-direction:column;gap:28px}footer{font-size:12px;color:var(--secondary);padding-top:0;padding-bottom:32px}
h1,h2,h3,p{margin:0}h1{font-size:34px;line-height:1.2;letter-spacing:-.01em}h2{font-size:20px}h3{font-size:16px}h1,h2,h3{text-wrap:balance;overflow-wrap:anywhere}p{max-width:75ch}section{min-width:0}.secondary{color:var(--secondary)}
.hero{display:flex;align-items:flex-start;justify-content:space-between;gap:24px;flex-wrap:wrap}.hero>div{min-width:0}.hero h1{margin:10px 0}.actions{display:flex;gap:12px;flex-wrap:wrap}.button{display:inline-flex;align-items:center;min-height:44px;padding:0 18px;border:1px solid var(--border);border-radius:6px;background:#fff;text-decoration:none}.button.primary{background:var(--accent);color:#fff;border-color:var(--accent)}
.badge{display:inline-block;padding:4px 10px;border:1.5px solid currentColor;border-radius:4px;font:500 13px/1.5 'IBM Plex Mono',monospace;letter-spacing:.08em}.verified,.pass{color:var(--verified)}.rejected,.fail{color:var(--rejected)}.unknown{color:var(--unknown)}.badge.verified{background:#E7F4EE}.badge.rejected{background:#FCEDE5}.badge.unknown{background:var(--page)}
.card{background:#fff;border:1px solid var(--border);border-radius:10px;overflow:hidden;min-width:0}.pad{padding:22px 24px}.card>h3,.lane-title{padding:14px 18px;border-bottom:1px solid var(--border)}.stack{display:flex;flex-direction:column;gap:16px;min-width:0}.lanes,.comparison,.receipt-layout{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:20px;align-items:start}.comparison{gap:0}.comparison>div{padding:24px 26px}.comparison>div+div{background:var(--paper);border-left:1px solid var(--border)}blockquote{margin:10px 0;font-size:22px;line-height:1.4;overflow-wrap:anywhere}
.metrics{display:flex;gap:28px;flex-wrap:wrap;padding:22px 0;border-top:1px solid var(--border);border-bottom:1px solid var(--border)}.metric{flex:1 1 220px}.metric strong{display:block;font-size:25px;font-weight:600}.metric span{display:block;color:var(--secondary)}
.table-box{max-width:100%;overflow:auto;background:#fff;border:1px solid var(--border);border-radius:8px}table{width:100%;border-collapse:collapse;text-align:left;font-size:13px}th,td{padding:10px 14px;vertical-align:top;border-bottom:1px solid var(--border)}th{font-weight:500;background:#F8F9FB;color:var(--secondary)}tbody tr:last-child td{border-bottom:0}.instances{min-width:850px}.commands{min-width:520px}.commands td:nth-child(2){min-width:220px;max-width:440px;overflow-wrap:anywhere}.predicates{min-width:580px}.predicates td:last-child{min-width:250px;white-space:pre-wrap;overflow-wrap:anywhere}
code,pre,.mono,.commands,.paper{font-family:'IBM Plex Mono',ui-monospace,SFMono-Regular,monospace}pre{margin:0;white-space:pre-wrap;overflow-wrap:anywhere;font-size:13px;line-height:1.7}code{font-size:.9em;overflow-wrap:anywhere}.inset{padding:14px 16px;background:var(--page);border-radius:6px}.appeal{padding:14px 18px;border:1px dashed #C7CDD6;background:#fff;border-radius:8px}.diff{white-space:pre;overflow:auto;padding:18px;background:#fff;border:1px solid var(--border);border-radius:8px}.diff span{display:block}.diff .added{background:#E7F4EE;color:var(--verified)}.diff .removed{background:#FCEDE5;color:var(--rejected)}
dl{margin:0;display:grid;grid-template-columns:130px minmax(0,1fr);gap:8px 16px}dt{color:var(--secondary)}dd{margin:0;overflow-wrap:anywhere;white-space:pre-wrap}ul{padding-left:20px;margin:8px 0}.bundle li{margin:6px 0;overflow-wrap:anywhere}.paper{background:var(--paper);padding:26px 32px 30px;font-size:13px;line-height:1.75;border-top:1px dashed #B9B4A8;border-bottom:1px dashed #B9B4A8;min-width:0}.paper h2{font:500 16px/1.75 'IBM Plex Mono',monospace;letter-spacing:.12em}.paper dl{grid-template-columns:100px minmax(0,1fr);gap:6px 12px}.paper hr{border:0;border-top:1px dashed #B9B4A8;margin:18px 0}.stamp{text-align:center;padding-top:24px}.stamp .badge{font-size:20px;padding:8px 18px;border-width:2.5px;transform:rotate(-3deg)}
details{font-family:'IBM Plex Sans',system-ui,sans-serif;white-space:normal}summary{cursor:pointer;color:var(--accent);padding:6px 0}summary:focus-visible{outline:2px solid var(--accent);outline-offset:2px}details pre{padding:10px 0}.all-steps>summary{padding:12px 18px}.claims{font-size:14px}.comparison>div{display:flex;flex-direction:column;gap:12px}.files{margin:0}.index-lead{max-width:1000px}.index-lead h1{font-size:44px;line-height:1.18}.paper dt{font-size:12px}.paper dd{white-space:pre-line}
@media(max-width:760px){.header,main,footer{padding-left:20px;padding-right:20px}.header .secondary{margin-left:0}.lanes,.comparison,.receipt-layout{grid-template-columns:minmax(0,1fr)}.comparison>div+div{border-left:0;border-top:1px solid var(--border)}h1,.index-lead h1{font-size:28px}.paper{padding:22px 20px}.pad{padding:18px}dl{grid-template-columns:100px minmax(0,1fr)}}