*,*::before,*::after{margin:0;padding:0;box-sizing:border-box}html{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5}body{font-family:inter,system-ui,-apple-system,sans-serif;font-size:.875rem;line-height:1.5;color:#111;background:#fafafa;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}.dark body{color:#e5e5e5;background:#111}.max-w-screen-md{max-width:600px}.mx-auto{margin-left:auto;margin-right:auto;padding-left:2rem;padding-right:2rem}.hero{text-align:center;padding:4.5rem 0 3rem}.hero-symbol{font-family:juliamono,ui-monospace,monospace;font-size:clamp(6rem,15vw,12rem);line-height:1;color:#111;display:block;text-rendering:geometricPrecision}.dark .hero-symbol{color:#e5e5e5}.project-list{margin:0 auto 3rem}.project-item{display:grid;grid-template-columns:8rem 1fr;gap:0 1.5rem;margin-bottom:.75rem;align-items:baseline}.project-name{font-weight:600;color:inherit;text-decoration:underline;white-space:nowrap}.project-name:hover{text-decoration-thickness:2px}.project-desc{color:#444}.dark .project-desc{color:#bbb}#content p{margin-bottom:1.5rem}h1,h2,h3,h4,h5,h6{font-weight:700;color:#111;margin-top:3rem;margin-bottom:1.5rem}h1:first-child,h2:first-child,h3:first-child,h4:first-child,h5:first-child,h6:first-child{margin-top:0}.dark h1,.dark h2,.dark h3,.dark h4,.dark h5,.dark h6{color:#e5e5e5}h1{font-size:1.75rem;line-height:1.2}h2{font-size:1.5rem;line-height:1.2}h3{font-size:1.25rem;line-height:1.3}h4{font-size:1.125rem;line-height:1.4}h5{font-size:1rem;line-height:1.5}h6{font-size:.875rem;line-height:1.5}#content a{color:inherit;text-decoration:underline}#content a:hover{text-decoration-thickness:2px}ul{list-style-type:disc;margin-left:1.5rem;margin-bottom:1.5rem}ol{list-style-type:decimal;margin-left:1.5rem;margin-bottom:1.5rem}li{margin-bottom:.25rem}code{font-family:juliamono,ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,monospace}strong{font-weight:700}em{font-style:italic}.katex-display{overflow-x:auto;overflow-y:hidden;margin:1.5rem 0}.section-label{font-weight:600;font-size:1.125rem;line-height:1.5;color:#111;margin-bottom:1.5rem}.dark .section-label{color:#e5e5e5}.concept-header{margin-bottom:.125rem}.concept-abbr{font-weight:700;font-size:1rem;line-height:1.5;color:#111;letter-spacing:.025em;display:inline-block;min-width:4rem}.dark .concept-abbr{color:#e5e5e5}.concept-name{color:#555;font-weight:400;margin-left:.5rem}.dark .concept-name{color:#999}.def-row{margin-bottom:1.5rem}.def-formal p,.def-plain p{margin-bottom:.75rem}.def-formal ol{margin-left:1.5rem;margin-bottom:.75rem}.def-formal li{margin-bottom:.25rem}.def-plain{color:#555}.dark .def-plain{color:#999}hr{border:none;border-top:1px solid #ddd;margin:1.5rem 0}.dark hr{border-top-color:#333}.toc{text-align:center;margin-bottom:3rem;display:flex;flex-direction:column;align-items:center;gap:.375rem}.toc a{color:#555;text-decoration:none;font-size:.875rem}.toc a:hover{text-decoration:underline}.dark .toc a{color:#999}details{margin-bottom:1.5rem}details>summary{cursor:pointer;list-style:none;font-weight:600;font-size:1.125rem;line-height:1.5;color:#111;margin-bottom:1.5rem;text-align:center}details>summary::-webkit-details-marker{display:none}details>summary::before{content:'∇';font-family:juliamono,ui-monospace,monospace;font-size:.65em;display:inline-block;margin-right:.5rem;vertical-align:middle;transition:transform .15s ease;transform:rotate(-90deg)}details[open]>summary::before{transform:rotate(0)}.dark details>summary{color:#e5e5e5}.site-footer{text-align:center;padding:3rem 0 1.5rem;color:#999;font-size:.75rem}.site-footer a{color:#999;text-decoration:underline}.site-footer a:hover{color:#555}.dark .site-footer a:hover{color:#ccc}@media(max-width:640px){.hero{padding:3rem 0 1.5rem}.project-item{grid-template-columns:1fr;gap:.125rem 0}}.def-plain{border-left:2px solid #ddd;padding-left:1rem;color:#333;font-size:.9375rem;line-height:1.6}.dark .def-plain{border-left-color:#333;color:#bbb}