:root{color-scheme:light;--bg: #ffffff;--text: #000000;--muted: #595959;--link: #005f5f;--visited: #531ab6;--border: #9f9f9f;--good: #006800;--bad: #a60000;--warn: #6f5500}:root[data-theme=dark]{color-scheme:dark;--bg: #000000;--text: #ffffff;--muted: #989898;--link: #00d3d0;--visited: #b6a0ff;--border: #646464;--good: #44bc44;--bad: #ff5f59;--warn: #d0bc00}*{box-sizing:border-box}html{font-size:16px}body{margin:0;background:var(--bg);color:var(--text);font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,monospace;line-height:1.65}main{width:min(680px,calc(100% - 2rem));margin:0 auto;padding:2rem 0 3rem}header{display:flex;justify-content:space-between;gap:1rem;padding-bottom:.75rem;border-bottom:1px dashed var(--border);font-size:.875rem}.home{color:var(--text);font-weight:700;text-decoration:none}.header-actions{display:flex;align-items:center;gap:3rem}.site-nav,.preferences{white-space:nowrap}.site-nav{display:flex;gap:1rem}button{margin:0;padding:0;border:0;background:none;color:var(--link);font:inherit;cursor:pointer}button:hover{text-decoration:underline}.about{display:flex;align-items:center;gap:1.5rem;margin:3.5rem 0 2rem}.about img{width:112px;height:112px;border:1px solid var(--border);object-fit:cover}.avatar-dark,:root[data-theme=dark] .avatar-light{display:none}:root[data-theme=dark] .avatar-dark{display:block}h1{margin:0;font-size:clamp(1.7rem,6vw,2.4rem);line-height:1.2}.role{margin:.4rem 0 0;color:var(--muted);font-size:.875rem}.bio{margin-bottom:3rem}section{margin:3rem 0}h2{margin:0 0 1rem;font-size:1rem}h2:before{content:"## ";color:var(--muted)}a{color:var(--link);text-underline-offset:.18em}a:visited{color:var(--visited)}a:hover{text-decoration-style:double}dl{margin:0}dl>div{display:grid;grid-template-columns:6.5rem 1fr;padding:.3rem 0}dt{color:var(--muted)}dt:before{content:"- "}dd{margin:0}.projects p+p{margin-top:1.5rem}.post{margin-top:4rem}.post h1{margin-bottom:.25rem}.post time{color:var(--muted);font-size:.8rem}.post-content{margin-top:2rem}.blog-index{margin-top:4rem}.post-list{margin:2.5rem 0 0;padding:0;list-style:none}.post-list li{margin-bottom:1.25rem}.post-list a{display:block;font-weight:700}.post-list span{display:block;color:var(--muted);font-size:.875rem}.missing-translation,.reading-year{margin-top:3rem}.reading-year h2{color:var(--muted)}.reading-list{margin:0;padding:0;list-style:none}.book{margin-bottom:2rem}.book-title{font-weight:700}.book-meta{margin:.15rem 0 .5rem;color:var(--muted);font-size:.8rem}.book-comment{margin:0}.book-status{color:var(--visited)}[hidden]{display:none!important}footer{display:flex;justify-content:space-between;margin-top:4rem;padding-top:.75rem;border-top:1px dashed var(--border);color:var(--muted);font-size:.75rem}.cursor{color:var(--link)}@media(max-width:620px){header{flex-wrap:wrap;align-items:baseline}.header-actions{display:contents}.site-nav{order:1;flex-basis:100%;margin-top:.5rem}}@media(max-width:520px){main{padding-top:1rem}.about{align-items:flex-start;margin-top:2.5rem}.about img{width:82px;height:82px}dl>div{grid-template-columns:1fr;margin-bottom:.65rem}}.research{margin-top:4rem}.research h1{margin-bottom:.75rem}.research-list{margin:3rem 0 0;padding:0;list-style:none}.research-item+.research-item{margin-top:3rem;padding-top:3rem;border-top:1px dashed var(--border)}.research-title{margin:0}.research-meta{margin:.15rem 0 .9rem;color:var(--muted);font-size:.8rem}.research-meta .sep{margin:0 .4rem}.research-status{color:var(--visited)}.research-summary{margin:0 0 .75rem}.research-links{margin:0;font-size:.875rem}.research-links .sep{margin:0 .5rem;color:var(--muted)}.docs-tabs{display:flex;flex-wrap:wrap;gap:.2rem 1.1rem;margin:0 0 2.5rem;font-size:.8rem}.docs-tabs a[aria-current=page]{color:var(--text);font-weight:700;text-decoration:none}.docs-tabs-end{margin:3.5rem 0 0;padding-top:1.5rem;border-top:1px dashed var(--border)}@media(min-width:1100px){.docs-tabs{position:fixed;top:9rem;right:calc(50% + 340px + 2.5rem);width:9rem;margin:0;flex-direction:column;flex-wrap:nowrap;gap:.4rem;text-align:right}.docs-tabs a[aria-current=page]:after{content:" ▸";color:var(--muted)}.docs-tabs-end{display:none}}.docs{margin-top:4rem}.docs h1{margin-bottom:.75rem}.docs h2{margin-top:2.5rem}.docs h3{margin:1.75rem 0 .5rem;font-size:.9rem}.docs h3:before{content:"### ";color:var(--muted)}.docs pre.flow{margin:0 0 1.25rem;padding-left:.75rem;border-left:2px solid var(--border);font-size:.8rem;line-height:1.5}.diagram{margin:0 0 2.25rem}.diagram svg{display:block;width:100%;height:auto}.diagram text{font-family:inherit}.diagram .lbl{fill:var(--text);font-size:13px;font-weight:700}.diagram .sub{fill:var(--muted);font-size:11px}.diagram .box,.diagram .wire{fill:none;stroke:var(--border)}.diagram .wire.dashed{stroke-dasharray:4 3}.diagram .node,.diagram .head{fill:var(--border);stroke:none}.diagram figcaption{margin-top:.6rem;color:var(--muted);font-size:.8rem}.code{margin:0 0 1.5rem}.code figcaption{margin-bottom:.35rem;color:var(--muted);font-size:.75rem}.code pre{margin:0;padding-left:.75rem;border-left:2px solid var(--border);font-size:.78rem;line-height:1.5}.parts{margin:0 0 1.25rem;padding:0;list-style:none}.parts li{margin-bottom:.6rem}.parts li:before{content:"- ";color:var(--muted)}.guide{margin:1.5rem 0 0}.guide>div{grid-template-columns:8.5rem 1fr;align-items:baseline;padding:.5rem 0}.guide dt:before{content:none}.thesis{margin-top:4rem}.thesis h1{margin-bottom:.75rem}.thesis h3{margin:2rem 0 .75rem;font-size:.9rem}.thesis h3:before{content:"### ";color:var(--muted)}.lead{margin:0 0 1rem}.note{margin:0 0 1.25rem;color:var(--muted);font-size:.8rem;max-width:62ch}.hint{color:var(--muted)}.model-block+.model-block{margin-top:2.5rem}.warning{margin:0 0 1.5rem;padding:.5rem .7rem;border:1px dashed var(--bad);color:var(--bad);font-size:.8rem}.warning:before{content:"!! "}:root,:root[data-theme=dark]{--grid: color-mix(in srgb, var(--border) 40%, var(--bg))}.chart{margin:0 0 1.75rem}.chart h3{margin:0 0 .5rem}.chart-caption{display:flex;justify-content:space-between;gap:1rem;margin:0 0 .4rem;font-size:.8rem}.chart-rows{display:grid;grid-template-columns:max-content minmax(5rem,1fr) max-content;gap:.3rem .8rem;align-items:center;font-size:.8rem}.chart-label{color:var(--muted)}.chart-value{font-variant-numeric:tabular-nums;white-space:nowrap}.lane{position:relative;height:1.15rem;border-right:1px solid var(--grid);background-image:linear-gradient(to right,var(--grid) 0 1px,transparent 1px);background-size:calc(100% / var(--divisions, 4)) 100%}.bar{position:absolute;inset:.2rem auto .2rem 0;width:var(--width);background:var(--series, var(--link))}.stack{position:absolute;inset:.2rem 0;display:flex}.stack>span{background:var(--series)}.whisker{position:absolute;top:50%;left:var(--from);right:calc(100% - var(--to));border-top:1px solid var(--text)}.whisker:before,.whisker:after{content:"";position:absolute;top:-.22rem;height:.45rem;border-left:1px solid var(--text)}.whisker:before{left:0}.whisker:after{right:0}.chart-axis{grid-column:2;display:flex;justify-content:space-between;color:var(--muted);font-size:.7rem;font-variant-numeric:tabular-nums}.legend{display:flex;flex-wrap:wrap;gap:.3rem 1.25rem;margin:0 0 .9rem;color:var(--muted);font-size:.75rem}.legend>span{display:inline-flex;align-items:center;gap:.4rem}.legend i{flex:none;width:.7rem;height:.7rem;background:var(--series)}.summary{display:flex;flex-wrap:wrap;gap:1rem 2.5rem;margin:2rem 0 3rem;padding:.9rem 0;border-top:1px dashed var(--border);border-bottom:1px dashed var(--border)}.summary>div{display:block;padding:0;margin:0}.summary dd{margin:0;font-size:1.6rem;line-height:1.1;font-variant-numeric:tabular-nums}.summary dt{color:var(--muted);font-size:.75rem}.summary dt:before{content:none}.scroller{overflow-x:auto}table.data{width:100%;border-collapse:collapse;font-size:.8rem;white-space:nowrap}table.data th,table.data td{padding:.35rem .75rem .35rem 0;text-align:left;font-weight:400;border-bottom:1px solid var(--border)}table.data thead th{color:var(--muted);border-bottom-style:dashed}table.data tbody th{font-weight:700}table.data tbody tr:last-child th,table.data tbody tr:last-child td{border-bottom:0}table.data .num{text-align:right;font-variant-numeric:tabular-nums}table.data td:last-child,table.data th:last-child{padding-right:0}.delta.good{color:var(--good)}.delta.bad{color:var(--bad)}.delta.neutral{color:var(--muted)}.status-ok{color:var(--good)}.status-no{color:var(--muted)}table.tasks tbody th a{font-weight:700}.crumbs{margin:0 0 .5rem;font-size:.8rem;color:var(--muted)}.crumbs .sep{margin:0 .4rem}.summary .of{font-size:.9rem;color:var(--muted)}.muted{color:var(--muted)}table.data td.issue-title{white-space:normal;max-width:48ch;min-width:22ch}.facts{margin:0;padding:0;list-style:none;font-size:.8rem}.facts li{margin:.3rem 0}.facts li:before{content:"- ";color:var(--muted)}.prompt{border:1px dashed var(--border);padding:1rem 1.1rem;margin:0;font-size:.82rem}.prompt>:first-child{margin-top:0}.prompt>:last-child{margin-bottom:0}.prompt h1{font-size:1rem;margin:0 0 .75rem}.prompt h2{font-size:.9rem;margin:1.25rem 0 .4rem}.prompt h2:before{content:none}.prompt h3{font-size:.85rem;margin:1rem 0 .3rem}.prompt ul,.prompt ol{padding-left:1.2rem}.prompt li{margin:.2rem 0}.prompt pre{overflow-x:auto;border-left:2px solid var(--border);padding-left:.75rem}@media(max-width:520px){.thesis{margin-top:2.5rem}.chart-rows{grid-template-columns:max-content 1fr max-content;gap:.3rem .5rem}.summary{gap:1rem 1.75rem}}