.article-grid{grid-template-columns:minmax(0,745px) minmax(150px,1fr);gap:36px;padding-top:20px;display:grid}.article{min-width:0}.breadcrumb{color:var(--muted);margin-bottom:34px;font-size:12px;display:inline-block}.article-header{border-bottom:1px solid var(--line);margin-bottom:36px;padding-bottom:29px}.article-header h1{letter-spacing:-1.3px;margin:20px 0 17px;font-size:clamp(28px,3.5vw,39px);font-weight:750;line-height:1.4}.article-description{color:var(--muted);font-size:15px;line-height:1.8}.toc{border-left:1px solid var(--line);align-self:start;margin-top:61px;padding-left:20px;position:sticky;top:36px}.toc ol{margin:20px 0 0;padding:0;list-style:none}.toc li{color:var(--muted);word-break:keep-all;margin:0 0 14px;font-size:12px;line-height:1.6}.toc li.nested{padding-left:12px;font-size:11px}.toc a:hover{color:var(--primary-strong);text-decoration:underline}.prose{color:var(--ink);overflow-wrap:anywhere;font-size:16px;line-height:1.95}.prose>:first-child{margin-top:0}.prose p{word-break:keep-all;overflow-wrap:anywhere;margin:0 0 24px}.prose h2{letter-spacing:-.7px;margin:48px 0 20px;font-size:25px;font-weight:750;line-height:1.5}.prose h3{margin:32px 0 16px;font-size:20px;font-weight:750}.prose :is(h2,h3){scroll-margin-top:25px}.prose a,.backlinks a,.original-link a{color:var(--primary-strong);text-decoration:underline #93c5fd}.prose ul,.prose ol{margin:0 0 24px;padding-left:24px}.prose li{margin:6px 0}.prose blockquote{background:var(--surface-blue);color:var(--primary-strong);border-left:3px solid #60a5fa;margin:26px 0;padding:14px 22px}.prose blockquote p:last-child{margin:0}.prose pre{border:1px solid var(--line);font:13px/1.8 var(--mono);border-radius:4px;margin:25px 0;padding:21px;overflow-x:auto}.prose code{font-family:var(--mono);font-size:.85em}.prose :not(pre)>code{background:var(--surface-blue);border-radius:3px;padding:3px 5px}.prose table{border-collapse:collapse;width:100%;margin:25px 0;font-size:14px;display:block;overflow-x:auto}.prose th,.prose td{border:1px solid var(--line);text-align:left;padding:10px 15px}.prose th{background:var(--surface-soft)}.prose img,.prose video{border-radius:4px;max-width:100%;height:auto}.prose .katex-display{padding:8px 0;overflow:auto hidden}.prose hr{border:0;border-top:1px solid var(--line);margin:36px 0}.original-link{color:var(--muted);margin:35px 0;font-size:12px}.related-section{margin-top:50px}.backlinks{background:var(--surface-blue);margin-top:35px;padding:22px}.backlinks h2{font-size:14px}.backlinks ul{margin-bottom:0;padding-left:18px;font-size:13px;line-height:1.9}@media (width<=1180px){.article-grid{grid-template-columns:minmax(0,1fr);gap:25px;max-width:745px;margin:0}.toc{display:none}}@media (width<=760px){.article-grid{padding-top:30px}.article-header h1{font-size:29px}.article-description{font-size:14px}.prose{font-size:15px;line-height:1.95}.prose h2{font-size:22px}.prose pre{padding:15px;font-size:12px}}.category-chips{margin-bottom:35px}.category-intro{margin-bottom:32px}.category-intro #related-contents{display:none}.legacy-details{border:1px solid var(--line);border-radius:4px;min-width:0;margin:24px 0}.legacy-details summary{cursor:pointer;color:var(--primary-strong);background:var(--surface-blue);padding:12px 16px;font-size:14px}.legacy-details>div{padding:20px 16px 0}.legacy-details>div>:first-child{margin-top:0}.legacy-tier{color:var(--tier-color);white-space:nowrap;vertical-align:middle;align-items:center;gap:5px;font-size:13px;display:inline-flex}.legacy-result{font:700 12px var(--mono);color:#9f1239;white-space:nowrap;background:#fff1f2;border-radius:4px;padding:3px 7px}.legacy-result.accepted{color:#166534;background:#dcfce7}.legacy-image{margin:24px auto;display:block}.legacy-math{max-width:100%;overflow-x:auto}.complexity-chart{border:1px solid var(--line);background:var(--surface-soft);border-radius:4px;margin:28px 0;padding:12px}.complexity-chart svg{width:100%;height:auto;display:block}.complexity-chart text{font:11px var(--mono);fill:var(--muted)}.complexity-chart figcaption{font-size:13px}.chart-legend{flex-wrap:wrap;justify-content:center;gap:8px 16px;display:flex}.complexity-chart label{align-items:center;gap:12px;margin-top:14px;display:flex}.complexity-chart input{min-width:0;accent-color:var(--primary-strong);flex:1}.complexity-chart output{font-variant-numeric:tabular-nums;min-width:4ch}:root{color-scheme:light;--page-bg:#eef6ff;--page-bg-2:#f8fbff;--surface:#fff;--surface-soft:#f8fafc;--surface-blue:#eff6ff;--surface-cyan:#ecfeff;--line:#d9e5f2;--border-strong:#bfd3e7;--ink:#172033;--muted:#64748b;--muted-strong:#475569;--primary:#2563eb;--primary-strong:#1d4ed8;--primary-soft:#dbeafe;--accent:#0891b2;--mono:"SFMono-Regular", Consolas, "Liberation Mono", monospace;--sans:-apple-system, BlinkMacSystemFont, "Segoe UI", "Apple SD Gothic Neo", Roboto, "Malgun Gothic", sans-serif;font-family:var(--sans);color:var(--ink);font-synthesis:none;text-rendering:optimizelegibility;-webkit-font-smoothing:antialiased}*{box-sizing:border-box}body{background:radial-gradient(circle at top left, #2563eb21, transparent 28rem), linear-gradient(180deg, var(--page-bg) 0%, var(--page-bg-2) 48%, #fff 100%);min-height:100vh;margin:0}a{color:inherit;text-underline-offset:4px;text-decoration:none}button,input{font:inherit}button,a,input{-webkit-tap-highlight-color:transparent}button{cursor:pointer}svg{vertical-align:middle;flex:none}::selection{background:var(--primary-soft);color:#1e3a8a}:focus-visible{outline:2px solid var(--primary);outline-offset:4px}.account-link{min-height:42px;color:var(--muted-strong);justify-content:center;align-items:center;gap:8px;margin-top:8px;font-size:12px;font-weight:650;display:flex}.account-link:hover,.account-link[aria-current]{color:var(--primary)}.auth-page{max-width:600px;margin:28px auto 80px}.auth-page h1{letter-spacing:-1.2px;margin-bottom:14px;font-size:clamp(26px,4vw,36px)}.auth-intro{color:var(--muted-strong);margin-bottom:30px;line-height:1.7}.auth-card{border:1px solid var(--line);background:var(--surface);border-radius:12px;padding:clamp(24px,5vw,40px)}.auth-icon{background:var(--surface-blue);width:52px;height:52px;color:var(--primary);border-radius:12px;justify-content:center;align-items:center;margin-bottom:24px;display:inline-flex}.auth-card h2{margin-bottom:12px;font-size:20px}.auth-card p{color:var(--muted-strong);font-size:14px;line-height:1.9}.auth-button{background:var(--primary);color:#fff;border-radius:7px;justify-content:space-between;align-items:center;gap:16px;min-height:50px;margin-top:28px;padding:14px 18px;font-size:14px;font-weight:700;display:flex}.auth-button:hover{background:var(--primary-strong)}.auth-back{width:100%;min-height:44px;color:var(--muted-strong);background:0 0;border:0;justify-content:center;align-items:center;gap:7px;margin-top:12px;padding:8px 0;font-size:13px;display:flex}.auth-back:hover{color:var(--primary)}.auth-card .auth-message{border-left:3px solid var(--primary);background:var(--surface-blue);margin:24px 0 0;padding:12px 16px}.auth-caption{text-align:center;color:var(--muted);margin-top:20px;font-size:12px}.account-details{margin:20px 0 0;font-size:14px}.account-details div{border-bottom:1px solid var(--line);flex-wrap:wrap;justify-content:space-between;gap:10px;padding:14px 0;display:flex}.account-details dt{color:var(--muted)}.account-details dd{overflow-wrap:anywhere;margin:0}h1,h2,h3,p{margin-top:0}h1,h2,h3{word-break:keep-all;overflow-wrap:anywhere}.site-shell{grid-template-columns:260px minmax(0,1fr);max-width:1480px;margin:0 auto;padding:28px 28px 0;display:grid}.site-header{align-self:start;padding:8px 24px 28px 0;position:sticky;top:28px}.wordmark{color:#102c60;letter-spacing:-.8px;align-items:center;gap:12px;font-size:29px;font-weight:800;display:flex}.monogram{color:#fff;background:var(--primary);border-radius:9px;place-content:center;width:43px;height:43px;padding-bottom:7px;font-size:35px;font-weight:850;line-height:1;display:grid}.wordmark-caption{color:var(--muted);margin:13px 0 27px;font-size:12px;font-weight:600}.site-header nav{border-bottom:1px solid var(--line);flex-direction:column;gap:6px;padding-bottom:20px;display:flex}.site-header nav a{min-height:43px;color:var(--muted-strong);border:1px solid #0000;border-radius:6px;align-items:center;gap:11px;padding:10px 13px;font-size:13px;font-weight:750;display:flex}.site-header nav a:hover{color:var(--primary-strong);background:var(--surface-blue);border-color:#bfdbfe}.site-header nav a[aria-current]{color:var(--primary-strong);background:var(--surface-blue);box-shadow:inset 3px 0 0 var(--primary);border-color:#93c5fd}.search-link{background:var(--surface-cyan);color:#0e7490;border:1px solid #67e8f9;border-radius:6px;justify-content:center;align-items:center;gap:8px;min-height:38px;margin-top:20px;padding:9px 12px;font-size:12px;font-weight:750;display:flex}.search-link:hover,.search-link[aria-current]{background:#cffafe;border-color:#22d3ee}main{border-left:1px solid var(--line);min-width:0;min-height:calc(100vh - 170px);padding:0 0 24px 32px}.eyebrow{font:600 10px/1.7 var(--mono);letter-spacing:1px;color:var(--muted)}.hero{border-bottom:1px solid var(--line);grid-template-columns:minmax(0,1fr) 240px;align-items:center;gap:36px;padding:28px 0 34px;display:grid}.hero-copy .eyebrow{color:var(--primary-strong);margin-bottom:17px}.hero h1{letter-spacing:-1.1px;margin-bottom:17px;font-size:clamp(27px,2.5vw,35px);font-weight:800;line-height:1.4}.hero h1 span{color:var(--primary-strong)}.hero-description{color:var(--muted-strong);word-break:keep-all;margin-bottom:23px;font-size:14px;line-height:1.8}.text-link{border:1px solid var(--primary);background:var(--primary);color:#fff;border-radius:6px;align-items:center;gap:12px;min-height:40px;padding:11px 16px;font-size:13px;font-weight:750;display:inline-flex}.text-link:hover{background:var(--primary-strong);border-color:var(--primary-strong)}.archive-summary{border:1px solid var(--line);background:#ffffffa6;border-radius:8px;padding:20px}.archive-summary h2{align-items:center;gap:9px;margin:0;font-size:14px;font-weight:750;display:flex}.archive-summary h2 svg{color:var(--primary)}.archive-stats{grid-template-columns:repeat(3,1fr);gap:12px;margin:22px 0 17px;display:grid}.archive-stats div{flex-direction:column-reverse;gap:7px;display:flex}.archive-stats dt{color:var(--muted);white-space:nowrap;font-size:11px}.archive-stats dd{color:#1e3a8a;margin:0;font-size:26px;font-weight:800;line-height:1}.archive-summary>p{border-top:1px solid var(--line);color:var(--muted);margin:0;padding-top:15px;font-size:11px;line-height:1.7}.home-grid{grid-template-columns:minmax(0,1fr) 240px;gap:36px;padding-top:29px;display:grid}.section-heading{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:16px;padding-bottom:14px;display:flex}.section-heading h2{letter-spacing:-.3px;margin:0;font-size:17px;font-weight:750}.section-heading h2 span{background:var(--primary-soft);color:var(--primary-strong);font:700 11px var(--sans);vertical-align:middle;border-radius:4px;margin-left:7px;padding:2px 6px;display:inline-block}.section-heading>a{color:var(--primary-strong);align-items:center;gap:7px;font-size:12px;font-weight:650;display:inline-flex}.section-heading>a:hover{text-decoration:underline}.entry-row{border-bottom:1px solid var(--line);padding:22px 0}.entry-meta{color:var(--muted);flex-wrap:wrap;align-items:center;gap:12px;font-size:12px;display:flex}.entry-meta time{font-variant-numeric:tabular-nums;font-size:11px}.entry-kind{background:var(--surface-blue);color:var(--primary-strong);border:1px solid #bfdbfe;border-radius:4px;padding:3px 7px;font-size:10px;font-weight:750}.note-kind{color:#0e7490;background:var(--surface-cyan);border-color:#a5f3fc}.entry-row h3{letter-spacing:-.5px;margin:12px 0 8px;font-size:20px;font-weight:750;line-height:1.5}.entry-row h3 a{justify-content:space-between;align-items:center;gap:18px;display:flex}.entry-row h3 svg{color:#94a3b8}.entry-row h3 a:hover,.entry-row h3 a:hover svg{color:var(--primary-strong)}.entry-row p{color:var(--muted-strong);word-break:keep-all;overflow-wrap:anywhere;margin-bottom:13px;font-size:13px;line-height:1.8}.entry-tags{color:var(--muted);flex-wrap:wrap;gap:12px;font-size:11px;display:flex}.entry-tags a:hover{color:var(--primary-strong);text-decoration:underline}.home-aside{border-left:1px solid var(--line);min-width:0;padding-left:21px}.topics-section .section-heading{border:0}.topics-section h2{font-size:14px}.topic-chips{flex-wrap:wrap;gap:8px;display:flex}.topic-chips a{border:1px solid var(--border-strong);background:var(--surface);color:var(--muted-strong);border-radius:5px;padding:8px 10px;font-size:11px;font-weight:650}.topic-chips span{color:var(--muted);margin-left:9px;font-size:10px;font-weight:500}.topic-chips a:hover{color:var(--primary-strong);background:var(--surface-blue);border-color:#93c5fd}.margin-note{border-top:1px solid var(--line);margin-top:24px;padding-top:23px}.margin-note .eyebrow{font-family:var(--sans);letter-spacing:0;color:var(--muted-strong);font-size:12px}.margin-note p{color:var(--muted);margin:9px 0 0;font-size:12px;line-height:1.9}.site-footer{border-top:1px solid var(--line);color:var(--muted);grid-column:1/-1;justify-content:space-between;align-items:center;gap:24px;margin-top:30px;padding:25px 0;display:flex}.site-footer>div{align-items:center;gap:18px;display:flex}.site-footer span{font-size:11px}.footer-name{color:#102c60;font-size:15px;font-weight:800}.footer-links{font-size:11px}.footer-links a{align-items:center;gap:6px;display:flex}.footer-links a:hover{color:var(--primary-strong);text-decoration:underline}.page-heading{padding:22px 0 30px}.page-heading h1{letter-spacing:-.8px;margin-bottom:13px;font-size:clamp(27px,3vw,34px);font-weight:800;line-height:1.4}.page-heading p:not(.eyebrow){color:var(--muted-strong);font-size:14px;line-height:1.8}.title-dot{color:var(--primary)}.muted{color:var(--muted);font-size:12px}.empty-state{color:var(--muted);padding:30px 0;font-size:14px}.tag-index{grid-template-columns:repeat(2,minmax(0,1fr));gap:0 30px;display:grid}.tag-index>a{border-top:1px solid var(--line);align-items:center;gap:16px;padding:22px 0;display:flex}.tag-number{font:11px var(--mono);color:var(--muted)}.tag-index h2{flex:1;margin:0;font-size:18px;font-weight:750}.tag-index a>span:last-child{color:var(--muted);font-size:11px}.tag-index a:hover h2{color:var(--primary-strong);text-decoration:underline}.search-form{border:1px solid var(--border-strong);background:var(--surface);color:var(--primary);border-radius:7px;align-items:center;gap:14px;padding:10px 12px 10px 18px;display:flex}.search-form:focus-within{border-color:var(--primary)}.search-form input{min-width:0;color:var(--ink);background:0 0;border:0;flex:1;padding:10px 0;font-size:16px}.search-form input::placeholder{color:var(--muted)}.search-form button,.load-more{border:1px solid var(--primary);background:var(--primary);color:#fff;border-radius:6px;min-height:40px;padding:10px 16px;font-size:13px;font-weight:750}.search-form button:hover,.load-more:hover{background:var(--primary-strong)}.search-form button span{margin-left:10px}.search-status,.dev-notice{color:var(--muted);margin:24px 0;font-size:13px;line-height:1.8}.search-result h2{margin-bottom:14px;font-size:21px}.search-result h2 a:hover{color:var(--primary-strong);text-decoration:underline}.search-result p{max-width:750px;font-size:14px}.load-more{margin-top:30px}[hidden]{display:none!important}.not-found{padding-top:70px}.sr-only,.skip-link:not(:focus){clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.skip-link:focus{background:var(--primary);color:#fff;z-index:100;padding:10px 15px;position:fixed;top:10px;left:10px}@media (width<=1180px){.site-shell{grid-template-columns:220px minmax(0,1fr);padding-inline:24px}.site-header{padding-right:22px}main{padding-left:26px}.hero{grid-template-columns:minmax(0,1fr);gap:26px}.archive-summary{justify-content:space-between;align-items:center;gap:22px;padding:18px;display:flex}.archive-stats{min-width:220px;margin:0}.archive-summary>p{display:none}.home-grid{grid-template-columns:minmax(0,1fr);gap:28px}.home-aside{border-left:0;padding-left:0}.margin-note{display:none}}@media (width<=760px){.site-shell{padding:20px 20px 0;display:block}.site-header{border-bottom:1px solid var(--line);grid-template-columns:minmax(0,1fr) auto;align-items:center;gap:18px 12px;padding:0 0 18px;display:grid;position:static}.wordmark{gap:10px;font-size:25px}.monogram{border-radius:7px;width:35px;height:35px;font-size:29px}.wordmark-caption{display:none}.search-link{grid-area:1/2;min-height:38px;margin:0;padding-inline:12px}.site-header nav{border:0;flex-direction:row;grid-column:1/-1;gap:6px;padding:0}.site-header nav a{white-space:nowrap;flex:1;justify-content:center;gap:7px;min-height:44px;padding:10px 4px;font-size:12px}.site-header nav a svg{width:15px;height:15px}.site-header nav a[aria-current]{box-shadow:none}main{border:0;min-height:calc(100vh - 250px);padding:0}.hero{padding:28px 0}.hero h1{letter-spacing:-1px;font-size:30px}.hero-description{font-size:13px}.archive-summary{gap:16px;padding:16px}.archive-summary h2{font-size:12px}.archive-summary h2 svg{display:none}.archive-stats{gap:12px;min-width:190px}.archive-stats dd{font-size:22px}.archive-stats dt{font-size:10px}.entry-row h3{font-size:19px}.site-footer{flex-wrap:wrap;gap:20px;margin-top:35px;padding:24px 0}.site-footer>div:first-child{flex-direction:column;align-items:flex-start;gap:9px}.page-heading{padding:28px 0 22px}.page-heading h1{font-size:28px}.page-heading p:not(.eyebrow){font-size:13px}.tag-index{grid-template-columns:1fr}.search-form{gap:9px;padding:8px 8px 8px 12px}.search-form>svg{width:18px}.search-form input{font-size:14px}.search-form input::placeholder{font-size:11px}.search-form button{padding:9px 12px}.search-form button span{display:none}}@media (width<=380px){.site-shell{padding-inline:15px}.site-header nav a svg{display:none}.archive-summary{display:block}.archive-summary h2{margin-bottom:16px}}