:root{--bg:#ffffff;--panel:#eef1f4;--code-bg:#f4f6f8;--ink:#18202c;--muted:#5b6577;--line:#d8dde5;--accent:#1d64d8;--accent-ink:#ffffff;--kw:#1d64d8;--ty:#6f42c1;--num:#9a4d00;--str:#8a3b12;--com:#5b6577;--font-body:"IBM Plex Sans JP", -apple-system, BlinkMacSystemFont, "Hiragino Sans", "Yu Gothic UI", "Segoe UI", sans-serif;--font-latin:"IBM Plex Sans", "IBM Plex Sans JP", -apple-system, BlinkMacSystemFont, "Segoe UI", "Hiragino Sans", "Yu Gothic UI", sans-serif;--font-code:"JetBrains Mono", "Noto Sans Math", ui-monospace, "SFMono-Regular", Menlo, Consolas, monospace}@media(prefers-color-scheme:dark){:root{--bg:#11151b;--panel:#171c24;--code-bg:#171c24;--ink:#e5e9f0;--muted:#98a2b3;--line:#2a313c;--accent:#6ea8fe;--accent-ink:#0b1a33;--kw:#6ea8fe;--ty:#c4a7ff;--num:#f0a868;--str:#e8b48a;--com:#98a2b3}}*,*::before,*::after{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{margin:0;background:var(--bg);color:var(--ink);font:17px/1.85 var(--font-body)}html:lang(en) body{font-family:var(--font-latin);line-height:1.7}.other-lang .t:lang(en),a[lang|=en]{font-family:var(--font-latin)}a{color:var(--accent);text-underline-offset:.15em}a:hover{text-decoration-thickness:2px}:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.wrap{max-width:46rem;margin:0 auto;padding:0 1.25rem}.skip{position:absolute;left:-999px}.skip:focus{left:1rem;top:1rem;background:var(--bg);padding:.5rem 1rem;z-index:1}.visually-hidden{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap}.site-header{border-bottom:1px solid var(--line)}.site-footer{border-top:1px solid var(--line);background:var(--panel);margin-top:4rem;font-size:.875rem;color:var(--muted)}.bar{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:.5rem 1.5rem;padding-top:.75rem;padding-bottom:.75rem}.brand{font-family:var(--font-code);font-weight:600;font-size:1.15rem;color:var(--accent);text-decoration:none}.nav{display:flex;flex-wrap:wrap;align-items:center;gap:.25rem 1.1rem;font-size:.95rem}.nav>a{color:var(--ink);text-decoration:none;padding:.6rem 0}.site-footer .nav>a{color:var(--muted)}.nav>a:hover{color:var(--accent)}.lang{display:inline-flex;border:1px solid var(--line);border-radius:8px;overflow:hidden;font-size:.85rem}.lang>*{padding:.45rem .75rem;text-decoration:none;color:var(--ink)}.lang>[aria-current]{background:var(--accent);color:var(--accent-ink)}.lang>a:hover{background:var(--panel)}.intro{padding:2.5rem 0 .5rem;color:var(--muted)}.intro p{margin:0}.list-head{padding-top:2.5rem}.list-head h1{font-size:1.6rem;margin:0 0 .25rem}.postlist{list-style:none;padding:0;margin:1.5rem 0 0}.postlist>li{padding:1.25rem 0;border-top:1px solid var(--line)}.postlist h2{font-size:1.3rem;line-height:1.45;margin:.15rem 0 .35rem}.postlist h2 a{color:var(--ink);text-decoration:none}.postlist h2 a:hover{color:var(--accent)}.summary{margin:0;color:var(--muted);font-size:.95rem}.meta{margin:0;color:var(--muted);font-size:.875rem}.terms{padding-left:1.2rem}.count{color:var(--muted)}.post-head{padding-top:2.5rem}.post-head h1{font-size:2rem;line-height:1.35;margin:.4rem 0 1.25rem}.other-lang{display:flex;flex-direction:column;padding:.75rem 1rem;border:1px solid var(--line);border-radius:10px;background:var(--panel);color:var(--ink);text-decoration:none;line-height:1.5}.other-lang:hover{border-color:var(--accent)}.other-lang .small{font-size:.8rem;color:var(--muted)}.other-lang .t{font-weight:600}.cover{margin:1.5rem 0 0}.cover img,.shot img{display:block;width:100%;height:auto;border-radius:10px;border:1px solid var(--line);background:var(--panel)}.shot{margin:1.75rem 0}.shot a,.shot picture{display:block}.shot figcaption{margin-top:.5rem;font-size:.85rem;color:var(--muted);text-align:center}.post-foot{margin-top:3rem;padding-top:1rem;border-top:1px solid var(--line)}.prose{margin-top:2rem;overflow-wrap:anywhere}.prose h2{font-size:1.45rem;line-height:1.4;margin:2.75rem 0 .75rem}.prose h3{font-size:1.15rem;margin:2rem 0 .5rem}.prose p,.prose ul,.prose ol{margin:0 0 1.1em}.prose li+li{margin-top:.3em}.prose code{font-family:var(--font-code);font-size:.88em;background:var(--code-bg);padding:.1em .35em;border-radius:4px}.prose pre code{background:0 0;padding:0;font-size:inherit}.prose .katex-display{overflow-x:auto;overflow-y:hidden;padding:.25rem 0}.prose pre,.highlight pre{margin:1.5rem 0;padding:1rem 1.1rem;background:var(--code-bg);border:1px solid var(--line);border-radius:10px;max-width:100%;overflow-x:auto;overscroll-behavior-x:contain;overflow-wrap:normal;font-family:var(--font-code);font-size:.85rem;line-height:1.7}.highlight{margin:1.5rem 0}.highlight pre{margin:0}.chroma .k,.chroma .kn,.chroma .kd,.chroma .kr,.chroma .kc{color:var(--kw);font-weight:600}.chroma .kt,.chroma .nc,.chroma .nb{color:var(--ty)}.chroma .m,.chroma .mi,.chroma .mf{color:var(--num)}.chroma .s,.chroma .s1,.chroma .s2,.chroma .sc{color:var(--str)}.chroma .c,.chroma .c1,.chroma .cm,.chroma .cs{color:var(--com);font-style:italic}html:has(.lightbox[open]){overflow:hidden}.lightbox{position:fixed;inset:0;width:100%;height:100%;max-width:none;max-height:none;margin:0;padding:0;border:0;background:#0b0d11;color:#f2f4f7;overflow:hidden}.lightbox[open]{display:grid;grid-template-rows:minmax(0,1fr)auto}.lightbox::backdrop{background:#0b0d11}.lb-stage{position:relative;overflow:hidden;touch-action:none;user-select:none;-webkit-user-select:none}.lb-stage.lb-pannable{cursor:grab}.lb-stage.lb-pannable:active{cursor:grabbing}.lb-stage img{position:absolute;left:0;top:0;max-width:none;transform-origin:0 0;-webkit-user-drag:none;image-rendering:auto}.lb-close{position:absolute;top:max(.75rem,env(safe-area-inset-top));right:max(.75rem,env(safe-area-inset-right));width:2.75rem;height:2.75rem;border:0;border-radius:50%;background:rgba(30,34,42,.85);color:#fff;font-size:1.6rem;line-height:1;cursor:pointer}.lb-bar{display:flex;flex-direction:column;align-items:center;gap:.4rem;padding:.5rem 1rem max(.75rem,env(safe-area-inset-bottom))}.lb-cap{margin:0;max-width:46rem;font-size:.85rem;color:#c9ced6;text-align:center}.lb-zoom{display:flex;align-items:center;gap:.5rem;padding:.3rem .6rem;border-radius:999px;background:rgba(30,34,42,.85)}.lb-zoom button{width:2rem;height:2rem;border:0;border-radius:50%;background:0 0;color:#fff;font-size:1.2rem;line-height:1;cursor:pointer}.lb-zoom button:hover,.lb-close:hover{background:rgba(255,255,255,.14)}.lb-range{width:min(11rem,40vw);accent-color:var(--accent)}.lb-pct{min-width:3.2em;font-size:.8rem;font-variant-numeric:tabular-nums;color:#c9ced6;text-align:right}.lightbox :focus-visible{outline:2px solid #6ea8fe;outline-offset:2px}