:root{color-scheme:light;--paper: #fbf6e6;--paper-soft: #edf0d3;--paper-blue: #dcefed;--paper-blush: #f3dfd6;--paper-yellow: #f3e6ad;--paper-lilac: #e8e0f1;--section-totality: #e3e2d7;--section-concurrency: #d8eeee;--section-foundation: #e7def2;--section-protocol: #f1ded4;--section-explore: #efe4bd;--ink: #20201d;--ink-soft: #45493f;--ink-muted: #747765;--line: #d8d2ba;--line-strong: #b7ae91;--mint: #74c98e;--sky: #6dc2c8;--blush: #e88d79;--yellow: #e6bf3e;--green: #247b56;--coral: #c45d50;--blue: #257385;--violet: #7b62b7;--logo-bg: #c9b7ff;--logo-ink: #35255f;--logo-border: #7a60c7;--code-bg: #1f2220;--code-panel: #292d28;--code-line: #454b40;--code-text: #f0eadc;--content-width: 1180px;--page-gutter: 32px;--section-y: 68px;--radius: 8px;font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif;background:var(--paper);color:var(--ink)}*{box-sizing:border-box}html{background:var(--paper)}body{margin:0;min-width:320px}a{color:inherit}p{margin:0}.language-name{font-weight:900}.concept-link{color:var(--green);font-weight:760;text-decoration-color:#48765f59;text-underline-offset:4px}code{font-family:Fira Code,SFMono-Regular,Consolas,Liberation Mono,monospace}.site-header{display:flex;align-items:center;justify-content:space-between;gap:24px;width:min(var(--content-width),calc(100% - var(--page-gutter) * 2));margin:0 auto;padding:20px 0}.brand{display:inline-flex;align-items:center;gap:10px;color:var(--logo-ink);font-weight:760;text-decoration:none}.brand-mark{display:grid;place-items:center;width:32px;height:32px;border:1px solid var(--logo-border);border-radius:var(--radius);background:var(--logo-bg);color:var(--logo-ink);font-family:Georgia,Times New Roman,serif;font-size:1.68rem;font-weight:500;line-height:1}.site-nav{display:flex;align-items:center;justify-content:flex-end;gap:8px;flex-wrap:wrap}.site-nav a{padding:8px 10px;border-radius:999px;color:var(--ink-muted);font-size:.94rem;font-weight:640;white-space:nowrap;text-decoration:none}.site-nav a:hover,.site-nav a:focus-visible{background:#ffffff8f;color:var(--ink)}.frontpage{overflow:hidden}.hero{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:42px;align-items:center;width:min(var(--content-width),calc(100% - var(--page-gutter) * 2));min-height:calc(100svh - 82px);margin:0 auto;padding:32px 0 50px}.hero-copy{position:relative;z-index:1}.hero-title-lockup{display:flex;align-items:flex-end;gap:24px;margin-bottom:22px}.hero-symbol{display:grid;place-items:center;width:144px;height:144px;border:1px solid var(--logo-border);border-radius:var(--radius);background:var(--logo-bg);color:var(--logo-ink);font-family:Georgia,Times New Roman,serif;font-size:9rem;line-height:1}.hero h1{margin:0;font-size:8rem;line-height:.86;letter-spacing:0}.hero-lede{max-width:620px;color:var(--ink);font-size:2rem;line-height:1.14;font-weight:720}.hero-lede em{color:var(--violet);font-style:italic}.action-row{display:grid;grid-template-columns:minmax(260px,440px);gap:9px;margin-top:26px}.button{display:inline-flex;align-items:center;justify-content:flex-start;gap:12px;min-height:48px;padding:10px 15px;border:1px solid var(--line-strong);border-radius:var(--radius);background:#ffffff94;color:var(--ink);font-size:.82rem;font-weight:760;letter-spacing:.08em;text-decoration:none;transition:border-color .14s ease,background .14s ease,box-shadow .14s ease,color .14s ease}.button:hover,.button:focus-visible{border-color:var(--ink);box-shadow:0 0 0 3px #20201d17}.button strong{font-weight:1000;text-shadow:0 0 0 currentColor}.button-start{border-color:#7b62b757;background:#d9c9f3}.button-start:hover,.button-start:focus-visible{background:#e5d8fb}.button-book{border-color:#8e6f1061;background:#f4df76}.button-book:hover,.button-book:focus-visible{background:#f8e88f}.button-docs{border-color:#25738557;background:#b9e2ee}.button-docs:hover,.button-docs:focus-visible{background:#cbeef6}.button-play{border-color:#247b5657;background:#bfe6d4}.button-play:hover,.button-play:focus-visible{background:#d1f0df}.button-icon{display:inline-flex;align-items:center;justify-content:center;flex:0 0 auto;width:22px;height:22px;color:var(--green)}.button-icon svg,.principle-icon svg{width:100%;height:100%;fill:none;stroke:currentColor;stroke-width:1.8;stroke-linecap:round;stroke-linejoin:round}.principle-icon svg{stroke-width:2}.icon-play svg,.icon-github svg,.icon-discord svg,.icon-youtube svg,.icon-heart svg{fill:currentColor;stroke:none}.button-start .button-icon{color:var(--violet)}.button-book .button-icon{color:#83670a}.button-docs .button-icon{color:var(--blue)}.button-play .button-icon{color:var(--green)}.icon-github{color:var(--ink-soft)}.icon-discord{color:#5865f2}.icon-youtube{color:#c45d50}.icon-heart{color:#cc4667}.community-row{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:8px;width:min(100%,440px);margin-top:14px}.community-button{display:inline-flex;align-items:center;justify-content:center;gap:7px;min-height:38px;padding:8px 11px;border:1px solid rgba(32,32,29,.13);border-radius:var(--radius);background:#fff6;color:var(--ink-soft);font-size:.88rem;font-weight:720;text-decoration:none}.community-button .button-icon{width:18px;height:18px}.community-button:hover,.community-button:focus-visible{border-color:#20201d5c;background:#ffffffb8}.sponsor-note{max-width:440px;margin-top:12px;color:var(--ink-muted);font-size:.9rem;line-height:1.5}.code-panel{overflow:hidden;border:1px solid var(--code-line);border-radius:var(--radius);background:var(--code-bg);box-shadow:0 22px 54px #252a271f}.code-panel-header{display:flex;align-items:center;justify-content:space-between;gap:16px;min-height:40px;padding:10px 14px;border-bottom:1px solid var(--code-line);background:var(--code-panel);color:#c6bead;font-family:Fira Code,SFMono-Regular,Consolas,monospace;font-size:.82rem}.code-panel-header a{color:#d9c875;text-decoration-color:#d9c87566;text-underline-offset:3px}pre{margin:0}.code-panel pre{overflow:visible;padding:20px}.code-panel code{white-space:pre-wrap;overflow-wrap:anywhere}.hljs{color:var(--code-text);background:transparent;font-size:.9rem;line-height:1.58;tab-size:2}.hljs-keyword{color:#edb779}.hljs-string{color:#a2d88d}.hljs-number{color:#e7d681}.hljs-type{color:#87cdda}.hljs-comment{color:#969083}.section-band,.styles-section,.explore-section{display:grid;width:100%;padding-block:var(--section-y);padding-inline:max(var(--page-gutter),calc((100% - var(--content-width)) / 2))}.section-band{grid-template-columns:repeat(2,minmax(0,1fr));gap:42px;align-items:center}.totality-band{background:var(--section-totality)}.split-section{background:var(--section-concurrency)}.protocol-section{background:var(--section-protocol)}.section-copy{max-width:620px}.eyebrow{margin:0 0 16px;color:var(--coral);font-size:.78rem;font-weight:820;letter-spacing:.08em;text-transform:uppercase}h2,h3{margin:0;color:var(--ink);letter-spacing:0}h2{font-size:3rem;line-height:1.02}h3{font-size:1.8rem;line-height:1.12}.section-copy p:not(.eyebrow),.section-heading p:not(.eyebrow),.style-copy p:not(.eyebrow),.explore-section p:not(.eyebrow){margin-top:18px;color:var(--ink-soft);font-size:1.06rem;line-height:1.68}.section-copy a,.style-copy a,.explore-section a{color:var(--green);font-weight:720;text-decoration-color:#48765f59;text-underline-offset:4px}.section-copy a.concept-link,.style-copy a.concept-link,.explore-section a.concept-link{color:var(--green);font-weight:760;text-decoration-color:#48765f59}.principle-grid{display:grid;grid-template-columns:1fr;gap:10px}.principle-grid>div{display:grid;grid-template-columns:74px minmax(0,1fr);gap:0;align-items:stretch;overflow:hidden;border:1px solid rgba(32,32,29,.13);border-radius:var(--radius);background:#ffffff94}.principle-icon{display:grid;place-items:center;width:74px;min-height:100%;border-radius:0;background:#ffffff61}.principle-icon svg{width:48px;height:48px}.principle-grid strong,.principle-grid>div>span>span{display:block}.principle-grid>div>span:last-child{align-self:center;padding:17px 20px 17px 18px}.principle-grid>div:nth-child(1){background:#f0c8be}.principle-grid>div:nth-child(1) .principle-icon{background:#e09285;color:#742f2d}.principle-grid>div:nth-child(2){background:#cde1e4}.principle-grid>div:nth-child(2) .principle-icon{background:#85bcc6;color:#184e5a}.principle-grid>div:nth-child(3){background:#dcd1ee}.principle-grid>div:nth-child(3) .principle-icon{background:#b49bdd;color:#3c2d70}.principle-grid strong{color:var(--ink);font-size:1.22rem}.principle-grid>div>span>span{margin-top:8px;color:var(--ink-soft);line-height:1.55}.styles-section{position:relative;overflow:hidden;grid-template-columns:minmax(0,1fr) minmax(520px,.8fr);gap:38px;background:var(--section-foundation)}.section-heading{position:relative;z-index:1;max-width:760px}.logic-sequent{z-index:1;display:inline-flex;align-items:baseline;justify-self:end;align-self:start;gap:.18em;max-width:100%;margin-top:22px;padding:22px 34px 26px;border:1px solid rgba(123,98,183,.24);border-radius:var(--radius);background:#ffffff47;color:#35255f94;font-family:Georgia,Times New Roman,serif;font-size:6.8rem;line-height:.9;transform:rotate(-4deg);transform-origin:center;user-select:none;pointer-events:none}.sequent-turnstile,.sequent-comma{font-style:normal}.sequent-comma{margin-right:.14em;margin-left:-.04em}.sequent-formula{font-style:italic}.logic-sequent sup{position:relative;top:-.62em;margin-left:.02em;font-size:.38em;font-style:normal;line-height:0}.style-row{position:relative;z-index:1;grid-column:1 / -1;display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:42px;align-items:center}.style-row-flipped .style-copy{order:2}.style-row-flipped .code-panel{order:1}.style-copy{max-width:520px}.style-copy p:not(.eyebrow) code{color:var(--green);font-size:.96em}.explore-section{display:block;background:var(--section-explore);text-align:center}.explore-copy{max-width:780px;margin:0 auto}.explore-community{margin:28px auto 0}.explore-section .community-button{color:var(--ink-soft);text-decoration:none}.simple-page{width:min(900px,calc(100% - var(--page-gutter) * 2));margin:0 auto;padding:84px 0}.page-heading h1{margin:0;font-size:6rem;line-height:.92}.page-heading p:not(.eyebrow){max-width:680px;margin-top:16px;color:var(--ink-muted);font-size:1.14rem;line-height:1.62}.empty-state,.post-list li{margin-top:34px;padding:26px;border:1px solid var(--line);border-radius:var(--radius);background:#ffffff75}.empty-state h2,.empty-state p{margin:0}.empty-state p{margin-top:8px;color:var(--ink-muted);line-height:1.6}.post-list{padding:0;list-style:none}.post-list a{font-size:1.35rem;font-weight:780}.post-list time{display:block;margin-top:8px;color:var(--ink-muted)}.blog-post{max-width:760px}.blog-post .page-heading{margin-bottom:38px}.blog-post .page-heading h1{margin-bottom:18px;font-size:4.8rem;line-height:.94}.blog-post time{color:var(--ink-muted)}.blog-post p,.blog-post li{color:var(--ink-muted);font-size:1.06rem;line-height:1.72}.blog-post h2{margin-top:42px;font-size:1.8rem;line-height:1.15}.blog-post pre{overflow:auto;margin:28px 0;padding:18px;border:1px solid var(--code-line);border-radius:var(--radius);background:var(--code-bg)}@media(min-width:1280px){.hero-symbol{width:164px;height:164px;font-size:10rem}.hero h1{font-size:9.5rem}.logic-sequent{font-size:7.6rem}}@media(max-width:1120px){.styles-section{grid-template-columns:1fr}.logic-sequent{display:none}}@media(max-width:980px){:root{--page-gutter: 24px;--section-y: 78px}.hero,.section-band,.explore-section{grid-template-columns:1fr}.hero{min-height:auto;padding-top:46px}.style-row,.style-row-flipped{grid-template-columns:1fr}.style-row-flipped .style-copy,.style-row-flipped .code-panel{order:initial}}@media(max-width:640px){:root{--page-gutter: 16px;--section-y: 62px}.site-header{gap:12px}.brand{gap:8px}.site-nav{flex:1 1 auto;flex-wrap:nowrap;gap:clamp(0px,1vw,4px);min-width:0}.site-nav a{padding:6px clamp(2px,1.4vw,7px);font-size:clamp(.78rem,3.3vw,.9rem)}.hero-title-lockup{align-items:flex-end;gap:16px}.hero-symbol{width:110px;height:110px;font-size:6.8rem}.hero h1{font-size:5.5rem}.hero-lede{font-size:1.56rem}.action-row{display:grid;grid-template-columns:1fr}.button{width:100%}.community-row{grid-template-columns:repeat(2,minmax(0,1fr))}h2{font-size:2.26rem}h3{font-size:1.52rem}.code-panel pre{padding:16px}.hljs{font-size:.78rem}.page-heading h1,.blog-post .page-heading h1{font-size:3.6rem}}