:root{--bg:#fff;--bg-soft:#f0f0f0;--ink:#000;--muted:#666;--accent:#00e;--accent-bg:#0000ee12;--rule:#ccc;--desk:#dcdcdc;--frame:#999;--sans:Arial,"Helvetica Neue",Helvetica,sans-serif;--mono:Monaco,Consolas,"Lucida Console",monospace;--measure:42rem;--gutter:6.25rem;--fs-xs:.78rem;--fs-sm:.82rem;--fs-md:.9rem;--gap-row:.5rem;--gap-col:.8rem}html{background:var(--desk)}*{box-sizing:border-box}body{max-width:var(--measure);background:var(--bg);border:1px solid var(--frame);color:var(--ink);font-family:var(--sans);-webkit-text-size-adjust:100%;text-rendering:optimizeLegibility;margin:clamp(0rem,3vw,2.25rem) auto;padding:clamp(1.5rem,4vw,2.5rem) clamp(1.1rem,4vw,2.5rem) 2.5rem;font-size:1rem;line-height:1.5}a{color:var(--accent);text-decoration:underline}a:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.skip{z-index:10;font-size:var(--fs-xs);color:var(--accent);background:var(--bg);border:1px solid var(--accent);padding:.5rem .8rem;text-decoration:none;transition:top .15s;position:absolute;top:-3.5rem;left:.5rem}.skip:focus{top:.5rem}.masthead{margin-bottom:2.75rem}.masthead.home{justify-content:space-between;align-items:baseline;gap:var(--gap-row)1.5rem;border-bottom:1px solid var(--rule);flex-wrap:wrap;padding-bottom:1rem;display:flex}.nav{font-size:var(--fs-sm);gap:var(--gap-row)var(--gap-col);flex-wrap:wrap;display:flex}.nav a{text-decoration:none}h1{text-wrap:balance;margin:.2rem 0 .55rem;font-size:clamp(1.7rem,5vw,2.1rem);line-height:1.14}section{margin-block:2.75rem}p{text-wrap:pretty}.links{grid-template-columns:var(--gutter)1fr;align-items:baseline;gap:0 1rem;margin:0;display:grid}.links dt,.links dd{margin:0;padding:.55rem 0}.links dt{font-size:var(--fs-md);white-space:nowrap;font-weight:700}.log{margin:0 0 .6rem;padding:0;list-style:none}.log li{grid-template-columns:var(--gutter)1fr;align-items:baseline;gap:0 1rem;padding:.4rem 0;display:grid}.log time{font-size:var(--fs-sm);color:var(--muted);white-space:nowrap}.more{font-size:var(--fs-sm);padding-left:calc(var(--gutter) + 1rem)}.more a{text-decoration:none}.group{margin-bottom:2rem}.pinned{border-left:2px solid var(--accent);padding:.1rem 0 .1rem 1.1rem}.pinned p{margin:0}.pinned+.log{margin-top:1rem}.pinned+.log+.more{padding-left:0}.banners{align-items:center;gap:var(--gap-row)var(--gap-col);flex-wrap:wrap;margin:1rem 0 0;display:flex}.banners img{width:auto;height:60px}.back{font-size:var(--fs-sm);margin-bottom:2rem;text-decoration:none;display:inline-block}.article-head{margin-bottom:2.2rem}.byline{font-size:var(--fs-sm);color:var(--muted)}.byline span{opacity:.5;margin:0 .4rem}.prose p{margin:0 0 1.15rem}.prose p:has(+.math-block){margin-bottom:0}.prose h2{text-wrap:balance;margin:2.5rem 0 .9rem;font-size:1.4rem;line-height:1.2}.prose h3{margin:1.9rem 0 .55rem;font-size:1.12rem}.prose ul,.prose ol{margin:0 0 1.15rem;padding-left:1.3rem}.prose li{margin:.3rem 0}blockquote{border-left:2px solid var(--accent);color:var(--muted);margin:1.5rem 0;padding:.15rem 0 .15rem 1.15rem;font-style:italic}blockquote p:last-child{margin-bottom:0}code{font-family:var(--mono);background:var(--bg-soft);padding:.1em .35em;font-size:.86em}pre{font-family:var(--mono);background:var(--bg-soft);border:1px solid var(--rule);margin:1.4rem 0;padding:1rem 1.1rem;font-size:.82rem;line-height:1.5;overflow-x:auto}pre code{font-size:inherit;background:0 0;padding:0}table{border-collapse:collapse;width:100%;font-size:var(--fs-md);margin:1.4rem 0}th,td{text-align:left;border-bottom:1px solid var(--rule);padding:.45rem .6rem}hr{border:none;border-top:1px solid var(--rule);margin:2.6rem 0}.footnotes{font-size:var(--fs-sm);color:var(--muted)}footer{border-top:1px solid var(--rule);font-size:var(--fs-sm);color:var(--muted);margin-top:3.5rem;padding-top:1.25rem}footer .meta,.attr{font-size:var(--fs-xs)}.attr{margin-bottom:.7rem}.footlinks{font-size:var(--fs-xs);gap:var(--gap-row)var(--gap-col);flex-wrap:wrap;margin-top:.6rem;display:flex}.footlinks a{text-decoration:none}.nw{white-space:nowrap}img{max-width:100%;height:auto}figure{margin:1.6rem 0}figure>img{width:100%}figcaption{font-size:var(--fs-sm);color:var(--muted);margin-top:.4rem}math{font-size:1.12em}.math-block{margin:1.6rem 0;overflow-x:auto}math[display=block]{margin:0}:target{background:var(--accent-bg)}.footnote-ref{font-size:.75em}.gravatar{float:left;border:1px solid var(--frame);width:8.5rem;margin:.2rem 1.2rem .5rem 0}.grid{grid-template-columns:var(--gutter)1fr;align-items:baseline;gap:1rem;margin:0 0 1.3rem;display:grid}.grid .timespan{font-size:var(--fs-xs);color:var(--muted)}.grid .timespan>span{white-space:nowrap}.bp,.cp,.cs,.k,.kc,.kd,.kn,.kp,.kr,.kt,.nb,.ow{font-weight:700}.c,.c1,.ch,.cm,.cpf{color:var(--muted);font-style:italic}.cp,.cs{color:var(--muted)}.bp,.kd,.nb{font-style:italic}.dl,.s,.s1,.s2,.sa,.sb,.sc,.sd,.se,.sh,.si,.sr,.ss,.sx{color:var(--accent);font-style:italic}.fm,.nc,.nf,.nn,.no,.nv,.vc,.vg,.vi,.vm{color:var(--accent);font-style:italic;font-weight:700}.err{outline:1px solid #b00020}@media (width<=30rem){.log li,.grid{grid-template-columns:1fr;gap:.15rem}.links{grid-template-columns:1fr}.links dt{padding:.55rem 0 0}.links dd{padding-top:.15rem}.more{padding-left:0}.gravatar{float:none;width:6.5rem}}@media (prefers-reduced-motion:reduce){.skip{transition:none}}@media print{html{background:#fff}body{color:#000;background:#fff;border:none;max-width:none;margin:0;padding:0;font-size:11pt;line-height:1.5}.skip,.nav,.more,.back{display:none}a{color:#000;text-decoration:underline}pre,blockquote,table,figure{break-inside:avoid}h1,h2,h3{break-after:avoid}pre{white-space:pre-wrap}}