:root{--accent: #2986d2;--accent-dark: #616161;--black: #2d2b2b;--gray: #686746;--gray-light: #9e9a81;--gray-dark: 34, 41, 57;--background: #f0ede9;--block: #e9e4d0}body{font-family:sans-serif;margin:auto;padding:0;padding-top:1rem;text-align:left;word-wrap:break-word;overflow-wrap:break-word;color:var(--black);background-color:var(--background);font-size:1rem;line-height:1.6rem;max-width:45rem}main{max-width:calc(100% - 2em);margin:auto;padding:3em 1em}h1,h2,h3,h4,h5,h6{margin:0 0 .5rem;color:var(--black);line-height:1.2}h1{font-size:3rem}h2{font-size:2.25rem;margin-top:5rem;margin-bottom:2rem}h3{font-size:2em}h4{font-size:1.5em}h5{font-size:1.25em}strong,b{font-weight:700}a,a:hover{color:var(--accent)}p{margin-bottom:1em}.prose p{margin-bottom:2em}ul{margin:0 0 2em}textarea{width:100%;font-size:1rem}input{font-size:1rem}table{width:100%;border-collapse:collapse;font-family:monospace;font-size:.8rem;margin-bottom:2em;margin-top:-1rem;line-height:1.2rem;overflow:scroll;max-width:100%;display:block}tr{margin:1rem}th{margin-top:0}td,th{vertical-align:top;border:var(--gray) 1px dotted;padding:.25rem .5rem .25rem .25rem}tbody tr:nth-child(odd){background-color:var(--block)}img{max-width:100%;height:auto;border-radius:5px}code{padding:2px 5px;background-color:rgb(var(--gray-light));border-radius:2px;font-size:1rem}pre{padding:1.5em;border-radius:8px}pre>code{all:unset}.katex-display{max-width:100%;overflow-x:scroll;overflow-y:hidden;display:block;padding:1.5rem 1rem;background-color:var(--block);border-radius:1rem;font-size:.9rem}mrow{overflow:hidden;max-width:100%}blockquote{border-left:4px solid var(--accent);padding:0 0 0 20px;margin:0;font-size:1rem}hr{border:none;border-top:1px solid rgb(var(--gray-light))}details{margin-bottom:1rem;border-bottom:1px dotted var(--gray-light)}details>p{margin:.75rem 0rem!important;padding-left:2rem}summary{font-weight:700}@media (max-width: 720px){body{font-size:18px}main{padding:1em}}.hero-image img{max-height:20rem;object-fit:cover}.date{margin:0;color:var(--gray);font-family:monospace;font-size:.8rem}.subtitle{font-family:monospace;color:var(--gray-light);font-size:.8rem;margin:0}.katex-html{display:none}.sr-only{border:0;padding:0;margin:0;position:absolute!important;height:1px;width:1px;overflow:hidden;clip:rect(1px 1px 1px 1px);clip:rect(1px,1px,1px,1px);clip-path:inset(50%);white-space:nowrap}.filter-controls{display:flex;margin:1rem 0;gap:1rem}.filter-controls button{color:gray}@media only screen and (max-device-width: 800px){body{font-size:1rem;line-height:1.5rem}main{padding:.5rem}h1{font-size:1.7rem}table,.katex-display{font-size:.8rem}}article{max-width:100%}.toc-section{position:fixed;left:2rem;width:20vw;top:7rem;padding-bottom:1rem;margin-bottom:1rem}.toc-section ul{margin-top:-1rem}.toc-item{margin-top:.5rem}@media (max-width: 1200px){.toc-section{position:relative;width:100%;left:0;top:0;border-bottom:1px dotted rgb(var(--gray-dark))}.toc-item{margin-top:.25rem}}.prose{width:100%;max-width:100%;margin:auto;color:rgb(var(--gray-dark))}.title{margin:2rem 0;text-align:left;line-height:1;color:rgb(var(--gray-dark))}.date{margin:1rem 0;color:var(--gray);font-family:monospace}.authors{margin:1rem 0;padding:2rem 0;font-size:.9rem;line-height:1.2;white-space:pre-line;font-family:monospace;color:var(--gray);border-bottom:1px dotted var(--gray);border-top:1px dotted var(--gray)}.hero-image{margin-bottom:0}.last-updated-on{font-style:italic}.toc-link{font-size:.9rem;white-space:pre-line;font-family:monospace;color:var(--gray)}.toc-link:hover{text-decoration:underline;color:var(--black)}a[data-astro-cid-eimmu3lg]{display:inline-block;text-decoration:none}a[data-astro-cid-eimmu3lg].active{text-decoration:underline}header[data-astro-cid-3ef6ksr2]{margin:0 0 1.5rem;padding:0 1em}h2[data-astro-cid-3ef6ksr2]{margin:0;font-size:1em}h2[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2],h2[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2].active{text-decoration:none}nav[data-astro-cid-3ef6ksr2]{display:flex;align-items:center;justify-content:space-between}nav[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2]{color:var(--black);text-decoration:none}nav[data-astro-cid-3ef6ksr2] a[data-astro-cid-3ef6ksr2].active{text-decoration:none}footer[data-astro-cid-sz7xmlte]{padding:1rem 1rem 4rem;color:rgb(var(--gray));text-align:left}.social-links[data-astro-cid-sz7xmlte]{display:flex;gap:1em;margin-top:1em}.social-links[data-astro-cid-sz7xmlte] a[data-astro-cid-sz7xmlte]{text-decoration:none;color:rgb(var(--gray));max-width:50px}.social-links[data-astro-cid-sz7xmlte] a[data-astro-cid-sz7xmlte]:hover{color:rgb(var(--gray-dark))}