*,:after,:before{box-sizing:border-box}#__next,body,html{margin:0;padding:0;height:100%;max-width:100%;overflow-x:hidden}body{font-family:ui-sans-serif,system-ui,-apple-system,Segoe UI,Roboto,sans-serif;font-size:14px;background:#fafafa;color:#111;-webkit-font-smoothing:antialiased;-webkit-text-size-adjust:100%}button{font:inherit;cursor:pointer}.app{display:grid;grid-template-columns:260px 1fr;grid-template-rows:auto auto auto 1fr;grid-template-areas:"drawer topbar" "drawer viewtabs" "drawer lesson-head" "drawer grid";height:100dvh;min-height:100dvh}.topbar{grid-area:topbar;display:flex;align-items:center;gap:12px;padding:10px 16px;background:#fff;border-bottom:1px solid #e0e0e0;position:-webkit-sticky;position:sticky;top:0;z-index:10}.menu-btn{display:none;background:transparent;border:1px solid #ccc;border-radius:6px;padding:4px 10px;font-size:16px}.brand{display:flex;flex-direction:column;line-height:1.2}.brand .tag{color:#666;font-size:12px}.lesson-pill{margin-left:auto;display:flex;align-items:center;gap:8px;background:#eef2ff;color:#1e3a8a;padding:4px 10px;border-radius:999px;font-size:12px;max-width:50%;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.lesson-pill .lesson-num{font-weight:700}.drawer{grid-area:drawer;border-right:1px solid #e0e0e0;overflow-y:auto;height:100dvh}.drawer,.drawer-head{background:#fff;position:-webkit-sticky;position:sticky;top:0}.drawer-head{display:flex;align-items:center;justify-content:space-between;padding:12px 14px;border-bottom:1px solid #eee}.drawer-head .close{display:none;background:transparent;border:none;font-size:16px}.lesson-list{list-style:none;margin:0;padding:6px 0}.lesson-item{display:flex;align-items:flex-start;gap:10px;width:100%;text-align:left;background:transparent;padding:10px 14px;border:none;border-left:3px solid transparent}.lesson-item:hover{background:#f6f8ff}.lesson-item.active{background:#eef2ff;border-left-color:#4338ca}.li-num{display:inline-flex;align-items:center;justify-content:center;min-width:22px;height:22px;border-radius:50%;background:#e0e7ff;color:#3730a3;font-size:11px;font-weight:700;margin-top:2px}.lesson-item.active .li-num{background:#4338ca;color:#fff}.li-body{display:flex;flex-direction:column;min-width:0}.li-title{font-weight:600;font-size:13px}.li-blurb{font-size:12px;color:#555;line-height:1.35;margin-top:2px}.li-domain{display:inline-block;margin-top:4px;padding:1px 6px;font-size:10px;font-weight:600;letter-spacing:.04em;text-transform:uppercase;border-radius:3px;width:-moz-fit-content;width:fit-content}.li-domain.dom-legal{background:#fdf3e0;color:#7a4b00}.li-domain.dom-logic{background:#e6efff;color:#1d3a8a}.li-domain.dom-product{background:#e7f5ec;color:#1a5d2b}.domain-filter{display:flex;flex-wrap:wrap;gap:6px;padding:8px 12px 4px;border-bottom:1px solid #eee}.domain-chip{display:inline-flex;align-items:center;gap:6px;padding:4px 10px;font-size:12px;font-weight:500;border:1px solid #ddd;background:#fff;border-radius:999px;cursor:pointer;text-transform:capitalize}.domain-chip:hover{background:#f6f6f6}.domain-chip.on{background:#111;color:#fff;border-color:#111}.domain-chip .d-count{font-size:10px;opacity:.7;font-feature-settings:"tnum";font-variant-numeric:tabular-nums}.lesson-citations{margin-top:18px;padding-top:12px;border-top:1px dashed #ddd}.lesson-citations h4{margin:0 0 6px;font-size:12px;font-weight:600;text-transform:uppercase;letter-spacing:.06em;color:#555}.lesson-citations ul{margin:0;padding-left:16px;list-style:square}.lesson-citations li{font-size:12.5px;line-height:1.45;margin-bottom:6px}.lesson-citations a{color:#1d3a8a;text-decoration:underline;-webkit-text-decoration-style:dotted;text-decoration-style:dotted}.lesson-citations .cite-pin{color:#555}.scrim{display:none}.lesson-head{grid-area:lesson-head;background:#fff;border-bottom:1px solid #e0e0e0;padding:10px 16px;display:grid;grid-gap:10px;gap:10px}.english-pair{display:grid;grid-template-columns:1fr 1fr;grid-gap:12px;gap:12px}.english{border:1px solid #eee;border-radius:8px;padding:10px 12px;background:#fafafa;transition:border-color .15s,background .15s}.english.active{background:#fffbe7;border-color:#f59e0b}.english .lbl{display:inline-block;font-size:11px;font-weight:700;color:#555;text-transform:uppercase;letter-spacing:.05em;margin-right:6px}.english .text{font-size:13px;line-height:1.45}.mode-toggle{display:inline-flex;background:#f1f1f4;border-radius:8px;padding:3px;align-self:flex-start;flex-wrap:wrap}.mode-toggle button{background:transparent;border:none;padding:6px 12px;border-radius:6px;font-size:13px;color:#444}.mode-toggle button.on{background:#fff;color:#111;box-shadow:0 1px 3px rgba(0,0,0,.08)}.tabs{display:none;grid-column:1/-1;border-bottom:1px solid #e0e0e0;background:#fff}.tabs button{flex:1 1;background:transparent;padding:10px 8px;font-size:13px;border:none;border-bottom:2px solid transparent;color:#555}.tabs button.on{color:#111;border-bottom-color:#4338ca;font-weight:600}.grid{grid-area:grid;display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr) minmax(280px,340px);overflow:hidden}.grid,.pane{min-height:0}.pane{display:flex;flex-direction:column;min-width:0;border-right:1px solid #e0e0e0;background:#fff}.pane:last-child{border-right:none}.pane-head{display:flex;align-items:center;justify-content:space-between;gap:8px;padding:8px 12px;border-bottom:1px solid #eee;font-size:12px;font-weight:600;color:#333;flex-wrap:wrap}.pane-head .dim{color:#888;font-weight:400}.diagram-controls{display:flex;align-items:center;gap:10px;font-weight:400;font-size:12px;color:#555}.diagram-controls select{font-size:12px;padding:2px 4px}.diagram-scroll{padding:12px;overflow:auto;flex:1 1}.diagram-scroll svg{max-width:100%;height:auto}.side-pane{overflow:auto;padding:0}.clarity-section,.lesson-notes{padding:12px 14px;border-bottom:1px solid #eee}.lesson-notes h3{margin:0 0 6px;font-size:14px}.lesson-notes p{margin:4px 0;font-size:13px;line-height:1.45}.lesson-notes .notes-body{color:#444;margin-top:8px}.nav-buttons{display:flex;gap:8px;margin-top:12px}.nav-buttons button{flex:1 1;padding:8px 10px;border-radius:6px;border:1px solid #ccc;background:#fff;font-size:13px}.nav-buttons button:disabled{color:#aaa;cursor:not-allowed}.clarity-section details{margin-top:12px}.clarity-section pre{background:#f6f6f8;padding:8px;border-radius:4px;font-size:11px;white-space:pre-wrap;word-break:break-word;max-height:240px;overflow:auto}.editor-pane{position:relative}@media (max-width:900px){.app{grid-template-columns:1fr;grid-template-rows:auto auto auto 1fr;grid-template-areas:"topbar" "viewtabs" "lesson-head" "grid";height:auto;min-height:100dvh}.app.view-home,.app.view-registry{grid-template-rows:auto auto 1fr;grid-template-areas:"topbar" "viewtabs" "grid"}.app.view-lessons .menu-btn{display:inline-flex}.lesson-pill{max-width:60%;font-size:11px}.drawer{position:fixed;top:0;left:0;width:86vw;max-width:320px;height:100dvh;transform:translateX(-100%);transition:transform .22s ease;z-index:30;box-shadow:0 8px 30px rgba(0,0,0,.12)}.drawer.open{transform:translateX(0)}.drawer-head .close{display:inline-block}.scrim{display:block;position:fixed;inset:0;background:rgba(0,0,0,.35);z-index:20}.english-pair{grid-template-columns:1fr}.tabs{display:flex}.grid{grid-template-columns:1fr;grid-template-rows:auto;height:auto;overflow:visible}.pane{border-right:none;border-bottom:1px solid #e0e0e0}.diagram-scroll{max-height:60vh}.side-pane{max-height:none}.clarity-section pre{max-height:200px}}.term{font-family:ui-monospace,SFMono-Regular,SF Mono,Menlo,Consolas,monospace;font-size:.92em;padding:1px 6px;border-radius:4px;background:#eef2ff;color:#1e3a8a;border:1px solid #c7d2fe;white-space:nowrap}.term.unknown{background:#fef2f2;color:#991b1b;border-color:#fecaca}.glossary{margin-top:14px;padding-top:12px;border-top:1px dashed #ddd}.glossary-head{font-size:11px;font-weight:700;color:#555;text-transform:uppercase;letter-spacing:.05em;margin-bottom:8px}.glossary dl{margin:0;padding:0}.glossary-row{display:grid;grid-template-columns:minmax(0,auto) 1fr;grid-gap:8px 12px;gap:8px 12px;align-items:baseline;margin-bottom:8px}.glossary-row dt{margin:0}.glossary-row dd{margin:0;font-size:12.5px;color:#333;line-height:1.5}@media (max-width:900px){.glossary-row{grid-template-columns:1fr;gap:4px}}@supports (padding:max(0px)){.topbar{padding-top:max(10px,env(safe-area-inset-top));padding-left:max(16px,env(safe-area-inset-left));padding-right:max(16px,env(safe-area-inset-right))}}.view-tabs{display:flex;gap:4px;padding:8px 16px 0;border-bottom:1px solid #e0e0e0;background:#fafafa}.view-tabs button{background:transparent;border:1px solid transparent;border-bottom:none;border-radius:8px 8px 0 0;padding:8px 14px;font-size:13px;cursor:pointer;color:#555}.view-tabs button.on{background:#fff;border-color:#e0e0e0;color:#111;font-weight:600}.reg-browser{display:grid;grid-template-columns:280px 1fr;grid-gap:0;gap:0;height:calc(100dvh - 110px);overflow:hidden}.reg-sidebar{border-right:1px solid #e0e0e0;overflow-y:auto;padding:12px;background:#fafafa}.reg-search{position:-webkit-sticky;position:sticky;top:0;background:#fafafa;padding-bottom:8px;margin-bottom:8px;border-bottom:1px solid #eee}.reg-search input[type=search]{width:100%;padding:6px 8px;font-size:13px;border:1px solid #ddd;border-radius:6px;box-sizing:border-box}.reg-toggle{display:flex;align-items:center;gap:6px;margin-top:6px;font-size:12px;color:#555}.reg-group{margin-bottom:12px}.reg-group h4{display:flex;align-items:center;gap:8px;margin:8px 0 4px;font-size:12px}.reg-count{color:#888;font-weight:400}.reg-group ul{list-style:none;margin:0;padding:0}.reg-pick{display:block;width:100%;text-align:left;background:transparent;border:1px solid transparent;border-radius:6px;padding:4px 6px;cursor:pointer;margin-bottom:2px}.reg-pick:hover{background:#fff;border-color:#e0e0e0}.reg-pick.active{background:#fff;border-color:#1565c0}.reg-tag{display:inline-block;font-size:10px;font-weight:700;letter-spacing:.04em;text-transform:uppercase;padding:2px 6px;border-radius:4px;border:1px solid}.reg-tag-primitive{background:#ede7f6;color:#311b92;border-color:#4527a0}.reg-tag-cited{background:#e3f2fd;color:#0d47a1;border-color:#1565c0}.reg-tag-defined{background:#e8f5e9;color:#1b5e20;border-color:#2e7d32}.reg-tag-scoped{background:#fff8e1;color:#e65100;border-color:#ef6c00}.reg-main{display:grid;grid-template-rows:1fr auto;overflow:hidden}.reg-graph{border-bottom:1px solid #e0e0e0;background:#fff;overflow:auto;padding:12px}.reg-detail{background:#fafafa;padding:12px 16px;overflow-y:auto;max-height:40dvh}.reg-detail h3{display:flex;align-items:center;gap:10px;margin:0 0 8px;font-size:15px}.reg-detail p{margin:6px 0;font-size:13px;line-height:1.55}.scope-in{background:#e8f5e9;color:#1b5e20;border-radius:4px;border:1px solid #2e7d32}.scope-in,.scope-out{padding:1px 6px;font-size:12px}.scope-out{background:#ffebee;color:#7f0000;border-radius:4px;border:1px solid #b71c1c;text-decoration:line-through}@media (max-width:900px){.reg-browser{grid-template-columns:1fr;grid-template-rows:auto 1fr;height:calc(100dvh - 130px)}.reg-sidebar{max-height:30dvh;border-right:none;border-bottom:1px solid #e0e0e0}}.landing{width:100%;max-width:1100px;margin:0 auto;padding:28px 20px 64px;overflow-y:auto;overflow-x:hidden;height:calc(100dvh - 110px);min-width:0}.landing,.landing *{box-sizing:border-box}.landing em,.landing li,.landing p{overflow-wrap:anywhere;word-break:normal}.landing .hero{padding:24px 0 32px;border-bottom:1px solid #eee;display:grid;grid-template-columns:minmax(0,1.1fr) minmax(0,.9fr);grid-gap:28px;gap:28px;align-items:start}@media (max-width:900px){.landing .hero{grid-template-columns:minmax(0,1fr);gap:22px}}.landing .hero-text{min-width:0}.landing .hero h1{font-size:32px;line-height:1.2;margin:0 0 16px;letter-spacing:-.01em;font-weight:700}.landing .mono{font-family:ui-monospace,JetBrains Mono,SF Mono,Menlo,monospace;font-size:.92em;background:#f3f3f3;padding:1px 7px;border-radius:5px;border:1px solid #e0e0e0}.landing .lede{font-size:16px;line-height:1.6;color:#333;max-width:760px;margin:0 0 22px}.cta-row{display:flex;flex-wrap:wrap;gap:10px}.cta{border:1px solid #d0d0d0;background:#fff;color:#111;padding:10px 18px;border-radius:8px;font-size:14px;font-weight:500;cursor:pointer;transition:transform .05s ease,box-shadow .1s ease}.cta:hover{box-shadow:0 2px 6px rgba(0,0,0,.08)}.cta:active{transform:translateY(1px)}.cta.primary{background:#1565c0;border-color:#1565c0;color:#fff}.cta.primary:hover{background:#0d47a1;border-color:#0d47a1}.cta.ghost{background:transparent;border-color:transparent;text-decoration:underline;text-underline-offset:3px}.cta.inline{margin-top:10px;padding:7px 12px;font-size:13px}.landing section{padding:28px 0;border-bottom:1px solid #eee}.landing section:last-of-type{border-bottom:none}.landing h2{font-size:20px;margin:0 0 14px;letter-spacing:-.005em}.landing p{font-size:14.5px;line-height:1.6;color:#333;margin:0 0 12px;max-width:760px}.gap-list{margin:0 0 12px;padding-left:22px}.gap-list li{font-size:14.5px;line-height:1.6;margin-bottom:8px;color:#333}.res-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(220px,1fr));grid-gap:14px;gap:14px;margin-top:14px}.res{border:1px solid #e0e0e0;border-radius:10px;padding:14px 16px;background:#fafafa}.res header{display:flex;align-items:center;justify-content:space-between;margin-bottom:10px}.res-count{font-size:12px;color:#555;font-feature-settings:"tnum";font-variant-numeric:tabular-nums}.res p{font-size:13px;line-height:1.5;margin:0 0 8px}.res p.dim{color:#666;font-size:12.5px;margin-bottom:0}.res.primitive{background:#f5f0ff;border-color:#ede0ff}.res.cited{background:#eef6ff;border-color:#d6e7f8}.res.defined{background:#effaf0;border-color:#d3eed6}.res.scoped{background:#fff7e3;border-color:#f4e3b8}.navsteps{display:grid;grid-template-columns:repeat(auto-fit,minmax(280px,1fr));grid-gap:16px;gap:16px;margin-top:14px}.navstep{border:1px solid #e0e0e0;border-radius:10px;padding:16px 18px;background:#fff}.navstep h3{margin:0 0 8px;font-size:15px;letter-spacing:-.005em}.navstep p{font-size:13.5px;line-height:1.55;margin:0 0 8px}.navstep ul{padding-left:20px;margin:0 0 6px}.navstep ul li{font-size:13px;line-height:1.55;margin-bottom:6px;color:#333}.related{border-top:1px solid #ececec;padding-top:22px;margin-top:8px}.related h2{margin:0 0 6px;font-size:18px;letter-spacing:-.01em}.related-lede{margin:0 0 14px;font-size:14px;color:#444;line-height:1.55}.related-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(300px,1fr));grid-gap:14px;gap:14px}.related-card{border:1px solid #e6e6e6;border-radius:10px;padding:14px 16px;background:#fafafa}.related-card h3{margin:0 0 8px;font-size:14px;letter-spacing:-.005em;color:#222}.related-list{margin:0;padding-left:18px}.related-list li{font-size:12.5px;line-height:1.55;color:#333;margin-bottom:8px}.related-list li:last-child{margin-bottom:0}.related-list a{color:#1565c0;text-decoration:none;font-weight:500}.related-list a:hover{text-decoration:underline}.related-list .mono{background:#eef0f3;padding:1px 5px;border-radius:3px;font-size:11.5px}.footer-strip{text-align:center;padding-top:18px;border-top:1px solid #ececec;margin-top:8px}.footer-strip p{margin:0 auto;color:#666;font-size:13px}.footer-strip a{color:#1565c0;text-decoration:none}.footer-strip a:hover{text-decoration:underline}.xray{margin:-6px 0 4px;display:flex;justify-content:flex-start}.xray-toggle{display:inline-flex;align-items:center;gap:10px;padding:9px 14px;border:1px solid #cfd8e3;border-radius:999px;background:linear-gradient(180deg,#fbfdff,#eef4fb);color:#1f3a5f;font-family:inherit;font-size:13px;cursor:pointer;transition:all .15s ease}.xray-toggle:hover{border-color:#3a78c2;box-shadow:0 1px 6px rgba(58,120,194,.18)}.xray-toggle.is-on{background:linear-gradient(180deg,#1f3a5f,#15293f);border-color:#1f3a5f;color:#e7f0ff}.xray-icon{font-size:14px;line-height:1}.xray-label{font-weight:600}.xray-hint{color:#6a7a8c;font-size:12.5px}.xray-toggle.is-on .xray-hint{color:#a9c1e0}.xray-panel{margin-top:14px;border:1px solid #cfd8e3;border-left:3px solid #1f3a5f;border-radius:8px;background:#f7faff;padding:12px 14px}.xray-panel.expanded{background:#fff}.xray-panel header{display:flex;flex-wrap:wrap;align-items:baseline;gap:10px;margin-bottom:8px}.xray-tag{display:inline-block;padding:2px 8px;border-radius:4px;font-size:11px;font-weight:600;letter-spacing:.02em;text-transform:uppercase;border:1px solid}.xray-tag-missing-parameter{background:#fff7e3;border-color:#f4e3b8;color:#8a6700}.xray-tag-missing-axiom{background:#ffe9e9;border-color:#f4c2c2;color:#a3220e}.xray-tag-scope-ambiguity{background:#f0e7ff;border-color:#d8c7f4;color:#5b3aaf}.xray-tag-regressus-ad-terminos{background:#eef6ff;border-color:#c8dcf2;color:#1565c0}.xray-claim{font-size:13.5px;color:#1f3a5f;flex:1 1 auto;min-width:0}.xray-claim em{color:#2c4870}.xray-note{font-size:12.5px;color:#555;margin:0 0 10px;font-style:italic}.xray-cols{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);grid-gap:10px;gap:10px}.xray-col{min-width:0}.xray-col-head{display:flex;align-items:baseline;gap:8px;margin-bottom:4px}.xray-col-label{font-size:11px;font-weight:700;text-transform:uppercase;letter-spacing:.05em;padding:1px 6px;border-radius:3px}.xray-col-label.before{background:#ffe9e9;color:#a3220e}.xray-col-label.after{background:#e2f4e6;color:#1e6b32}.xray-col-sub{font-size:11.5px;color:#888}.xray-panel pre.lean-source{background:#0f1a2b;color:#d8e3f2;border-radius:6px;padding:10px 12px;margin:0;overflow-x:auto;font-size:12px;line-height:1.55;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;min-width:0;max-width:100%}.xray-panel pre.lean-source code{font-family:inherit}.xray-resolution{margin:10px 0 0;font-size:12.5px;color:#333;line-height:1.55}.xray-resolution strong{color:#1f3a5f}.xray-full{border-top:1px solid #ececec;padding-top:22px;margin-top:8px}.xray-full h2{margin:0 0 6px;font-size:18px;letter-spacing:-.01em}.xray-full>p{font-size:14px;color:#444;margin:0 0 14px;line-height:1.55}.xray-grid{display:grid;grid-gap:14px;gap:14px}.xray-footnote{margin-top:14px;font-size:12.5px;color:#666}.link-btn{background:none;border:none;padding:0;color:#1565c0;font:inherit;cursor:pointer;text-decoration:underline}.bridge{background:#f7faff;border-left:3px solid #cfd8e3;padding:10px 12px;margin:10px 0 0;border-radius:0 6px 6px 0;font-size:13.5px;line-height:1.55;color:#1f3a5f}.related-card.primary{background:#f4f9ff;border-color:#c8dcf2}.related-card.primary h3{color:#1565c0}@media (max-width:700px){.landing{padding:16px 14px 40px;height:calc(100dvh - 130px)}.landing .hero h1{font-size:24px}.landing .lede{font-size:15px}.landing h2{font-size:17px}.cta-row{flex-direction:column;align-items:stretch}.cta{width:100%;box-sizing:border-box}.xray-cols{grid-template-columns:minmax(0,1fr)}.xray-toggle{flex-wrap:wrap;width:100%;box-sizing:border-box}.xray-hint{width:100%;padding-left:24px}.xray-panel{padding:10px 12px}.xray-panel pre.lean-source{font-size:11px;padding:8px 10px}.navsteps,.related-grid,.res-grid{grid-template-columns:minmax(0,1fr)}.navstep,.related-card,.res{min-width:0}.gap-list{padding-left:22px}.gap-list li{padding-right:2px}.bridge{padding:10px}.related-list{padding-left:18px}.related-list li{font-size:12.5px}}.app.view-home,.app.view-registry{grid-template-columns:1fr;grid-template-rows:auto auto 1fr;grid-template-areas:"topbar" "viewtabs" "grid"}.app.view-home .drawer,.app.view-registry .drawer{display:none}.view-tabs{grid-area:viewtabs}.app.view-home .landing,.app.view-registry .reg-browser{grid-area:grid}.landing .hero-demo{background:#fff;border:1px solid #e6e6ee;border-radius:12px;padding:14px;min-width:0;box-shadow:0 1px 3px rgba(20,25,60,.04)}.landing .hero-demo-chips{display:flex;gap:6px;margin-bottom:12px;flex-wrap:wrap}.landing .hero-demo-chip{border:1px solid #d8dbe8;background:#f6f7fb;padding:5px 11px;border-radius:999px;font-size:12px;color:#444;cursor:pointer;transition:background .15s ease,color .15s ease,border-color .15s ease}.landing .hero-demo-chip:hover{background:#eef0f8}.landing .hero-demo-chip.is-active{background:#1e3a8a;color:#fff;border-color:#1e3a8a}.landing .hero-demo-card{display:flex;flex-direction:column;gap:8px;animation:heroFade .4s ease-out}@keyframes heroFade{0%{opacity:0;transform:translateY(4px)}to{opacity:1;transform:translateY(0)}}.landing .hero-demo-tag{display:inline-block;font-size:10px;letter-spacing:.06em;text-transform:uppercase;color:#6b7280;margin-right:8px;font-weight:600}.landing .hero-demo-english{font-size:14.5px;color:#1f2937;padding:6px 0 2px}.landing .hero-demo-claim em{color:#1e3a8a;font-style:italic}.landing .hero-demo-arrow{text-align:center;font-size:14px;color:#c0c4d4;line-height:1}.landing .hero-demo-lean pre{background:#0f172a;color:#e0e7ff;border-radius:8px;padding:10px 12px;margin:4px 0 0;font-size:11.5px;line-height:1.5;overflow-x:auto;min-width:0;max-width:100%;font-family:ui-monospace,JetBrains Mono,SF Mono,Menlo,monospace}.landing .hero-demo-graph{margin-top:4px}.landing .mini-graph{width:100%;height:auto;display:block;margin-top:4px}.landing .hero-demo-takeaway{font-size:12.5px;color:#4b5563;line-height:1.5;margin:8px 0 0;font-style:italic;padding-top:8px;border-top:1px dashed #e6e6ee}.landing .gap-tour{margin:18px 0 14px;background:#fafbff;border:1px solid #e6e6ee;border-radius:10px;padding:12px;min-width:0}.landing .gap-tour-tabs{display:flex;gap:6px;flex-wrap:wrap;margin-bottom:10px}.landing .gap-tour-tab{border:1px solid #d8dbe8;background:#fff;padding:6px 11px;border-radius:999px;font-size:12.5px;color:#374151;cursor:pointer;transition:background .15s ease,color .15s ease,border-color .15s ease}.landing .gap-tour-tab:hover{background:#f3f4f9}.landing .gap-tour-tab.is-active{background:#1e3a8a;color:#fff;border-color:#1e3a8a}.landing .gap-tour-tab-missing-parameter.is-active{background:#d97706;border-color:#d97706}.landing .gap-tour-tab-missing-axiom.is-active{background:#dc2626;border-color:#dc2626}.landing .gap-tour-tab-scope-ambiguity.is-active{background:#6d28d9;border-color:#6d28d9}.landing .gap-tour-body{animation:heroFade .35s ease-out}.landing .gap-tour-tag{display:inline-block;font-size:10px;letter-spacing:.06em;text-transform:uppercase;color:#6b7280;margin-right:8px;font-weight:600}.landing .gap-tour-english{margin-bottom:10px;font-size:14px;color:#1f2937}.landing .gap-tour-cols{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);grid-gap:10px;gap:10px}@media (max-width:700px){.landing .gap-tour-cols{grid-template-columns:minmax(0,1fr)}}.landing .gap-tour-col{min-width:0}.landing .gap-tour-col-head{display:flex;justify-content:space-between;align-items:baseline;font-size:11px;margin-bottom:4px}.landing .gap-tour-col-label{font-weight:600;letter-spacing:.04em;text-transform:uppercase}.landing .gap-tour-col-label.before{color:#b91c1c}.landing .gap-tour-col-label.after{color:#166534}.landing .gap-tour-col-sub{color:#6b7280;font-style:italic}.landing .gap-tour-col pre{background:#0f172a;color:#e0e7ff;border-radius:6px;padding:9px 11px;margin:0;font-size:11.5px;line-height:1.55;overflow-x:auto;min-width:0;max-width:100%;font-family:ui-monospace,JetBrains Mono,SF Mono,Menlo,monospace}.landing .gap-tour-resolution{margin:10px 0 0;font-size:13px;color:#374151;line-height:1.55}.landing .tryit-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));grid-gap:14px;gap:14px;margin-top:14px}@media (max-width:900px){.landing .tryit-grid{grid-template-columns:minmax(0,1fr)}}.landing .tryit-card{background:#fff;border:1px solid #e6e6ee;border-radius:10px;padding:14px;display:flex;flex-direction:column;gap:8px;min-width:0;transition:transform .15s ease,box-shadow .15s ease,border-color .15s ease}.landing .tryit-card:hover{transform:translateY(-2px);box-shadow:0 6px 18px rgba(20,25,60,.06);border-color:#c8cce0}.landing .tryit-card h3{margin:0;font-size:15px;color:#1e3a8a}.landing .tryit-blurb{font-size:13px;color:#4b5563;line-height:1.5;margin:0}.landing .tryit-pre{background:#0f172a;color:#e0e7ff;border-radius:6px;padding:8px 10px;margin:0;font-size:11px;line-height:1.5;overflow-x:auto;min-width:0;max-width:100%;font-family:ui-monospace,JetBrains Mono,SF Mono,Menlo,monospace;max-height:150px;overflow-y:auto}.landing .tryit-card .cta{margin-top:auto}.landing .term-pill-wrap{position:relative;display:inline-block}.landing .term-pill{font-family:ui-monospace,JetBrains Mono,SF Mono,Menlo,monospace;font-size:.86em;padding:1px 6px;border-radius:4px;border:1px solid transparent;cursor:help;transition:background .12s ease,border-color .12s ease;white-space:nowrap}.landing .term-pill:focus{outline:2px solid #1e3a8a;outline-offset:1px}.landing .term-primitive{background:#ecfdf5;border-color:#a7f3d0;color:#065f46}.landing .term-cited{background:#eff6ff;border-color:#bfdbfe;color:#1e40af}.landing .term-defined{background:#faf5ff;border-color:#e9d5ff;color:#6d28d9}.landing .term-scoped{background:#fff7ed;border-color:#fed7aa;color:#9a3412}.landing .term-unknown{background:#f3f4f6;border-color:#e5e7eb;color:#374151}.landing .term-pill-tip{position:absolute;left:50%;bottom:calc(100% + 6px);transform:translateX(-50%);background:#0f172a;color:#e0e7ff;font-size:11.5px;line-height:1.45;padding:8px 10px;border-radius:6px;white-space:normal;width:max-content;max-width:280px;z-index:20;box-shadow:0 6px 18px rgba(20,25,60,.18);pointer-events:none;animation:heroFade .18s ease-out}.landing .term-pill-tip:after{content:"";position:absolute;left:50%;top:100%;transform:translateX(-50%);border:5px solid transparent;border-top-color:#0f172a}.landing .term-pill-tip-kind{display:inline-block;font-size:10px;letter-spacing:.05em;text-transform:uppercase;font-weight:600;margin-right:6px;padding:1px 5px;border-radius:3px}.landing .term-pill-tip-kind.kind-primitive{background:#065f46;color:#ecfdf5}.landing .term-pill-tip-kind.kind-cited{background:#1e40af;color:#eff6ff}.landing .term-pill-tip-kind.kind-defined{background:#6d28d9;color:#faf5ff}.landing .term-pill-tip-kind.kind-scoped{background:#9a3412;color:#fff7ed}.landing .term-pill-tip-body{display:inline;color:#e0e7ff}.landing-spine{display:none}@media (min-width:1100px){.landing-spine{display:block;position:fixed;left:max(16px,calc((100vw - 1100px) / 2 - 24px));top:50%;transform:translateY(-50%);z-index:8;pointer-events:auto}.landing-spine ul{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:14px}.landing-spine a{display:flex;align-items:center;gap:10px;color:#9ca3af;text-decoration:none;transition:color .15s ease}.landing-spine a:hover{color:#1e3a8a}.landing-spine .spine-dot{display:block;width:8px;height:8px;border-radius:50%;background:#d1d5db;transition:background .2s ease,transform .2s ease}.landing-spine .spine-label{font-size:11px;letter-spacing:.02em;opacity:0;transform:translateX(-4px);transition:opacity .2s ease,transform .2s ease;white-space:nowrap}.landing-spine li.is-active .spine-label,.landing-spine li:hover .spine-label{opacity:1;transform:translateX(0)}.landing-spine li.is-active .spine-dot{background:#1e3a8a;transform:scale(1.4);box-shadow:0 0 0 4px rgba(30,58,138,.12)}}.landing .registry-total{font-feature-settings:"tnum";font-variant-numeric:tabular-nums;font-weight:600;color:#1e3a8a}@media (prefers-reduced-motion:reduce){.landing .gap-tour-body,.landing .hero-demo-card,.landing .term-pill-tip{animation:none}.landing .tryit-card{transition:none}.landing .tryit-card:hover{transform:none}}.provenance-bar{grid-column:1/-1;position:-webkit-sticky;position:sticky;bottom:0;z-index:5;display:flex;align-items:center;justify-content:space-between;gap:12px;padding:8px 14px;margin:0 0 8px;background:#fafbff;border:1px solid #e6e6ee;border-radius:8px;font-size:13px;flex-wrap:wrap;box-shadow:0 -2px 8px rgba(15,23,42,.06)}.provenance-bar.grade-a{border-color:#bbf7d0;background:#f0fdf4}.provenance-bar.grade-b{border-color:#fde68a;background:#fffbeb}.provenance-bar.grade-c{border-color:#fed7aa;background:#fff7ed}.provenance-bar.grade-d{border-color:#fecaca;background:#fef2f2}.provenance-bar.grade-e{border-color:#fca5a5;background:#fef2f2}.provenance-bar .prov-left{display:flex;align-items:center;gap:10px;min-width:0;flex:1 1 auto}.provenance-bar .prov-grade{display:inline-flex;align-items:center;justify-content:center;width:26px;height:26px;border-radius:6px;font-weight:700;font-size:14px;font-family:ui-monospace,JetBrains Mono,SF Mono,Menlo,monospace;flex-shrink:0}.provenance-bar .prov-grade.grade-a{background:#16a34a;color:#fff}.provenance-bar .prov-grade.grade-b{background:#ca8a04;color:#fff}.provenance-bar .prov-grade.grade-c{background:#ea580c;color:#fff}.provenance-bar .prov-grade.grade-d{background:#dc2626;color:#fff}.provenance-bar .prov-grade.grade-e{background:#991b1b;color:#fff}.provenance-bar .prov-summary{color:#374151;line-height:1.4;min-width:0}.provenance-bar .prov-right{display:flex;gap:8px;flex-shrink:0}.provenance-bar .prov-btn{display:inline-block;padding:6px 12px;border-radius:6px;border:1px solid #d8dbe8;background:#fff;color:#1f2937;font-size:12.5px;cursor:pointer;text-decoration:none;transition:background .15s ease,border-color .15s ease,color .15s ease;font-family:inherit}.provenance-bar .prov-btn:hover:not(:disabled):not([aria-disabled=true]){background:#f3f4f9;border-color:#c8cce0}.provenance-bar .prov-btn:disabled,.provenance-bar .prov-btn[aria-disabled=true]{opacity:.45;cursor:not-allowed}.provenance-bar .prov-btn.primary{background:#1e3a8a;color:#fff;border-color:#1e3a8a}.provenance-bar .prov-btn.primary:hover:not([aria-disabled=true]){background:#1e40af;border-color:#1e40af}@media (max-width:700px){.provenance-bar{padding:8px 10px;gap:8px}.provenance-bar .prov-left{flex-basis:100%}.provenance-bar .prov-right{width:100%}.provenance-bar .prov-btn{flex:1 1;text-align:center}}.landing .compounding{padding:36px 0 28px;border-bottom:1px solid #eee}.landing .compounding-head{max-width:820px}.landing .compounding h2{font-size:26px;line-height:1.25;letter-spacing:-.01em;margin:0 0 12px;font-weight:700}.landing .compounding-lede{font-size:16px;line-height:1.6;color:#333;margin:0 0 22px}.landing .compounding-body{display:grid;grid-template-columns:minmax(0,1.4fr) minmax(0,1fr);grid-gap:24px;gap:24px;align-items:start;margin-bottom:28px}@media (max-width:900px){.landing .compounding-body{grid-template-columns:minmax(0,1fr);gap:18px}}.landing .compounding-table{border:1px solid #e6e6e6;border-radius:10px;background:#fff;overflow:hidden}.landing .compounding-table table{width:100%;border-collapse:collapse;font-size:14px}.landing .compounding-table caption{caption-side:bottom;text-align:left;font-size:12px;color:#666;padding:10px 14px 12px;line-height:1.5}.landing .compounding-table td,.landing .compounding-table th{padding:10px 14px;text-align:right;border-bottom:1px solid #f0f0f0;font-feature-settings:"tnum";font-variant-numeric:tabular-nums}.landing .compounding-table td:first-child,.landing .compounding-table th:first-child{text-align:left}.landing .compounding-table thead th{background:#fafafa;font-weight:600;font-size:12px;text-transform:uppercase;letter-spacing:.04em;color:#555}.landing .compounding-table tbody tr:last-child td{border-bottom:none}.landing .compounding-table .row-bad td{background:#fef3f2}.landing .compounding-table .row-mid td{background:#fffaf0}.landing .compounding-table .row-good td{background:#f1faf2}.landing .row-tag{display:inline-block;margin-left:6px;font-size:11px;color:#666;letter-spacing:.02em}.landing .row-bad-mono{background:#fde4e1;border-color:#f3b9b3}.landing .row-good-mono{background:#d6f0d9;border-color:#95d29c}.landing .compounding-takeaway{background:#f8f8f8;border:1px solid #e6e6e6;border-radius:10px;padding:16px 18px}.landing .compounding-takeaway h3{margin:0 0 8px;font-size:15px;font-weight:600}.landing .compounding-takeaway p{margin:0 0 10px;font-size:14px;line-height:1.55;color:#333}.landing .compounding-takeaway p:last-child{margin-bottom:0}.landing .compounding-where{margin-bottom:28px}.landing .compounding-handoff h3,.landing .compounding-where h3{font-size:17px;font-weight:600;margin:0 0 10px}.landing .compounding-list{margin:0;padding-left:22px;font-size:15px;line-height:1.6;color:#333}.landing .compounding-list li{margin-bottom:8px}.landing .handoff-grid{display:grid;grid-template-columns:1fr 1fr;grid-gap:16px;gap:16px;margin-bottom:14px}@media (max-width:700px){.landing .handoff-grid{grid-template-columns:1fr}}.landing .handoff-card{border:1px solid #e6e6e6;border-radius:10px;padding:14px 16px;background:#fff}.landing .handoff-card.you{border-left:3px solid #1d3a8a}.landing .handoff-card.machine{border-left:3px solid #1a5d2b}.landing .handoff-card h4{margin:0 0 8px;font-size:13px;font-weight:600;text-transform:uppercase;letter-spacing:.05em;color:#555}.landing .handoff-card ul{margin:0;padding-left:18px;font-size:14px;line-height:1.55;color:#222}.landing .handoff-card li{margin-bottom:4px}.landing .handoff-coda{font-size:14.5px;line-height:1.6;color:#333;margin:0;padding-top:8px}.landing .faq{padding:32px 0 28px;border-bottom:1px solid #eee}.landing .faq h2{font-size:24px;font-weight:700;letter-spacing:-.01em;margin:0 0 6px}.landing .faq-lede{font-size:15px;color:#555;margin:0 0 18px}.landing .faq-list{display:grid;grid-gap:8px;gap:8px;max-width:820px}.landing .faq-list details{border:1px solid #e6e6e6;border-radius:8px;background:#fff;padding:0;overflow:hidden}.landing .faq-list details[open]{background:#fafafa;border-color:#d6d6d6}.landing .faq-list summary{cursor:pointer;list-style:none;padding:12px 16px;font-size:15px;font-weight:600;color:#111;position:relative;-webkit-user-select:none;-moz-user-select:none;user-select:none}.landing .faq-list summary::-webkit-details-marker{display:none}.landing .faq-list summary:after{content:"+";position:absolute;right:16px;top:50%;transform:translateY(-50%);font-weight:400;color:#888;font-size:18px;line-height:1}.landing .faq-list details[open] summary:after{content:"−"}.landing .faq-list details>ol,.landing .faq-list details>p{margin:0 16px 14px;padding-left:18px;font-size:14.5px;line-height:1.6;color:#333}.landing .faq-list details>p{padding-left:0}.landing .faq-list details>ol li{margin-bottom:6px}