:root{font-family:Verdana,Arial,sans-serif;font-size:13px;line-height:1.55;font-synthesis:none;color-scheme:light;--paper: #fcfaf8;--ink: #231d1b;--muted: #6b615d;--maroon: #641c20;--maroon-hover: #98393d;--line: #d8d1cc;--tint: #faf2f0}:root[data-theme=dark]{color-scheme:dark;--paper: #161211;--ink: #f6f2ee;--muted: #b5aca7;--maroon: #d9a19b;--maroon-hover: #f3e3e0;--line: #3e3532;--tint: #2e1719}*{box-sizing:border-box}body{margin:0;background:var(--paper);color:var(--ink)}button{font:inherit}a{color:var(--maroon);text-decoration:underline;text-underline-offset:3px}a:hover{color:var(--maroon-hover)}:focus-visible{outline:2px solid var(--maroon);outline-offset:4px}::selection{background:var(--maroon);color:var(--paper)}h1,h2,h3,p{margin:0}h1{font-size:18px;line-height:1.4;font-weight:700}h2,h3{font-size:13px;line-height:1.55;font-weight:700}p{margin-bottom:18px}.site-shell{width:560px;max-width:calc(100% - 128px);margin:30px 0 60px 104px;overflow-wrap:anywhere}.site-header{display:flex;align-items:baseline;flex-wrap:wrap;gap:14px;padding-bottom:14px;border-bottom:1px solid var(--line)}.brand{font-size:23px;line-height:1.2;letter-spacing:-1px;font-weight:700;text-decoration:none}.brand-dot{color:var(--muted)}.site-caption{font-size:11px;color:var(--muted)}main{margin-top:28px}main:focus{outline:none}.skip-link{position:absolute;left:-10000px;top:8px}.skip-link:focus{left:18px;z-index:10;background:var(--paper);padding:10px}.page-index{position:fixed;left:712px;top:100px;width:180px;max-height:calc(100vh - 124px);overflow-y:auto;font-size:11px}.page-index h2{color:var(--maroon);font-size:11px;margin-bottom:12px}.page-index ul{list-style:none;padding:0;margin:0}.page-index li{margin-bottom:10px}.page-index a[aria-current]{font-weight:700}.index-group+.index-group{margin-top:25px}.theme-toggle{display:flex;align-items:center;gap:8px;border:0;padding:8px 0;margin-top:18px;background:none;color:var(--muted);cursor:pointer;font-size:11px}.theme-toggle:hover{color:var(--maroon)}.theme-toggle span{font-size:17px;line-height:1}.intro{padding-bottom:28px;border-bottom:1px solid var(--line)}.eyebrow{font-size:11px;font-weight:700;color:var(--maroon);margin-bottom:12px}.intro h1{margin-bottom:18px}.intro-links{display:flex;flex-wrap:wrap;gap:20px;font-size:12px}.section{margin-top:36px;scroll-margin-top:24px}.section>h2{margin-bottom:18px;color:var(--maroon)}.entry{padding:16px 0;border-top:1px solid var(--line)}.entry-header{display:flex;align-items:baseline;justify-content:space-between;flex-wrap:wrap;gap:4px 16px;margin-bottom:4px}.entry-title{font-size:13px;font-weight:700}.entry-date{color:var(--muted);font-size:11px}.entry-role{color:var(--muted);font-size:11px;margin-bottom:12px}.entry-desc{font-size:12px;margin-bottom:8px}.entry-desc:last-child{margin-bottom:0}.pub-item{padding:16px 0;border-top:1px solid var(--line)}.pub-venue{font-size:11px;color:var(--muted);margin-top:8px}.writing-links{display:flex;flex-direction:column}.writing-link{border-top:1px solid var(--line);padding:12px 0}.reading-group+.reading-group{margin-top:24px}.reading-title{font-size:12px;font-weight:700;margin-bottom:10px}.reading-list{list-style:none;padding:0;margin:0}.reading-list li{display:flex;align-items:baseline;justify-content:space-between;gap:18px;border-bottom:1px solid var(--line);padding:8px 0;font-size:12px}.book-author{color:var(--muted);font-size:11px;text-align:right}.site-footer{border-top:1px solid var(--line);padding-top:18px;margin-top:40px;display:flex;justify-content:space-between;gap:18px;font-size:10px;color:var(--muted)}@media(max-width:959px){.page-index{position:static;width:auto;max-height:none;display:flex;flex-wrap:wrap;align-items:flex-start;gap:20px 35px;margin-top:22px;padding-bottom:18px;border-bottom:1px solid var(--line);overflow:visible}.index-group{flex:1 1 180px}.index-group+.index-group{margin-top:0}.page-index ul{display:flex;flex-wrap:wrap;gap:10px 16px}.page-index li,.theme-toggle{margin:0}}@media(max-width:640px){.site-shell{width:auto;max-width:none;margin:24px 18px 40px}.brand{font-size:21px}.site-caption{font-size:10px}.page-index{gap:18px}.index-group{flex-basis:100%}.page-index a{display:inline-block;padding:3px 0}.entry-header{display:block}.entry-date{display:block;margin-top:4px}}@media(prefers-reduced-motion:reduce){*{scroll-behavior:auto!important}}.essay-back{display:inline-block;font-size:11px;margin-bottom:24px}.essay-header{border-bottom:1px solid var(--line);padding-bottom:22px;margin-bottom:24px}.essay-header h1{margin-bottom:12px}.essay-header .subtitle{font-size:13px;margin-bottom:12px}.essay-header .meta{font-size:11px;color:var(--muted);margin:0}.essay-content p{margin-bottom:18px}.essay-content h2{margin:28px 0 16px}.essay-content h3{margin:24px 0 12px}.essay-content blockquote{border-left:2px solid var(--maroon);margin:24px 0;padding:8px 16px;background:var(--tint);color:var(--muted);font-size:12px}.essay-content blockquote p:last-child{margin-bottom:0}.essay-content :is(ul,ol){padding-left:24px;margin-bottom:18px}.essay-content li{margin-bottom:7px}.essay-content code{font-family:SFMono-Regular,Consolas,monospace;background:var(--tint);padding:2px 4px;font-size:12px}.essay-content pre{background:var(--tint);border:1px solid var(--line);padding:14px;margin:20px 0;overflow-x:auto}.essay-content pre code{padding:0}.references,.more-reading{margin-top:32px;padding-top:20px;border-top:1px solid var(--line)}.references h2,.more-reading h2{font-size:12px;color:var(--maroon);margin:0 0 16px}.references p,.more-reading p{font-size:11px;color:var(--muted);margin-bottom:8px}.prefix-machine{width:100%;color:var(--ink)}.prefix-machine svg{display:block;width:100%;overflow:visible}.prefix-machine .pm-body{fill:var(--paper);stroke:var(--line);stroke-width:1.2}.prefix-machine .pm-side{fill:var(--tint);stroke:var(--line);stroke-width:1.2}.prefix-machine .pm-inset{fill:var(--tint);stroke:var(--line);stroke-width:1}.prefix-machine .pm-rail{fill:var(--paper);stroke:var(--line);stroke-width:1}.prefix-machine .pm-shadow{fill:var(--ink);opacity:.055}.prefix-machine .pm-stroke{fill:none;stroke:var(--ink);stroke-width:.7}.prefix-machine .pm-accent-stroke{fill:none;stroke:var(--maroon);stroke-width:2;stroke-linecap:round;stroke-linejoin:round}.prefix-machine .pm-accent{fill:var(--maroon)}.prefix-machine .pm-active{fill:var(--paper);stroke:var(--maroon);stroke-width:1.6}.prefix-machine text{fill:var(--ink);font-family:ui-monospace,SFMono-Regular,monospace;font-size:13px;text-anchor:middle}.prefix-machine .pm-carriage{transition:transform .55s cubic-bezier(.25,.8,.3,1)}.prefix-machine .pm-control{cursor:pointer;outline:none}.prefix-machine .pm-control:focus-visible .pm-body{stroke:var(--maroon);stroke-width:2.5}@media(prefers-reduced-motion:reduce){.prefix-machine .pm-carriage{transition:none}}.course-machine{width:100%;max-width:560px;margin:auto;position:relative;color:var(--ink)}.course-machine>svg{display:block;width:100%;height:auto;overflow:visible}.course-machine .cm-body,.course-machine .cm-token{fill:var(--paper);stroke:var(--ink);stroke-width:.8}.course-machine .cm-metal,.course-machine .cm-well{fill:var(--tint);stroke:var(--line);stroke-width:1}.course-machine .cm-shadow{fill:var(--ink);opacity:.035}.course-machine .cm-stroke{fill:none;stroke:var(--ink);stroke-width:1;stroke-linecap:round}.course-machine .cm-cable{fill:none;stroke:var(--ink);stroke-width:1;opacity:.35;stroke-linejoin:round;transition:opacity .5s}.course-machine .cm-released{opacity:.09}.course-machine text{fill:var(--ink);font:12px ui-monospace,monospace;text-anchor:middle}.course-machine .cm-lock{fill:var(--maroon);stroke:var(--maroon);stroke-width:.8}.course-machine .cm-ready .cm-token{fill:var(--maroon);stroke:var(--maroon)}.course-machine .cm-ready text{fill:var(--paper)}.course-machine .cm-gate{transition:transform .5s ease}.course-machine .cm-output{animation:cm-arrive .5s ease both}.course-machine .cm-controls{position:absolute;right:8%;bottom:0;display:flex;gap:4px}.course-machine button{width:29px;height:27px;padding:6px;border:1px solid var(--line);border-radius:4px;background:var(--paper);color:var(--ink);cursor:pointer}.course-machine button:hover,.course-machine button[aria-pressed=true]{color:var(--maroon);border-color:var(--maroon)}.course-machine button:focus-visible{outline:2px solid var(--maroon);outline-offset:3px}.course-machine button svg{width:100%;height:100%;fill:none;stroke:currentColor;stroke-width:1.5;stroke-linejoin:round;stroke-linecap:round}@keyframes cm-arrive{0%{opacity:0}to{opacity:1}}@media(prefers-reduced-motion:reduce){.course-machine *{animation:none!important;transition:none!important}}.lru-machine{width:100%;max-width:560px;margin:auto}.lru-machine svg{display:block;width:100%;overflow:visible}.lru-machine path,.lru-machine rect,.lru-machine circle{stroke:var(--ink);stroke-width:1.2;stroke-linejoin:round}.lru-machine .lru-top{fill:var(--paper)}.lru-machine .lru-side{fill:var(--tint)}.lru-machine .lru-dark{fill:var(--line)}.lru-machine .lru-recess{fill:var(--tint);stroke:var(--line)}.lru-machine .lru-active{fill:var(--maroon)}.lru-machine .lru-window{fill:var(--paper);stroke:var(--line)}.lru-machine .lru-track{fill:none;stroke:var(--ink)}.lru-machine .lru-screw{fill:var(--ink);stroke:none}.lru-machine .lru-shadow{fill:var(--ink);opacity:.06}.lru-machine .lru-key,.lru-machine .lru-value{fill:var(--ink);text-anchor:middle;font-family:monospace}.lru-machine .lru-key{font-size:13px}.lru-machine .lru-value{font-size:9px}.lru-machine .lru-miss{fill:var(--paper);stroke:var(--maroon);stroke-width:2}.lru-machine .lru-cartridge{transition:transform .65s cubic-bezier(.22,.7,.25,1)}.lru-machine .lru-control{cursor:pointer;outline:none}.lru-machine .lru-control:focus-visible circle{stroke:var(--maroon);stroke-width:3}.lru-machine .lru-control:hover circle{fill:var(--tint)}@media(prefers-reduced-motion:reduce){.lru-machine .lru-cartridge{transition:none}}.compression-machine{width:100%;color:var(--ink)}.compression-machine svg{display:block;width:100%;overflow:visible}.compression-machine .sc-body{fill:var(--paper);stroke:var(--line);stroke-width:1.2}.compression-machine .sc-side,.compression-machine .sc-inset{fill:var(--tint);stroke:var(--line);stroke-width:1.2}.compression-machine .sc-written{fill:var(--paper);stroke:var(--maroon);stroke-width:1.5}.compression-machine .sc-shadow{fill:var(--ink);opacity:.055}.compression-machine .sc-line{fill:none;stroke:var(--line);stroke-width:1.2}.compression-machine .sc-accent-line{fill:none;stroke:var(--maroon);stroke-width:2;stroke-linecap:round}.compression-machine .sc-accent{fill:var(--maroon)}.compression-machine text{fill:var(--ink);font-family:ui-monospace,SFMono-Regular,monospace;text-anchor:middle;font-size:13px}.compression-machine text.sc-small{font-size:11px}.compression-machine .sc-slide{transition:transform .4s cubic-bezier(.25,.8,.3,1)}.compression-machine .sc-control{cursor:pointer;outline:none}.compression-machine .sc-control:focus-visible .sc-body{stroke:var(--maroon);stroke-width:2.5}@media(prefers-reduced-motion:reduce){.compression-machine .sc-slide{transition:none}}.word-distance-machine{width:100%;color:var(--ink)}.word-distance-machine svg{width:100%;display:block}.word-distance-machine .wd-body,.word-distance-machine .wd-rail{fill:var(--paper);stroke:var(--line);stroke-width:1.2}.word-distance-machine .wd-side,.word-distance-machine .wd-inset{fill:var(--tint);stroke:var(--line);stroke-width:1.2}.word-distance-machine .wd-shadow{fill:var(--ink);opacity:.055}.word-distance-machine .wd-line{fill:none;stroke:var(--ink);stroke-width:.7}.word-distance-machine .wd-active{fill:var(--paper);stroke:var(--maroon);stroke-width:1.6}.word-distance-machine .wd-accent{fill:var(--maroon)}.word-distance-machine .wd-accent-line{fill:none;stroke:var(--maroon);stroke-width:1.7;stroke-linecap:round;stroke-linejoin:round}.word-distance-machine text{fill:var(--ink);text-anchor:middle;font-family:ui-monospace,SFMono-Regular,monospace;font-size:12px}.word-distance-machine .wd-small{font-size:10px}.word-distance-machine .wd-moving{transition:transform .45s cubic-bezier(.25,.8,.3,1)}.word-distance-machine .wd-control{cursor:pointer;outline:none}.word-distance-machine .wd-control:focus-visible .wd-body{stroke:var(--maroon);stroke-width:2.5}@media(prefers-reduced-motion:reduce){.word-distance-machine .wd-moving{transition:none}}.reverse-machine{width:100%;color:var(--ink)}.reverse-machine svg{display:block;width:100%;overflow:visible}.reverse-machine .rl-body{fill:var(--paper);stroke:var(--line);stroke-width:1.2}.reverse-machine .rl-side,.reverse-machine .rl-inset{fill:var(--tint);stroke:var(--line);stroke-width:1.2}.reverse-machine .rl-selected{fill:var(--paper);stroke:var(--maroon);stroke-width:1.7}.reverse-machine .rl-shadow{fill:var(--ink);opacity:.055}.reverse-machine .rl-accent{fill:var(--maroon)}.reverse-machine .rl-fastener{fill:var(--line)}.reverse-machine .rl-arm{fill:none;stroke:var(--line);stroke-width:5;stroke-linecap:round}.reverse-machine .rl-icon{fill:none;stroke:var(--maroon);stroke-width:2;stroke-linecap:round}.reverse-machine text{fill:var(--ink);font:12px ui-monospace,SFMono-Regular,monospace;text-anchor:middle}.reverse-machine .rl-slide{transition:transform .38s cubic-bezier(.25,.8,.3,1)}.reverse-machine .rl-lever{transition:transform .45s cubic-bezier(.25,.8,.3,1)}.reverse-machine .rl-control{cursor:pointer;outline:none;touch-action:pan-y}.reverse-machine .rl-hit{fill:transparent}.reverse-machine .rl-control:focus-visible .rl-body{stroke:var(--maroon);stroke-width:2.5}@media(prefers-reduced-motion:reduce){.reverse-machine .rl-slide,.reverse-machine .rl-lever{transition:none}}.longest-consecutive-machine{width:100%;color:var(--ink)}.longest-consecutive-machine svg{display:block;width:100%}.longest-consecutive-machine .lc-body,.longest-consecutive-machine .lc-rail{fill:var(--paper);stroke:var(--line);stroke-width:1.2}.longest-consecutive-machine .lc-side,.longest-consecutive-machine .lc-inset{fill:var(--tint);stroke:var(--line);stroke-width:1.2}.longest-consecutive-machine .lc-shadow{fill:var(--ink);opacity:.055}.longest-consecutive-machine .lc-ink{fill:var(--ink)}.longest-consecutive-machine .lc-active{fill:var(--paper);stroke:var(--maroon);stroke-width:1.5}.longest-consecutive-machine .lc-accent{fill:var(--maroon)}.longest-consecutive-machine .lc-accent-line{fill:none;stroke:var(--maroon);stroke-width:1.5;stroke-linecap:round;stroke-linejoin:round}.longest-consecutive-machine .lc-tick{fill:none;stroke:var(--ink);stroke-width:.7}.longest-consecutive-machine text{fill:var(--ink);text-anchor:middle;font:12px ui-monospace,SFMono-Regular,monospace}.longest-consecutive-machine .lc-small{font-size:10px}.longest-consecutive-machine .lc-moving{transition:transform .4s cubic-bezier(.25,.8,.3,1)}.longest-consecutive-machine .lc-control{cursor:pointer;outline:none}.longest-consecutive-machine .lc-control:focus-visible .lc-body{stroke:var(--maroon);stroke-width:2.5}@media(prefers-reduced-motion:reduce){.longest-consecutive-machine .lc-moving{transition:none}}.validate-bst-machine{width:100%;color:var(--ink)}.validate-bst-machine svg{width:100%;display:block}.validate-bst-machine .bst-body,.validate-bst-machine .bst-rail{fill:var(--paper);stroke:var(--line);stroke-width:1.2}.validate-bst-machine .bst-side,.validate-bst-machine .bst-inset{fill:var(--tint);stroke:var(--line);stroke-width:1.2}.validate-bst-machine .bst-shadow{fill:var(--ink);opacity:.055}.validate-bst-machine .bst-line{fill:none;stroke:var(--ink);stroke-width:.7}.validate-bst-machine .bst-link{fill:none;stroke:var(--line);stroke-width:4}.validate-bst-machine .bst-active{fill:var(--paper);stroke:var(--maroon);stroke-width:1.8}.validate-bst-machine .bst-accent{fill:var(--maroon)}.validate-bst-machine .bst-accent-line{fill:none;stroke:var(--maroon);stroke-width:1.7}.validate-bst-machine text{fill:var(--ink);text-anchor:middle;font-family:ui-monospace,SFMono-Regular,monospace;font-size:12px}.validate-bst-machine .bst-small{font-size:10px}.validate-bst-machine .bst-moving{transition:transform .45s cubic-bezier(.25,.8,.3,1)}.validate-bst-machine .bst-control{cursor:pointer;outline:none}.validate-bst-machine .bst-control:focus-visible .bst-body{stroke:var(--maroon);stroke-width:2.5}@media(prefers-reduced-motion:reduce){.validate-bst-machine .bst-moving{transition:none}}.house-robber-machine{width:100%;color:var(--ink)}.house-robber-machine svg{display:block;width:100%}.house-robber-machine .hr-body{fill:var(--paper);stroke:var(--line);stroke-width:1.2}.house-robber-machine .hr-side,.house-robber-machine .hr-inset{fill:var(--tint);stroke:var(--line);stroke-width:1.2}.house-robber-machine .hr-shadow{fill:var(--ink);opacity:.055}.house-robber-machine .hr-active{fill:var(--paper);stroke:var(--maroon);stroke-width:1.5}.house-robber-machine .hr-accent{fill:var(--maroon)}.house-robber-machine text{fill:var(--ink);text-anchor:middle;font-family:ui-monospace,SFMono-Regular,monospace;font-size:12px}.house-robber-machine .hr-small{font-size:10px}.house-robber-machine .hr-value{font-size:20px}.house-robber-machine .hr-lit{fill:var(--maroon)}.house-robber-machine .hr-carriage{transition:transform .45s cubic-bezier(.25,.8,.3,1)}.house-robber-machine .hr-selector{transform-origin:369px 170px;transition:transform .4s ease}.house-robber-machine .hr-control{cursor:pointer;outline:none}.house-robber-machine .hr-control:focus-visible .hr-body{stroke:var(--maroon);stroke-width:2.5}@media(prefers-reduced-motion:reduce){.house-robber-machine .hr-carriage,.house-robber-machine .hr-selector{transition:none}}.product-except-self-machine{width:100%;color:var(--ink)}.product-except-self-machine svg{display:block;width:100%}.product-except-self-machine .pes-body,.product-except-self-machine .pes-rail{fill:var(--paper);stroke:var(--line);stroke-width:1.2}.product-except-self-machine .pes-side,.product-except-self-machine .pes-inset{fill:var(--tint);stroke:var(--line);stroke-width:1.2}.product-except-self-machine .pes-shadow{fill:var(--ink);opacity:.055}.product-except-self-machine .pes-active{fill:var(--paper);stroke:var(--maroon);stroke-width:1.5}.product-except-self-machine .pes-accent{fill:var(--maroon)}.product-except-self-machine .pes-screw{fill:none;stroke:var(--ink);stroke-width:.7}.product-except-self-machine .pes-icon{fill:none;stroke:var(--maroon);stroke-width:1.7}.product-except-self-machine text{fill:var(--ink);text-anchor:middle;font-family:ui-monospace,SFMono-Regular,monospace;font-size:14px}.product-except-self-machine .pes-small{font-size:10px}.product-except-self-machine .pes-carriage{transition:transform .4s cubic-bezier(.25,.8,.3,1)}.product-except-self-machine .pes-control{cursor:pointer;outline:none}.product-except-self-machine .pes-control:focus-visible .pes-body{stroke:var(--maroon);stroke-width:2.5}@media(prefers-reduced-motion:reduce){.product-except-self-machine .pes-carriage{transition:none}}.word-search-machine{width:100%;color:var(--ink)}.word-search-machine svg{display:block;width:100%}.word-search-machine .ws-body,.word-search-machine .ws-rail{fill:var(--paper);stroke:var(--line);stroke-width:1.2}.word-search-machine .ws-side,.word-search-machine .ws-inset{fill:var(--tint);stroke:var(--line);stroke-width:1.2}.word-search-machine .ws-shadow{fill:var(--ink);opacity:.055}.word-search-machine .ws-active{fill:var(--paper);stroke:var(--maroon);stroke-width:1.7}.word-search-machine .ws-accent,.word-search-machine .ws-tip{fill:var(--maroon)}.word-search-machine .ws-screw{fill:none;stroke:var(--ink);stroke-width:.7}.word-search-machine .ws-icon{fill:none;stroke:var(--maroon);stroke-width:1.7}.word-search-machine .ws-arm{fill:none;stroke:var(--ink);stroke-width:3;stroke-linejoin:round}.word-search-machine .ws-trace{fill:none;stroke:var(--maroon);stroke-width:3;opacity:.45;stroke-linecap:round;stroke-linejoin:round}.word-search-machine .ws-retracted{fill:none;stroke:var(--maroon);stroke-width:1;stroke-dasharray:3 3;opacity:.55}.word-search-machine text{fill:var(--ink);text-anchor:middle;font-family:ui-monospace,SFMono-Regular,monospace;font-size:14px}.word-search-machine .ws-small{font-size:10px}.word-search-machine .ws-matched{font-size:10px;fill:var(--maroon);font-weight:700}.word-search-machine .ws-probe,.word-search-machine .ws-gantry{transition:transform .35s cubic-bezier(.25,.8,.3,1)}.word-search-machine .ws-control{cursor:pointer;outline:none}.word-search-machine .ws-control:focus-visible .ws-body{stroke:var(--maroon);stroke-width:2.5}@media(prefers-reduced-motion:reduce){.word-search-machine .ws-probe,.word-search-machine .ws-gantry{transition:none}}.top-k-frequent-machine{width:100%;color:var(--ink)}.top-k-frequent-machine svg{display:block;width:100%}.top-k-frequent-machine .tk-body,.top-k-frequent-machine .tk-rail{fill:var(--paper);stroke:var(--line);stroke-width:1.2}.top-k-frequent-machine .tk-side,.top-k-frequent-machine .tk-inset{fill:var(--tint);stroke:var(--line);stroke-width:1.2}.top-k-frequent-machine .tk-shadow{fill:var(--ink);opacity:.055}.top-k-frequent-machine .tk-active{fill:var(--paper);stroke:var(--maroon);stroke-width:1.5}.top-k-frequent-machine .tk-accent{fill:var(--maroon)}.top-k-frequent-machine .tk-screw{fill:none;stroke:var(--ink);stroke-width:.7}.top-k-frequent-machine .tk-icon{fill:none;stroke:var(--maroon);stroke-width:1.7}.top-k-frequent-machine text{fill:var(--ink);text-anchor:middle;font-family:ui-monospace,SFMono-Regular,monospace;font-size:14px}.top-k-frequent-machine .tk-small{font-size:10px}.top-k-frequent-machine .tk-carriage{transition:transform .35s ease}.top-k-frequent-machine .tk-control{cursor:pointer;outline:none}.top-k-frequent-machine .tk-control:focus-visible .tk-body{stroke:var(--maroon);stroke-width:2.5}.top-k-frequent-machine .tk-sr{position:absolute;width:1px;height:1px;padding:0;overflow:hidden;clip-path:inset(50%);white-space:nowrap}@media(prefers-reduced-motion:reduce){.top-k-frequent-machine .tk-carriage{transition:none}}.longest-substring-machine{width:100%;color:var(--ink)}.longest-substring-machine svg{display:block;width:100%}.longest-substring-machine .ls-body,.longest-substring-machine .ls-rail{fill:var(--paper);stroke:var(--line);stroke-width:1.2}.longest-substring-machine .ls-side,.longest-substring-machine .ls-inset{fill:var(--tint);stroke:var(--line);stroke-width:1.2}.longest-substring-machine .ls-shadow{fill:var(--ink);opacity:.055}.longest-substring-machine .ls-tape,.longest-substring-machine .ls-cell{fill:var(--paper);stroke:var(--line);stroke-width:.8}.longest-substring-machine .ls-active{fill:var(--tint)}.longest-substring-machine .ls-jaw-face{fill:var(--paper);stroke:var(--maroon);stroke-width:1.5;stroke-linejoin:round}.longest-substring-machine .ls-fastener{fill:var(--ink);opacity:.55}.longest-substring-machine text{fill:var(--ink);text-anchor:middle;font-family:ui-monospace,SFMono-Regular,monospace;font-size:17px}.longest-substring-machine .ls-duplicate{fill:var(--maroon)}.longest-substring-machine .ls-readout{font-size:13px;fill:var(--maroon)}.longest-substring-machine .ls-icon{fill:none;stroke:var(--maroon);stroke-width:1.6;stroke-linecap:round;stroke-linejoin:round}.longest-substring-machine .ls-icon-fill{fill:var(--maroon)}.longest-substring-machine .ls-jaw{transition:transform .4s cubic-bezier(.25,.8,.3,1)}.longest-substring-machine .ls-control{cursor:pointer;outline:none}.longest-substring-machine .ls-control:focus-visible .ls-body{stroke:var(--maroon);stroke-width:2.5}@media(prefers-reduced-motion:reduce){.longest-substring-machine .ls-jaw{transition:none}}.leetcode-machines img{max-width:100%;height:auto}.leetcode-machines table{display:block;max-width:100%;overflow-x:auto;border-collapse:collapse;margin-bottom:18px}.leetcode-machines :is(td,th){border:1px solid var(--line);padding:8px}.leetcode-machines pre{max-width:100%}.leetcode-machines .essay-content>p:first-child+blockquote{margin:0 0 24px 24px;padding:0;border:0;background:none;color:inherit;font-size:inherit}.algorithm-machine{width:100%;margin:0 0 20px}.algorithm-machine svg{display:block;width:100%;height:auto}