:root{color-scheme:light;--paper:#fff;--fg:#000;--muted:#555;--line:#000;--code-bg:#f8f8f8;--code-inline:#f4f4f4;--code-border:1px solid #ddd;--serif:"CMU Serif","Computer Modern","Latin Modern Roman","Times New Roman",serif;--mono:"CMU Typewriter Text","Computer Modern Typewriter","Latin Modern Mono","Courier New",monospace}[data-theme="dark"]{color-scheme:dark;--paper:#181818;--fg:#e0e0e0;--muted:#999;--line:#e0e0e0;--code-bg:#1e1e1e;--code-inline:#222;--code-border:1px solid #333}*{box-sizing:border-box}#ising{position:fixed;inset:0;z-index:-1;pointer-events:none}body{max-width:38rem;margin:0 auto;padding:2.5rem 1rem 3rem;font:1.05rem/1.6 var(--serif);color:var(--fg);background:transparent;text-align:justify;hyphens:auto;-webkit-hyphens:auto}main{position:relative;background:var(--paper);padding:1.8rem 2rem}main>:first-child{margin-top:0}p,ul,ol,pre,blockquote,table,div.sourceCode{margin:0 0 1em}h1,h2,h3{font-weight:bold;line-height:1.25;text-align:left}h1{font-size:1.6rem;margin:1.8rem 0 0.8rem}h2{font-size:1.3rem;margin:1.5rem 0 0.6rem}h3{font-size:1.1rem;margin:1.2rem 0 0.5rem}a{color:var(--fg);text-decoration-thickness:0.5px;text-underline-offset:2px}a:hover{text-decoration-thickness:1.5px}a:focus-visible,button:focus-visible{outline:2px solid var(--muted);outline-offset:2px}hr{border:0;border-top:0.5px solid var(--line);margin:1.5rem 0}img{display:block;max-width:min(100%,28rem);max-height:62vh;height:auto;margin:0 auto}p>img+em,p+p>em:only-child{display:block;margin:0.35rem auto 0;max-width:88%;color:var(--muted);text-align:center;font:italic 0.9rem/1.5 var(--serif)}blockquote{border-left:2px solid var(--line);padding-left:1rem;margin-left:0;font-style:italic}table{width:100%;border-collapse:collapse;font-size:0.95rem}th,td{border:1px solid var(--line);padding:0.4rem 0.55rem;text-align:left;vertical-align:top}thead th{font-weight:bold;border-bottom-width:2px}pre,code{font-family:var(--mono)}pre,div.sourceCode{border:var(--code-border);background:var(--code-bg)}pre{overflow-x:auto;padding:0.85rem;font-size:0.88rem;line-height:1.5}code{background:var(--code-inline);border:var(--code-border);padding:0.05rem 0.25rem;font-size:0.88em}pre code{background:transparent;border:0;padding:0}div.sourceCode{padding:0}pre.sourceCode{margin:0;border:0;background:transparent}pre>code.sourceCode{white-space:pre-wrap}pre>code.sourceCode>span{display:inline}.skip-link{position:absolute;left:-9999px;top:0;background:var(--paper);color:var(--fg);padding:0.5rem 0.75rem;border:1px solid var(--line)}.skip-link:focus{left:0.75rem;top:0.75rem}.theme-toggle{position:absolute;top:0.75rem;right:0.75rem;background:none;border:none;cursor:pointer;color:var(--muted);padding:0.3rem;line-height:0}.theme-toggle:hover{color:var(--fg)}.theme-toggle svg{width:18px;height:18px}.theme-toggle .icon-sun{display:none}.theme-toggle .icon-moon{display:block}[data-theme="dark"] .theme-toggle .icon-sun{display:block}[data-theme="dark"] .theme-toggle .icon-moon{display:none}.masthead{text-align:center;margin-bottom:2.5rem;padding-bottom:1.5rem;border-bottom:1px solid var(--line)}.masthead h1{margin:0 0 0.4rem;font-size:2.2rem;font-weight:normal;letter-spacing:0.04em;text-align:center}.masthead-nav{display:inline-flex;gap:0.4rem;align-items:center;flex-wrap:wrap;justify-content:center;color:var(--muted);font:0.88rem/1.2 var(--serif);font-variant:small-caps}.masthead-nav a{color:var(--muted)}.post-list{display:flex;flex-direction:column;gap:1.3rem}.post-entry{display:block;text-decoration:none;color:var(--fg)}.post-entry .post-title{display:block;font-size:1.1rem;line-height:1.35}.post-entry .post-meta{display:block;margin-top:0.15rem;font-size:0.84rem;color:var(--muted);font-variant:small-caps}.post-entry:hover .post-title{text-decoration:underline;text-decoration-thickness:0.5px;text-underline-offset:2px}.article-header{text-align:center;margin-bottom:0.5rem}.article-header h1{margin-bottom:0.3rem}.dateline{color:var(--muted);font:0.9rem/1.4 var(--serif);font-variant:small-caps}.article-footer{margin-top:2rem;font-size:0.9rem;padding-top:0.8rem;border-top:0.5px solid var(--line)}@media (max-width:600px){body{padding-top:2rem;font-size:0.97rem}main{padding:1.2rem 1rem}table{display:block;overflow-x:auto}}