:root{--ink:#20233a;--paper:#f3f5fc;--card:#ffffff;--warm:#eef1fb;--accent:#5b3df5;--accent2:#9b5cff;--teal:#0aa6c2;--amber:#f59e0b;--pink:#ec4899;--green:#16a34a;--cyan:#06b6d4;--bad:#e23b54;--good:#15a34a;--rule:#e7e9f5;--muted:#6c7186;--cn:#5b3df5;--th:#0891b2;--ax:#d97706;--pf:#16a34a;--ex:#db2777;--rm:#6c7186;--serif:"Fraunces","Georgia",serif;--body:"Space Grotesk",system-ui,sans-serif;--mono:"IBM Plex Mono",monospace;--r:9px;--r2:14px;--shadow:0 1px 2px rgba(30,32,60,.05), 0 14px 40px -26px rgba(80,60,220,.3)}*{box-sizing:border-box;margin:0;padding:0}html{scroll-behavior:smooth}body{font-family:var(--body);background:radial-gradient(820px 460px at 0% -5%,#e9e6ff,transparent 60%),radial-gradient(820px 460px at 100% -5%,#defaff,transparent 58%),radial-gradient(700px 520px at 50% 110%,#ffe9f4,transparent 60%),var(--paper);background-attachment:fixed;color:var(--ink);font-size:15px;line-height:1.55;-webkit-font-smoothing:antialiased}h1,h2,h3,h4{font-family:var(--serif);font-weight:600;line-height:1.12;letter-spacing:-.012em}code,.mono,pre{font-family:var(--mono)}a{color:var(--accent);text-decoration:none}a:hover{text-decoration:underline}.wrap{max-width:1240px;margin:0 auto;padding:0 22px 90px}.masthead{position:relative;padding:40px 34px 30px;margin:14px 0 0;border-radius:var(--r2);overflow:hidden;background:linear-gradient(120deg,#efe9ff,#fff 42%,#e3faff);border:1px solid var(--rule);scroll-margin-top:70px}.masthead:after{content:"";position:absolute;top:0;right:0;bottom:0;left:0;pointer-events:none;background:radial-gradient(520px 220px at 92% -20%,rgba(236,72,153,.2),transparent 70%),radial-gradient(520px 220px at 70% 130%,rgba(10,166,194,.16),transparent 70%)}.brand{display:flex;align-items:center;gap:14px;position:relative;z-index:1}.logo{width:44px;height:44px;border-radius:11px;display:grid;place-items:center;font-size:24px;color:#fff;background:linear-gradient(135deg,var(--accent),var(--accent2));box-shadow:0 6px 18px -8px var(--accent)}.masthead h1{font-size:33px;font-weight:900;font-variation-settings:"opsz" 144,"WONK" 1}.masthead .ver{font-family:var(--mono);font-size:11px;color:var(--muted);margin-top:2px}.masthead .tag{position:relative;z-index:1;color:var(--ink);font-size:15px;margin-top:16px;max-width:80ch;opacity:.92}.masthead .tag b{color:var(--accent);font-weight:600}.pipeline{position:relative;z-index:1;display:flex;flex-wrap:wrap;align-items:center;gap:6px;margin-top:20px}.pstep{display:inline-flex;align-items:center;gap:7px;font-family:var(--mono);font-size:11.5px;background:var(--card);border:1px solid var(--rule);border-radius:30px;padding:5px 12px 5px 6px}.pdot{width:18px;height:18px;border-radius:50%;background:var(--accent);color:#fff;display:grid;place-items:center;font-size:10px;font-weight:700}.parrow{color:var(--muted);font-size:14px}.navbar{position:sticky;top:0;z-index:20;display:flex;gap:3px;flex-wrap:wrap;margin:16px 0 6px;padding:8px;background:color-mix(in srgb,var(--paper) 82%,transparent);-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px);border:1px solid var(--rule);border-radius:30px}.navlink{font-family:var(--mono);font-size:11.5px;color:var(--muted);padding:5px 11px;border-radius:30px}.navlink:hover{background:var(--warm);color:var(--ink);text-decoration:none}.section{background:var(--card);border:1px solid var(--rule);border-radius:var(--r2);padding:20px 22px;margin-top:18px;box-shadow:var(--shadow);scroll-margin-top:70px}.section-head{display:flex;gap:14px;align-items:flex-start;margin-bottom:16px}.section-n{font-family:var(--mono);font-size:12px;font-weight:600;color:#fff;background:linear-gradient(135deg,var(--accent),var(--accent2));border-radius:8px;padding:4px 8px;letter-spacing:.05em;flex:none;margin-top:2px}.section-head h2{font-size:20px}.section-sub{color:var(--muted);font-size:12.5px;margin-top:3px;max-width:90ch}.muted{color:var(--muted);font-size:13px}.toolbar{display:flex;gap:7px;flex-wrap:wrap;align-items:center;margin-bottom:12px}.toolbar .sep{width:1px;height:20px;background:var(--rule);margin:0 5px}.lab{font-family:var(--mono);font-size:11px;color:var(--muted)}textarea{width:100%;min-height:300px;resize:vertical;font-family:var(--mono);font-size:13px;line-height:1.8;background:var(--paper);color:var(--ink);border:1px solid var(--rule);border-radius:var(--r);padding:13px 14px}textarea:focus{outline:none;border-color:var(--accent);box-shadow:0 0 0 3px color-mix(in srgb,var(--accent) 18%,transparent)}.btn{font-family:var(--mono);font-size:12px;padding:6px 12px;border:1px solid var(--rule);border-radius:var(--r);background:var(--card);color:var(--ink);cursor:pointer;transition:background .12s,border-color .12s}.btn:hover{background:var(--warm)}.btn.active{background:var(--teal);color:#fff;border-color:var(--teal)}.btn.primary{background:var(--accent);color:#fff;border-color:var(--accent)}.btn.copy{margin-left:auto}.glance{display:grid;grid-template-columns:repeat(3,1fr);gap:14px}@media(max-width:820px){.glance{grid-template-columns:1fr}}.metric{border:1px solid var(--rule);border-radius:var(--r);padding:14px;background:var(--paper)}.metric-top{display:flex;align-items:baseline;gap:8px;margin-bottom:10px}.metric-num{font-family:var(--serif);font-weight:700;font-size:30px;color:var(--accent);line-height:1}.metric-lab{font-family:var(--mono);font-size:11px;color:var(--muted);text-transform:uppercase;letter-spacing:.06em}.chips{display:flex;flex-wrap:wrap;gap:6px}.chip{font-family:var(--mono);font-size:11px;padding:3px 9px;border-radius:20px;background:var(--warm);color:var(--ink)}.chip.ok{color:var(--good)}.chip.bad{color:var(--bad)}.progress{height:9px;border-radius:6px;background:var(--warm);overflow:hidden;margin-bottom:10px}.progress-fill{height:100%;border-radius:6px;background:linear-gradient(90deg,var(--accent),var(--teal));transition:width .3s}.callout{margin-top:14px;padding:10px 13px;border-left:3px solid var(--amber);background:color-mix(in srgb,var(--amber) 10%,transparent);border-radius:0 var(--r) var(--r) 0;font-size:13px;display:flex;flex-wrap:wrap;gap:6px;align-items:center}.bad-callout{border-left-color:var(--bad);background:color-mix(in srgb,var(--bad) 10%,transparent)}.node{border:1px solid var(--rule);border-radius:var(--r);padding:11px 13px;margin-bottom:9px;background:var(--paper);transition:border-color .12s}.node:hover{border-color:color-mix(in srgb,var(--accent) 45%,var(--rule))}.node-head{display:flex;align-items:baseline;gap:9px}.node-title{font-family:var(--serif);font-weight:600;font-size:16px}.node-line{margin-left:auto;font-family:var(--mono);font-size:10px;color:var(--muted)}.node-body{font-size:14px;margin-top:6px;line-height:1.65}.node-rel{display:flex;flex-wrap:wrap;gap:14px;margin-top:9px}.rel{display:flex;flex-wrap:wrap;gap:4px;align-items:center}.rel-lab{font-family:var(--mono);font-size:10px;color:var(--muted);text-transform:uppercase;letter-spacing:.06em;margin-right:2px}.dep{font-family:var(--mono);font-size:11px;padding:2px 8px;border-radius:6px;background:var(--warm);color:var(--teal)}.dep.alt{color:var(--accent)}.dep.missing{color:var(--bad);text-decoration:line-through}.kind{font-family:var(--mono);font-size:10px;font-weight:600;text-transform:uppercase;letter-spacing:.05em;padding:2px 7px;border-radius:6px;white-space:nowrap}.kind-definition,.kind-notation{background:#ece8ff;color:var(--cn)}.kind-theorem,.kind-lemma,.kind-proposition,.kind-corollary{background:#d8f4fb;color:var(--th)}.kind-axiom{background:#fdeccd;color:#b8730a}.kind-proof{background:#d8f6e3;color:#0f8a44}.kind-example{background:#fde2f1;color:var(--ex)}.kind-remark{background:var(--warm);color:var(--muted)}.tok-q{color:var(--amber);font-weight:600}.tok-ref{color:var(--teal);font-weight:600}.tok-tx{color:var(--ink)}.order{list-style:none;counter-reset:ord}.order li{counter-increment:ord;display:flex;align-items:center;gap:10px;padding:7px 0;border-bottom:1px dotted var(--rule);font-size:14px}.order li:before{content:counter(ord);font-family:var(--mono);font-size:11px;color:var(--muted);width:22px;text-align:right;flex:none}.order-label{font-family:var(--serif);font-weight:600}.order-deps{font-family:var(--mono);font-size:11px;color:var(--muted);margin-left:auto}.glossary{display:grid;grid-template-columns:1fr 1fr;gap:10px}@media(max-width:820px){.glossary{grid-template-columns:1fr}}.gloss-item{border:1px solid var(--rule);border-radius:var(--r);padding:11px 13px;background:var(--paper)}.gloss-term{display:flex;align-items:center;gap:8px;font-size:15px}.gloss-used{margin-left:auto;font-family:var(--mono);font-size:10px;color:var(--muted)}.gloss-body{font-size:13px;margin-top:6px;color:var(--ink);line-height:1.6}.diag-sum{display:flex;gap:7px;margin-bottom:11px}.badge{display:inline-block;padding:3px 10px;border-radius:20px;font-family:var(--mono);font-size:11px;font-weight:600}.b-no{background:color-mix(in srgb,var(--bad) 16%,transparent);color:var(--bad)}.b-warn{background:color-mix(in srgb,var(--amber) 20%,transparent);color:var(--amber)}.b-info{background:color-mix(in srgb,var(--accent) 14%,transparent);color:var(--accent)}.ok-banner{padding:11px 13px;border-radius:var(--r);background:color-mix(in srgb,var(--good) 12%,transparent);color:var(--good);font-size:13px;font-weight:500}.diag{display:flex;gap:9px;align-items:baseline;padding:7px 0;border-bottom:1px dotted var(--rule);font-size:13px}.diag-rule{font-family:var(--mono);font-size:10px;padding:2px 7px;border-radius:5px;background:var(--warm);white-space:nowrap}.diag.error .diag-rule{color:var(--bad)}.diag.warning .diag-rule{color:var(--amber)}.diag.info .diag-rule{color:var(--accent)}.tabs{display:flex;gap:6px;flex-wrap:wrap;margin-bottom:11px;align-items:center}pre.code{background:var(--paper);border:1px solid var(--rule);border-radius:var(--r);padding:14px;font-size:12px;line-height:1.65;max-height:440px;overflow:auto;white-space:pre-wrap;word-break:break-word}.gram{width:100%;border-collapse:collapse;font-size:13px}.gram th{text-align:left;font-family:var(--mono);font-size:10px;text-transform:uppercase;letter-spacing:.07em;color:var(--muted);padding:6px 10px;border-bottom:1px solid var(--rule)}.gram td{padding:8px 10px;border-bottom:1px dotted var(--rule);vertical-align:top}.gram td code{font-size:12px;color:var(--accent);background:color-mix(in srgb,var(--accent) 9%,transparent);padding:1px 5px;border-radius:4px}.gram-ex{font-family:var(--mono);font-size:11.5px;color:var(--muted)}.prose{font-size:14.5px;line-height:1.7;margin-bottom:12px;max-width:78ch}.prose b{color:var(--accent)}.prose i{color:var(--teal);font-style:italic}.refs{list-style:none;display:grid;gap:7px}.refs li{font-size:13px;padding-left:14px;position:relative}.refs li:before{content:"▸";position:absolute;left:0;color:var(--accent)}svg.kg{background:var(--paper);border:1px solid var(--rule);border-radius:var(--r)}.kg-edge{stroke:var(--muted)}.kg-arr{fill:var(--muted)}.kg-box{stroke-width:1.6}.kg-label{font-family:var(--mono);font-size:11px;fill:var(--ink)}.kg-cn{fill:color-mix(in srgb,var(--cn) 14%,var(--card));stroke:var(--cn)}.kg-th{fill:color-mix(in srgb,var(--th) 14%,var(--card));stroke:var(--th)}.kg-ax{fill:color-mix(in srgb,var(--ax) 16%,var(--card));stroke:var(--ax)}.kg-pf{fill:color-mix(in srgb,var(--pf) 14%,var(--card));stroke:var(--pf)}.kg-ex{fill:color-mix(in srgb,var(--ex) 14%,var(--card));stroke:var(--ex)}.kg-rm{fill:var(--warm);stroke:var(--rm)}.kg-cycle{stroke:var(--bad);stroke-width:2.4}.legend{display:flex;gap:16px;flex-wrap:wrap;margin-top:11px;font-family:var(--mono);font-size:11px;color:var(--muted)}.legend i.sw{display:inline-block;width:10px;height:10px;border-radius:3px;margin-right:5px;vertical-align:middle}.sw.cn{background:var(--cn)}.sw.th{background:var(--th)}.sw.ax{background:var(--ax)}.sw.pf{background:var(--pf)}.sw.ex{background:var(--ex)}.foot{margin-top:30px;padding-top:16px;border-top:1px solid var(--rule);font-family:var(--mono);font-size:11px;color:var(--muted);text-align:center}::-webkit-scrollbar{width:10px;height:10px}::-webkit-scrollbar-thumb{background:var(--rule);border-radius:5px}.section{position:relative;border-top:none}.section:before{content:"";position:absolute;left:0;right:0;top:0;height:4px;border-radius:var(--r2) var(--r2) 0 0;opacity:.9}.section:nth-of-type(6n+1):before{background:linear-gradient(90deg,#5b3df5,#9b5cff)}.section:nth-of-type(6n+2):before{background:linear-gradient(90deg,#0891b2,#22d3ee)}.section:nth-of-type(6n+3):before{background:linear-gradient(90deg,#db2777,#f472b6)}.section:nth-of-type(6n+4):before{background:linear-gradient(90deg,#16a34a,#4ade80)}.section:nth-of-type(6n+5):before{background:linear-gradient(90deg,#d97706,#fbbf24)}.section:nth-of-type(6n+6):before{background:linear-gradient(90deg,#7c3aed,#06b6d4)}.section:nth-of-type(6n+1) .section-n{background:linear-gradient(135deg,#5b3df5,#9b5cff)}.section:nth-of-type(6n+2) .section-n{background:linear-gradient(135deg,#0891b2,#22d3ee)}.section:nth-of-type(6n+3) .section-n{background:linear-gradient(135deg,#db2777,#f472b6)}.section:nth-of-type(6n+4) .section-n{background:linear-gradient(135deg,#16a34a,#4ade80)}.section:nth-of-type(6n+5) .section-n{background:linear-gradient(135deg,#d97706,#fbbf24)}.section:nth-of-type(6n+6) .section-n{background:linear-gradient(135deg,#7c3aed,#06b6d4)}.section:nth-of-type(6n+1) .section-head h2{color:#5b3df5}.section:nth-of-type(6n+2) .section-head h2{color:#0891b2}.section:nth-of-type(6n+3) .section-head h2{color:#db2777}.section:nth-of-type(6n+4) .section-head h2{color:#16a34a}.section:nth-of-type(6n+5) .section-head h2{color:#c2740a}.section:nth-of-type(6n+6) .section-head h2{color:#7c3aed}.navlink:hover{background:linear-gradient(135deg,#5b3df5,#22d3ee);color:#fff}.metric-num{background:linear-gradient(135deg,var(--accent),var(--teal));-webkit-background-clip:text;background-clip:text;-webkit-text-fill-color:transparent}.progress-fill{background:linear-gradient(90deg,#5b3df5,#ec4899,#0aa6c2)}