:root{color-scheme:light;--ink:#202633;--muted:#626b7a;--blue:#244bc5;--line:#e0e5ed;--bg:#fafbfd}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:24px}body{margin:0;background:var(--bg);color:var(--ink);font:17px/1.9 -apple-system,BlinkMacSystemFont,"Segoe UI","Noto Sans CJK SC","Microsoft Yahei",sans-serif}a{color:var(--blue);text-decoration:none}a:hover{text-decoration:underline}button,a,summary{-webkit-tap-highlight-color:transparent}a:focus-visible,button:focus-visible,summary:focus-visible{outline:3px solid #d07610;outline-offset:5px}.site-header{max-width:1080px;margin:auto;padding:28px 36px;display:flex;align-items:center;justify-content:space-between;border-bottom:1px solid var(--line)}.brand{font:bold 25px/1.4 ui-monospace,monospace;color:var(--ink)}.brand span{font:15px/1.4 sans-serif;color:var(--muted)}.header-note{font-size:14px;color:var(--muted)}main{max-width:832px;margin:auto;padding:0 32px}.article-header{padding:62px 0 30px}.eyebrow{font-size:14px;color:var(--blue);font-weight:650;letter-spacing:2px}h1{font-size:clamp(32px,5vw,48px);line-height:1.4;letter-spacing:-1.3px;margin:16px 0 22px}.lede{font-size:20px;line-height:1.8;color:#515b6b;max-width:630px}.meta{display:flex;gap:24px;color:var(--muted);font-size:14px;margin-top:28px}nav{display:flex;gap:28px;flex-wrap:wrap;border-top:1px solid var(--line);border-bottom:1px solid var(--line);padding:14px 0;font-size:14px}nav a{color:var(--muted)}section{margin:52px 0}h2{font-size:26px;line-height:1.5;letter-spacing:-.5px}h2 span{font:14px ui-monospace,monospace;color:var(--blue);vertical-align:middle;margin-right:8px}h3{font-size:20px;margin-top:32px}p{margin:18px 0}strong{font-weight:650}code{font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:.88em}p code{background:#edf0f5;padding:3px 5px;border-radius:4px}figure{margin:28px 0}.partition{border:1px solid var(--line);background:white;border-radius:12px;padding:24px}figcaption{font-size:14px;color:var(--muted);margin-bottom:20px}.numbers{display:flex;gap:7px;justify-content:center;flex-wrap:wrap}.numbers b{display:grid;place-items:center;min-width:38px;height:42px;border:1px solid #d7deea;border-radius:5px;font:600 18px ui-monospace,monospace;background:#f5f7fb}.numbers .pivot,.equal .numbers b{background:#244bc5;border-color:#244bc5;color:white}.split-label{text-align:center;color:var(--muted);font-size:14px;margin:20px 0}.groups{display:flex;gap:12px;justify-content:center}.group{padding:12px 10px;border-radius:8px;flex:1;min-width:0}.group small{display:block;text-align:center;font-size:14px;margin-bottom:10px}.low{background:#edf4ff;color:#274f9a}.equal{background:#eef0ff;color:#244bc5}.high{background:#fff3e5;color:#86531e}.group .numbers b{min-width:32px;height:36px;font-size:16px}.figure-note{text-align:center;font-size:14px;color:var(--muted);margin-bottom:0}aside{border-left:3px solid var(--blue);padding:16px 20px;background:#eef2fc;font-size:16px;margin:28px 0}aside strong{color:#244490}.demo{background:white;border:1px solid var(--line);border-radius:12px;padding:26px}.demo-top{display:flex;justify-content:space-between;gap:12px;font-size:14px}.demo-title{font-weight:650}#counter{color:var(--muted)}#visual{margin:30px 0;min-height:104px;display:flex;flex-direction:column;justify-content:center;gap:10px}#visual .row-label{font-size:14px;color:var(--muted);text-align:center}#explanation{min-height:64px;font-size:16px}.controls{display:flex;gap:12px}button{border:1px solid var(--blue);border-radius:6px;padding:10px 20px;background:var(--blue);color:white;font-family:inherit;font-size:15px;font-weight:600;line-height:1.5;cursor:pointer}button.secondary{background:white;color:var(--blue)}button:disabled{opacity:.5;cursor:default}details{margin-top:22px;font-size:14px;border-top:1px solid var(--line);padding-top:14px}summary{cursor:pointer;color:var(--muted)}#history{padding-left:22px;color:var(--muted);max-height:250px;overflow:auto}#history li{padding:5px 0}.code-label{padding:10px 20px;background:#242e42;color:#c5d0e6;border-radius:10px 10px 0 0;font-size:13px}pre{margin:0;background:#172033;color:#e0e9ff;padding:22px;overflow:auto;border-radius:0 0 10px 10px;line-height:1.75;font-size:15px;tab-size:4}.complexities{display:grid;grid-template-columns:1fr 1fr;gap:16px;margin:28px 0}.complexities>div{border-top:2px solid var(--blue);background:#f0f3fa;padding:20px}.complexities small{font-size:14px;color:var(--muted)}.complexities strong{display:block;font:600 24px/1.6 ui-monospace,monospace;margin-top:8px}.complexities p{font-size:15px;line-height:1.8;margin-bottom:0}footer{max-width:1080px;border-top:1px solid var(--line);margin:64px auto 0;padding:26px 36px 40px;display:flex;flex-wrap:wrap;gap:12px 24px;font-size:14px;color:var(--muted)}footer a{color:var(--muted)}@media(max-width:600px){.site-header{padding:20px}.header-note{display:none}main{padding:0 20px}.article-header{padding-top:36px}h1{letter-spacing:-.8px}.lede{font-size:18px}nav{gap:12px 22px}section{margin:38px 0}h2{font-size:23px}.partition,.demo{padding:18px 12px}.groups{gap:5px}.group{padding:10px 4px}.numbers{gap:5px}.numbers b{min-width:30px;height:36px;font-size:16px}.group .numbers b{min-width:26px;height:32px;font-size:15px}.complexities{grid-template-columns:1fr}footer{padding:24px 20px}.meta{gap:16px}pre{padding:16px;font-size:14px}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}

/* Blog article directory */
.header-links{display:flex;align-items:center;gap:24px;font-size:14px}
.header-links>a{color:var(--muted)}
.blog-directory{margin:32px 0 0;border:1px solid var(--line);border-radius:10px;background:#fff;padding:20px 24px}
.directory-heading{display:flex;align-items:center;justify-content:space-between;gap:16px}
.directory-heading h2{margin:0;font-size:18px;line-height:1.5;letter-spacing:0}
.directory-heading>span{font-size:14px;color:var(--muted)}
.article-list{list-style:none;padding:0;margin:14px 0 0}
.article-list a{display:flex;align-items:baseline;justify-content:space-between;gap:12px 24px;padding-top:14px;border-top:1px solid var(--line)}
.list-title{font-size:16px;font-weight:600}
.article-list time{font-size:14px;color:var(--muted);white-space:nowrap}
.back-to-directory{margin:40px 0;font-size:14px}
@media(max-width:600px){.header-links{gap:0}.blog-directory{padding:18px 16px;margin-top:24px}.article-list a{flex-direction:column;gap:4px}}

/* Follow the operating system's appearance preference. */
@media(prefers-color-scheme:dark){
:root{color-scheme:dark;--ink:#e4eaf5;--muted:#a7b1c4;--blue:#94b0ff;--line:#354155;--bg:#111827}
.partition,.demo,.blog-directory,button.secondary{background:#192235}
.lede{color:#bbc5d8}
p code{background:#263247;color:#e6edff}
.numbers b{background:#243047;border-color:#4b5b75;color:var(--ink)}
.numbers .pivot,.equal .numbers b{background:#4164d8;border-color:#4164d8;color:#fff}
.low{background:#203653;color:#b4d4ff}
.equal{background:#2d315d;color:#c8ccff}
.high{background:#46311e;color:#ffd19b}
aside{background:#202e4b}
aside strong{color:#b4c8ff}
button{background:#4164d8;border-color:#6e8bec;color:#fff}
button.secondary{color:var(--blue)}
.complexities>div{background:#1e293e}
.code-label{background:#263249;color:#d4dff3}
pre{background:#0c1424;border:1px solid var(--line);border-top:0}
}