@font-face{font-family:Charter;src:url(/fonts/charter_regular.woff2) format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:Charter;src:url(/fonts/charter_italic.woff2) format("woff2");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:Charter;src:url(/fonts/charter_bold.woff2) format("woff2");font-weight:700;font-style:normal;font-display:swap}@font-face{font-family:Charter;src:url(/fonts/charter_bold_italic.woff2) format("woff2");font-weight:700;font-style:italic;font-display:swap}@font-face{font-family:UnifrakturMaguntia;src:url(/fonts/unifrakturmaguntia.woff2) format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:IM Fell English SC;src:url(/fonts/im-fell-english-sc.woff2) format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:Cinzel Decorative;src:url(/fonts/cinzel-decorative.woff2) format("woff2");font-weight:700;font-style:normal;font-display:swap}:root{--bg: #fcfcfb;--surface: #f4f4f1;--ink: #141413;--muted: #5a5955;--rule: #dcdbd5;--code-bg: #f1f1ee;--link: #0f5499;--link-visited: #4d387a;--rubric: #8f1d14;--gold: #9a7b38;--serif: "Charter", "Bitstream Charter", "Sitka Text", Cambria, serif;--blackletter: "UnifrakturMaguntia", "Cinzel Decorative", "Charter", serif;--old-press: "IM Fell English SC", "Charter", serif;--sans: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif;--mono: ui-monospace, "SF Mono", Menlo, Consolas, "DejaVu Sans Mono", monospace;--measure: 62rem;--toc-width: 14rem;--toc-gap: 2.25rem;--gutter: clamp(.85rem, 2.5vw, 2rem)}:root[data-theme=dark]{--bg: #0c0d0e;--surface: #141618;--ink: #e6e5e0;--muted: #94969c;--rule: #26292e;--code-bg: #16181b;--link: #6cb2f7;--link-visited: #b098e6;--rubric: #d9534f;--gold: #c9a654}@media(prefers-color-scheme:dark){:root:not([data-theme=light]){--bg: #0c0d0e;--surface: #141618;--ink: #e6e5e0;--muted: #94969c;--rule: #26292e;--code-bg: #16181b;--link: #6cb2f7;--link-visited: #b098e6;--rubric: #d9534f;--gold: #c9a654}}:root[data-theme=dark] .post-body img.invertible{filter:invert(.88) hue-rotate(180deg)}@media(prefers-color-scheme:dark){:root:not([data-theme=light]) .post-body img.invertible{filter:invert(.88) hue-rotate(180deg)}}*,*:before,*:after{box-sizing:border-box}html{font-size:clamp(16px,.25vw + 15px,19px);-webkit-text-size-adjust:100%;text-size-adjust:100%}body{margin:0;background:var(--bg);color:var(--ink);font-family:var(--serif);line-height:1.55;font-kerning:normal;text-rendering:optimizeLegibility}::selection{background:var(--link);color:var(--bg)}a{color:var(--link);text-underline-offset:.18em;text-decoration-thickness:.06em}a:visited{color:var(--link-visited)}a:hover{text-decoration-thickness:.12em}:focus-visible{outline:2px solid var(--link);outline-offset:2px}.page{max-width:calc(var(--measure) + 2 * var(--gutter));margin:0 auto;padding:0 var(--gutter) 3rem}.site-header{display:flex;flex-wrap:wrap;align-items:flex-end;justify-content:space-between;gap:.75rem 1.5rem;padding:1.35rem 0 .9rem;margin-bottom:1.5rem;border-bottom:1px solid var(--rule)}.site-brand{display:inline-flex;align-items:flex-start;color:var(--ink);text-decoration:none;line-height:1;user-select:none}.site-brand:visited{color:var(--ink)}.init-t,.init-p,.init-c{font-family:var(--blackletter)}.stem-he,.stem-hysics,.stem-ompany{font-family:var(--old-press)}.brand-stack{display:inline-flex;flex-direction:column;align-items:flex-start}.word-the{display:inline-flex;align-items:flex-start;color:var(--muted);margin-right:.22rem;position:relative;top:.72rem}.init-t{font-size:1.55rem;line-height:.82;margin-right:-.02em}.stem-he{font-size:.92rem;line-height:.82;margin-top:.06rem;letter-spacing:.03em}.word-physics,.word-company{display:inline-flex;align-items:flex-start;color:var(--ink);line-height:.82}.word-company{margin-top:-.38rem;margin-left:2.35rem}.init-p,.init-c{display:inline-block;font-size:2.45rem;line-height:.82}.init-p{margin-right:.01em}.init-c{margin-right:-.06em}.stem-hysics,.stem-ompany{font-size:1.65rem;line-height:.82;letter-spacing:.04em;margin-top:.08rem}.site-nav{display:flex;align-items:center;gap:1.25rem;font-family:var(--sans);font-size:.82rem;padding-bottom:.15rem}.site-nav a,.site-nav a:visited{color:var(--muted);text-decoration:none}.site-nav a:hover{color:var(--ink)}.theme-toggle{display:inline-flex;align-items:center;justify-content:center;color:var(--muted);background:none;border:1px solid transparent;border-radius:6px;padding:.35rem;cursor:pointer;transition:color .15s ease,background-color .15s ease,border-color .15s ease}.theme-toggle:hover{color:var(--ink);background:var(--surface);border-color:var(--rule)}.theme-toggle[hidden],.theme-toggle .icon-sun{display:none}.theme-toggle .icon-moon,.theme-toggle[data-mode=dark] .icon-sun{display:block}.theme-toggle[data-mode=dark] .icon-moon{display:none}.tabs{display:flex;flex-wrap:wrap;gap:0 1.75rem;border-bottom:1px solid var(--rule);margin-bottom:1.35rem;font-family:var(--sans)}.tab{font:inherit;font-size:.9rem;font-weight:500;color:var(--muted);background:none;border:0;border-bottom:2px solid transparent;margin-bottom:-1px;padding:.55rem 0;cursor:pointer}.tab:hover{color:var(--ink)}.tab[aria-selected=true]{color:var(--ink);border-bottom-color:var(--link)}.project{margin-bottom:3rem}.project h2{font-size:1.35rem;margin:0 0 .75rem}.tabbed .project>h2{position:absolute;width:1px;height:1px;overflow:hidden;clip-path:inset(50%);white-space:nowrap}.project-summary{margin:0 0 1.25rem}.project-links{display:flex;flex-wrap:wrap;gap:1.25rem;margin:0 0 2.25rem;padding:.65rem .9rem;background:var(--surface);border-left:2px solid var(--link);font-family:var(--sans);font-size:.85rem}.project-links span{color:var(--muted)}.project-links a{font-family:var(--mono);font-size:.82rem;text-decoration:none}.project-links a:hover{text-decoration:underline}.section-heading{font-family:var(--sans);font-size:.8rem;font-weight:600;color:var(--muted);margin:0 0 1rem;padding-bottom:.4rem;border-bottom:1px solid var(--rule)}.note-list{list-style:none;margin:0;padding:0}.note-list>li{margin:0 0 1.6rem}.note-header{display:flex;flex-wrap:wrap;align-items:baseline;justify-content:space-between;gap:.5rem 1rem}.note-title{font-weight:700;color:var(--ink);text-decoration:none}.note-title:visited{color:var(--ink)}.note-title:hover{text-decoration:underline}.note-links{display:flex;gap:.75rem;font-family:var(--mono);font-size:.78rem}.note-links a{color:var(--link);text-decoration:none}.note-links a:hover{text-decoration:underline}.note-list p{margin:.3rem 0 0;color:var(--muted)}.empty-notes{color:var(--muted);font-style:italic}.post-header{margin-bottom:1.5rem}.post-header h1{font-size:2rem;line-height:1.2;margin:0 0 .6rem;text-wrap:balance}.note-project{margin:0 0 .5rem;font-family:var(--sans);font-size:.85rem}.note-project a,.note-project a:visited{color:var(--muted);text-decoration:none}.note-project a:hover{color:var(--ink);text-decoration:underline}.post-meta{display:flex;flex-wrap:wrap;gap:.5rem 1.25rem;margin:0;color:var(--muted);font-family:var(--sans);font-size:.85rem}.post-meta a{font-family:var(--mono);font-size:.8rem}.post-body{hanging-punctuation:first}.post-body p,.post-body li{text-wrap:pretty}.post-body p{margin:0 0 1.1em}.post-body h2,.post-body h3,.post-body h4{line-height:1.25;text-wrap:balance;margin:2.2em 0 .6em}.post-body h2{font-size:1.35rem}.post-body h3{font-size:1.1rem}.post-body h4{font-size:1rem;font-style:italic;font-weight:400}.post-body ul,.post-body ol{padding-left:1.5em;margin:0 0 1.1em}.post-body li{margin-bottom:.3em}.post-body li>ul,.post-body li>ol{margin:.3em 0 0}.post-body blockquote{margin:1.5em 0;padding-left:1.25em;border-left:2px solid var(--rule);color:var(--muted)}.post-body hr{border:0;border-top:1px solid var(--rule);margin:2.5em 0}.post-body img{display:block;max-width:100%;height:auto;margin:2em auto;cursor:zoom-in}.post-body .caption{margin:-1.25em 0 2em;color:var(--muted);font-size:.9rem}.post-body table{display:block;max-width:100%;overflow-x:auto;border-collapse:collapse;margin:1.5em 0;font-size:.9rem;font-variant-numeric:tabular-nums}.post-body th,.post-body td{padding:.35em .9em .35em 0;border-bottom:1px solid var(--rule);text-align:left;vertical-align:top}.post-body th{font-weight:700}.post-body .theorem,.post-body .lemma,.post-body .proposition,.post-body .corollary,.post-body .definition,.post-body .remark,.post-body .example,.post-body .proof{margin:1.5em 0}.post-body .theorem>p:last-child,.post-body .lemma>p:last-child,.post-body .proposition>p:last-child,.post-body .corollary>p:last-child,.post-body .definition>p:last-child,.post-body .remark>p:last-child,.post-body .example>p:last-child,.post-body .proof>p:last-child{margin-bottom:0}.post-body .theorem,.post-body .lemma,.post-body .proposition,.post-body .corollary{font-style:italic}.post-body .theorem strong,.post-body .theorem em,.post-body .lemma strong,.post-body .lemma em,.post-body .proposition strong,.post-body .proposition em,.post-body .corollary strong,.post-body .corollary em{font-style:normal}.post-body .proof>p:last-child:after{content:"∎";float:right;margin-left:1em}.post-body .footnotes{margin-top:3em;padding-top:1em;border-top:1px solid var(--rule);font-size:.9rem}.katex{font-size:1em}.katex-display{margin:1.4em 0;overflow-x:auto;overflow-y:hidden;padding:.2em 0;scrollbar-width:thin}code,pre,kbd{font-family:var(--mono);font-size:.85em}code{background:var(--code-bg);padding:.1em .3em;border-radius:3px}pre{background:var(--code-bg);padding:.9rem 1rem;overflow-x:auto;line-height:1.45;margin:1.5em 0;border-radius:3px}pre code{background:none;padding:0;font-size:1em}.post-nav{display:flex;justify-content:space-between;gap:2rem;margin-top:4rem;padding-top:1.5rem;border-top:1px solid var(--rule);font-family:var(--sans);font-size:.9rem}.post-nav a{max-width:48%}.post-nav span{display:block;color:var(--muted);font-size:.8rem}.post-nav .next{margin-left:auto;text-align:right}.toc{margin:0 0 1.75rem;font-family:var(--sans);font-size:.85rem}.toc summary{cursor:pointer;color:var(--muted)}.toc ol{list-style:none;margin:.5rem 0 0;padding:0}.toc ol ol{padding-left:1rem;margin:.2rem 0}.toc li{margin:.25rem 0}.toc a,.toc a:visited{color:var(--muted);text-decoration:none}.toc a:hover{color:var(--ink);text-decoration:underline}@media(min-width:1200px){.page.has-toc{max-width:calc(var(--measure) + var(--toc-gap) + var(--toc-width) + 2 * var(--gutter))}.has-toc .post{position:relative;max-width:var(--measure)}.toc-rail{position:absolute;top:0;left:calc(100% + var(--toc-gap));width:var(--toc-width);height:100%}.toc{position:sticky;top:2rem;max-height:calc(100vh - 4rem);overflow-y:auto;margin:0}.toc summary{pointer-events:none;list-style:none}.toc summary::-webkit-details-marker{display:none}}dialog.zoom{max-width:96vw;max-height:96vh;padding:0;border:0;background:#fff;cursor:zoom-out}dialog.zoom:focus-visible{outline:none}dialog.zoom img{display:block;max-width:96vw;max-height:96vh}dialog.zoom::backdrop{background:#000c}@media(max-width:40rem){.site-header{margin-bottom:1.25rem}.init-p,.init-c{font-size:2.25rem}.stem-hysics,.stem-ompany{font-size:1.45rem}.post-header h1{font-size:1.65rem}.post-nav{flex-direction:column;gap:1rem}.post-nav a{max-width:none}.post-nav .next{text-align:left;margin-left:0}}@media print{.site-nav,.site-footer,.toc,.post-nav{display:none}body{background:#fff;color:#000}a{color:inherit}}