.article-page{padding-top:28px}.article-heading{border-bottom:1px solid var(--site-rule);max-width:740px;margin-bottom:32px;padding-bottom:28px}.site-shell .article-heading h1{color:var(--text);font:400 clamp(34px,4vw,50px)/1.2 "VT323",var(--site-mono);overflow-wrap:anywhere;letter-spacing:-.015em;text-wrap:balance;margin:14px 0 18px}.article-meta{color:var(--dim);font:12px/1.8 var(--site-code);flex-wrap:wrap;align-items:center;gap:16px;display:flex}.article-meta time{color:var(--blue)}.site-shell .article-description{color:var(--muted);margin:18px 0 0;font-size:14px;line-height:1.85}.article-heading .entry-tags{margin-top:12px}.article-layout{grid-template-columns:minmax(0,740px) minmax(0,1fr);align-items:start;gap:64px;display:grid}.article-layout.without-contents{max-width:740px;display:block}.article-column{min-width:0}.article-prose{color:var(--muted);overflow-wrap:anywhere;font-size:16px;line-height:1.95}.article-prose h2{color:var(--text);margin:2.2em 0 .85em;scroll-margin-top:30px;font-size:23px;font-weight:600;line-height:1.5}.article-prose h2:before{content:"# ";color:var(--pink);font-weight:400}.article-prose>:first-child{margin-top:0}.article-prose h3{color:var(--text);margin:1.8em 0 .7em;scroll-margin-top:30px;font-size:19px;font-weight:600;line-height:1.6}.article-prose h4{color:var(--pink2);margin:1.6em 0 .6em;scroll-margin-top:30px;font-size:16px}.article-prose p{margin:0 0 1.15em}.article-prose ul,.article-prose ol{margin:0 0 1.2em;padding-left:1.6em}.article-prose li{margin:.35em 0}.article-prose li::marker{color:var(--pink)}.article-prose li>ul,.article-prose li>ol{margin:.5em 0}.article-prose strong{color:var(--text)}.article-prose a{color:var(--blue);text-underline-offset:4px;text-decoration:underline #a8d8ff55}.article-prose a:hover{text-decoration-color:var(--pink)}.article-prose code{color:var(--green);font:.88em/1.7 var(--site-code);background:#b8f2d608;border:1px solid #b8f2d617;border-radius:3px;padding:2px 5px}.article-prose pre{max-width:100%;font:13px/1.75 var(--site-code);tab-size:2;border:1px solid #ff9ecb26;border-radius:4px;margin:24px 0;padding:20px;overflow:auto;white-space:pre!important;overflow-wrap:normal!important}.article-prose pre code{color:inherit;font:inherit;white-space:inherit;overflow-wrap:normal;-webkit-text-fill-color:currentColor;text-shadow:none;background:0 0;border:0;border-radius:0;padding:0}.article-prose pre span{-webkit-text-fill-color:currentColor}.code-window{background:linear-gradient(145deg,#261b2b55,#19151f77);border:1px solid #ffb7d92b;border-radius:5px;min-width:0;margin:26px 0;overflow:hidden}.code-toolbar{border-bottom:1px solid var(--site-rule);background:#ff9ecb04;justify-content:space-between;align-items:center;gap:16px;min-height:44px;padding:0 8px 0 17px;display:flex}.code-language{color:var(--dim);font:11px/1.5 var(--site-code);overflow-wrap:anywhere}.code-language:before{content:">_";color:var(--pink);margin-right:10px}.code-copy{min-width:108px;min-height:36px;color:var(--dim);cursor:pointer;font:11px/1.5 var(--site-code);background:0 0;border:1px solid #0000;border-radius:3px;padding:5px 8px}.code-copy:hover,.code-copy:focus-visible{color:var(--pink);background:#ff9ecb09;border-color:#ffb7d933}.code-copy:disabled{cursor:wait}.article-prose .code-window pre{background:0 0;border:0;border-radius:0;margin:0}.article-prose .code-window pre:focus-visible{outline-offset:-3px}.article-prose blockquote{border-left:2px solid var(--purple);color:var(--dim);background:#e2a4ff05;margin:24px 0;padding:17px 22px}.article-prose blockquote p:last-child{margin-bottom:0}.article-prose hr{border:0;border-top:1px solid var(--site-rule);margin:36px 0}.article-prose img{object-fit:contain;border-radius:4px;width:min(100%,680px);max-width:100%;height:auto;max-height:80vh;margin:30px auto 10px;display:block}.article-prose img.img-small{width:min(100%,420px)}.article-prose img.img-wide,.article-prose img.img-full{width:100%}.article-prose p:has(>img:only-child){margin:0}.article-prose p:has(>em:only-child){text-align:center;color:var(--dim);margin:8px 0 28px;font-size:13px;line-height:1.7}.article-prose .katex{font-size:1.07em}.article-prose .katex-display{max-width:100%;margin:18px 0;padding:10px 0;overflow:auto hidden}.article-prose table{border-collapse:collapse;width:max-content;max-width:100%;margin:24px 0;font-size:13px;display:block;overflow-x:auto}.article-prose th,.article-prose td{border:1px solid var(--site-rule);text-align:left;padding:12px 16px}.article-prose th{color:var(--text);background:#ff9ecb09;font-weight:600}.desktop-contents{border-left:1px solid var(--site-rule);min-width:0;max-height:calc(100vh - 60px);padding-left:20px;position:sticky;top:30px;overflow-y:auto}.desktop-contents ol,.mobile-contents ol{margin:0;padding:0;list-style:none}.desktop-contents li,.mobile-contents li{margin:0}.desktop-contents a,.mobile-contents nav a{color:var(--dim);overflow-wrap:anywhere;padding:8px 0;font-size:12px;line-height:1.85;display:block}.desktop-contents ol a{border-left:2px solid #0000;margin-left:-21px;padding-left:19px;padding-right:8px}.desktop-contents .nested-heading a{padding-left:31px;font-size:11px}.mobile-contents .nested-heading a{padding-left:12px;font-size:11px}.desktop-contents a[aria-current=location]{color:var(--pink);border-left-color:var(--pink);background:linear-gradient(90deg,#ff9ecb10,#0000)}.mobile-contents a[aria-current=location]{color:var(--pink);box-shadow:inset 2px 0 var(--pink);background:#ff9ecb08;padding-left:12px}.desktop-contents .contents-top{border-top:1px solid var(--site-rule);color:var(--pink);margin-top:20px;padding-top:15px;font-size:11px}.mobile-contents{display:none}.article-neighbors{border-top:1px solid var(--site-rule);grid-template-columns:repeat(2,minmax(0,1fr));gap:30px;margin-top:50px;padding-top:26px;display:grid}.article-neighbors a{color:var(--muted);overflow-wrap:anywhere;flex-direction:column;gap:12px;font-size:13px;line-height:1.8;display:flex}.article-neighbors .neighbor-label{color:var(--pink);font:11px/1.7 var(--site-code)}.article-back{margin-top:28px}@media (width<=1100px){.article-layout{grid-template-columns:minmax(0,1fr) 200px;gap:32px}.article-heading{max-width:100%}.article-prose{font-size:15px}}@media (width<=900px){.article-layout{display:block}.desktop-contents{display:none}.mobile-contents{border:1px solid var(--site-rule);background:#ff9ecb04;border-radius:4px;margin:0 0 34px;padding:0;display:block}.mobile-contents summary{cursor:pointer;color:var(--pink);font:12px/1.8 var(--site-code);padding:15px 18px}.mobile-contents summary>span{float:right;color:var(--dim);font-size:11px}.mobile-contents nav{padding:4px 18px 18px}.mobile-contents nav a{min-height:36px;font-size:12px}.mobile-contents .nested-heading a{font-size:11px}.article-prose{font-size:16px}}@media (width<=560px){.article-page{padding-top:24px}.site-shell .article-heading h1{margin-bottom:18px;font-size:34px;line-height:1.2}.article-heading{margin-bottom:28px;padding-bottom:24px}.article-meta{gap:10px 15px;font-size:11px}.site-shell .article-description{font-size:13px}.article-prose{font-size:15px;line-height:1.95}.article-prose h2{font-size:20px}.article-prose h3{font-size:17px}.article-prose pre{padding:15px;font-size:12px}.code-toolbar{padding-left:14px}.article-prose blockquote{padding:14px 16px}.article-prose ul,.article-prose ol{padding-left:1.4em}.article-neighbors{grid-template-columns:1fr;gap:28px}}@media print{.article-layout{display:block}.article-heading{max-width:none}.article-prose{color:#000;font-size:11pt}.article-prose pre{white-space:pre-wrap!important;overflow-wrap:anywhere!important}.code-copy{display:none}.code-window{break-inside:avoid;background:0 0;border-color:#ccc}.article-prose .katex-display{overflow:visible}.desktop-contents,.mobile-contents,.article-neighbors,.article-back{display:none}}