:root{color-scheme:dark;--background:#0f1419;--surface:#191f26;--text:#c5c5c5;--heading:#e6e1cf;--border:#5c6773;--link:#39afd7;--accent:#ffb44c}html{scroll-behavior:auto}body{max-width:54rem;margin:0 auto;padding:1.5rem;background:var(--background);color:var(--text);font:1rem/1.65 ui-monospace,sfmono-regular,Menlo,Consolas,liberation mono,monospace}h1,h2,h3{color:var(--heading);line-height:1.3}h1{margin:1.5rem 0}h2{margin:0 0 1rem}main>section>h1::before,main>section>h2::before{content:">";margin-right:.5ch}h3{margin:0 0 .25rem;font-size:1.15rem}a{color:var(--link);text-decoration:none}a:hover{text-decoration:underline}a:focus-visible,button:focus-visible{outline:2px solid var(--accent);outline-offset:2px}#publications h3{font-size:1rem;font-weight:400;line-height:inherit}header{display:flow-root}#about{display:flow-root}#about .node-image{float:right;width:min(11.5rem,40%);height:auto;margin:0 0 1rem 1rem;border-radius:.5rem}main{clear:both}section{margin-top:3rem}article{display:flex;flex-direction:column;gap:.3rem;padding:1.5rem 0}article p{margin:.6rem 0}article>h3,article>p,article>.node-actions{margin:0}.author-other{color:#858b92}.node-actions{display:flex;flex-wrap:wrap;align-items:center;gap:.5rem 1.5rem;margin-top:1rem}.node-actions>a,.node-actions>button{display:inline-flex;align-items:center;gap:.35rem}button{border:0;padding:0;background:0 0;color:var(--link);font:inherit;cursor:pointer}button:hover{text-decoration:underline}.node-icon{width:1em;height:1em;flex:none}.old-school-dialog{box-sizing:border-box;width:min(42rem,calc(100vw - 2rem));max-height:calc(100vh - 2rem);padding:1.5rem;overflow:auto;border:1px solid var(--border);background:var(--surface);color:var(--text);font:inherit}.old-school-dialog::backdrop{background:rgba(0,0,0,.75)}.old-school-dialog form{float:right}.old-school-dialog h4{margin:0 0 1rem;color:var(--heading)}.old-school-dialog p{white-space:pre-line}pre{max-width:100%;padding:.75rem;overflow-x:auto;background:var(--surface)}.old-school-dialog pre{font-size:.8rem;line-height:1.5}code{white-space:pre}.content img{max-width:100%;height:auto}