@font-face{font-family:libertinus serif;src:url(/fonts/LibertinusSerif-Regular.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:libertinus serif;src:url(/fonts/LibertinusSerif-Italic.woff2)format("woff2");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:libertinus serif;src:url(/fonts/LibertinusSerif-Bold.woff2)format("woff2");font-weight:700;font-style:normal;font-display:swap}:root{--bg:#fbfaf6;--bg-2:#eef4f9;--fg:#1f2429;--muted:#5d6670;--brand:#186a9e;--brand-2:#17628f;--on-brand:#ffffff;--accent:#c23e27;--ink:#17628f;--rule:#cfdbe5;--fill:#d6e9f7;--fill-2:#f6efdf;--card:#ffffff;color-scheme:light}@media(prefers-color-scheme:dark){:root:not([data-theme=light]){--bg:#14191e;--bg-2:#1b232b;--fg:#e6e9ec;--muted:#a3adb7;--brand:#163a52;--brand-2:#6db6ea;--on-brand:#e6f1fa;--accent:#f0866f;--ink:#6db6ea;--rule:#2c3944;--fill:#1f3a4f;--fill-2:#2a2620;--card:#1b232b;color-scheme:dark}}:root[data-theme=dark]{--bg:#14191e;--bg-2:#1b232b;--fg:#e6e9ec;--muted:#a3adb7;--brand:#163a52;--brand-2:#6db6ea;--on-brand:#e6f1fa;--accent:#f0866f;--ink:#6db6ea;--rule:#2c3944;--fill:#1f3a4f;--fill-2:#2a2620;--card:#1b232b;color-scheme:dark}html{font-size:106.25%;-webkit-text-size-adjust:100%}body{margin:0;background:var(--bg);color:var(--fg);font-family:libertinus serif,linux libertine,Georgia,times new roman,serif;line-height:1.5;font-variant-numeric:oldstyle-nums proportional-nums;font-feature-settings:"liga","kern"}.wrap{max-width:72rem;margin:0 auto;padding:0 1.5rem}a{color:var(--brand-2);text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:.15em}a:hover{text-decoration-thickness:2px}abbr[title]{text-decoration:none;border-bottom:1px dotted var(--muted)}code{font-family:ui-monospace,sf mono,Menlo,Consolas,monospace;font-size:.85em}.skip{position:absolute;left:-100vw;top:.5rem}.skip:focus{left:.5rem;background:var(--bg);padding:.25rem .5rem}.site-head{background:var(--brand);color:var(--on-brand)}.site-head .wrap{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:.5rem 2rem;min-height:3.6rem}.mark{display:inline-flex;align-items:center;gap:.6rem;color:inherit;text-decoration:none;font-variant-caps:small-caps;letter-spacing:.06em;font-size:1.25rem}.mark img{width:1.6rem;height:1.6rem}.site-head nav{display:flex;flex-wrap:wrap;align-items:center;gap:.2rem 1.4rem;font-variant-caps:small-caps;letter-spacing:.05em;font-size:1.05rem}.site-head nav a{color:var(--on-brand);opacity:.85;text-decoration:none;padding:.9rem 0}.site-head nav a:hover,.site-head nav a[aria-current]{opacity:1}.site-head nav a[aria-current]{box-shadow:inset 0 -3px 0 var(--on-brand)}.site-head nav .lang{font-variant-caps:normal;letter-spacing:0;font-style:italic}.theme{font:inherit;font-variant-caps:normal;letter-spacing:0;color:var(--on-brand);background:rgba(255,255,255,8%);border:1px solid rgba(255,255,255,.45);border-radius:999px;padding:.1rem .7rem;cursor:pointer}.theme:hover{background:rgba(255,255,255,.1)}h1,h2,h3{font-weight:400;line-height:1.15;margin:0 0 .5em}h1{font-size:2.8rem;letter-spacing:-.01em}h2{font-size:1.6rem;margin-top:1.8em;color:var(--ink)}h3{font-size:1.15rem;margin-top:1.4em;font-style:italic;color:var(--ink)}p,ul,ol,dl{margin:0 0 1em}ul,ol{padding-left:1.3em}li{margin-bottom:.25em}.lede{font-size:1.3rem;line-height:1.35;color:var(--muted);margin:0 0 1.5rem}.prose{max-width:62ch}main{padding-top:3rem;padding-bottom:3rem}main.home{padding-top:0}.band{background:linear-gradient(180deg,var(--bg-2),var(--bg))}.hero{display:grid;grid-template-columns:3fr 2fr;gap:2rem 4rem;align-items:center;padding-top:3rem;padding-bottom:2.5rem}.hero h1{font-size:3.6rem;color:var(--brand-2)}.hero .diagram{margin:0}.tiles{display:grid;grid-template-columns:repeat(3,1fr);gap:1.5rem;margin:2rem 0}.tile{display:block;padding:1.1rem 1.25rem 1.3rem;background:var(--card);border:1px solid var(--rule);border-top:4px solid var(--brand-2);box-shadow:0 1px 3px rgba(0,0,0,6%);color:inherit;text-decoration:none;transition:transform .15s ease,border-color .15s ease}.tile:hover{border-top-color:var(--accent);transform:translateY(-2px)}.tile strong{display:block;font-weight:400;font-size:1.25rem;color:var(--brand-2);margin-bottom:.3rem}.tile span{color:var(--muted)}.columns{display:grid;grid-template-columns:repeat(2,1fr);gap:2rem 4rem}.columns h2{margin-top:1rem}.article{display:grid;grid-template-columns:minmax(0,3fr)minmax(15rem,1fr);gap:2rem 4rem}.article .prose{max-width:none}.article header{grid-column:1/-1}.article aside{font-size:.95rem;color:var(--muted);border-left:1px solid var(--rule);padding-left:1.5rem}.article aside h2{margin-top:0;font-size:1.05rem;font-variant-caps:small-caps;letter-spacing:.05em;color:var(--muted)}.article aside h2+h2,.article aside ul+h2,.article aside dl+h2{margin-top:1.6rem}.article aside ul{padding-left:1.1em}.article aside li{margin-bottom:.5em}dl{display:grid;grid-template-columns:max-content 1fr;gap:.35em 1.2em}dt{color:var(--ink)}dd{margin:0}.article aside dl{grid-template-columns:1fr;gap:0}.article aside dd{margin-bottom:.6em;color:var(--fg)}.diagram{margin:1.5rem 0}.diagram svg{display:block;width:100%;height:auto;color:var(--ink)}.diagram .hyper{fill:var(--fill-2)}.diagram .class{fill:var(--fill)}.diagram .object{fill:var(--accent)}.diagram .label{fill:var(--fg)}.diagram figcaption,.figure figcaption{font-size:.9rem;color:var(--muted);margin-top:.5rem}.figure{margin:1.5rem 0}.figure img{display:block;width:100%;max-width:44rem;height:auto;margin:0 auto}.figure figcaption{text-align:center}.todo{margin:1.2rem 0;padding:.7rem 1rem;border:1px dashed var(--accent);background:var(--fill-2);font-size:.95rem}.todo p{margin:0 0 .4em}.todo-label{color:var(--accent);margin-bottom:.2em}.todo-help{color:var(--muted);font-size:.85rem;margin-bottom:0}.site-foot{border-top:3px solid var(--brand);background:var(--bg-2);padding:1rem 0 2rem;font-size:.9rem;color:var(--muted)}.site-foot p{margin:0}.site-foot .revised{margin-top:.3rem;font-size:.85rem;font-variant-caps:small-caps;letter-spacing:.04em}@media(max-width:56rem){.hero,.columns,.article{grid-template-columns:1fr}.tiles{grid-template-columns:1fr}.article aside{border-left:0;border-top:1px solid var(--rule);padding-left:0;padding-top:1.5rem}.hero h1{font-size:2.6rem}h1{font-size:2.1rem}.site-head nav a{padding:.4rem 0}}