pre code.hljs{padding:1em;display:block;overflow-x:auto}code.hljs{padding:3px 5px}.hljs{color:#24292e;background:#fff}.hljs-doctag,.hljs-keyword,.hljs-meta .hljs-keyword,.hljs-template-tag,.hljs-template-variable,.hljs-type,.hljs-variable.language_{color:#d73a49}.hljs-title,.hljs-title.class_,.hljs-title.class_.inherited__,.hljs-title.function_{color:#6f42c1}.hljs-attr,.hljs-attribute,.hljs-literal,.hljs-meta,.hljs-number,.hljs-operator,.hljs-variable,.hljs-selector-attr,.hljs-selector-class,.hljs-selector-id{color:#005cc5}.hljs-regexp,.hljs-string,.hljs-meta .hljs-string{color:#032f62}.hljs-built_in,.hljs-symbol{color:#e36209}.hljs-comment,.hljs-code,.hljs-formula{color:#6a737d}.hljs-name,.hljs-quote,.hljs-selector-tag,.hljs-selector-pseudo{color:#22863a}.hljs-subst{color:#24292e}.hljs-section{color:#005cc5;font-weight:700}.hljs-bullet{color:#735c0f}.hljs-emphasis{color:#24292e;font-style:italic}.hljs-strong{color:#24292e;font-weight:700}.hljs-addition{color:#22863a;background-color:#f0fff4}.hljs-deletion{color:#b31d28;background-color:#ffeef0}:root{color:#20272c;font-synthesis:none;--teal:#167465;--line:#dce1e3;--muted:#737a80;--tint:#eef6f4;background:#fff;font-family:Inter,-apple-system,BlinkMacSystemFont,Segoe UI,Microsoft YaHei,sans-serif}*{box-sizing:border-box}body{margin:0}button,input,select{font:inherit}button,a,input,select{-webkit-tap-highlight-color:transparent}button{cursor:pointer;border:1px solid var(--line);color:inherit;background:#fff;border-radius:6px;min-height:44px;padding:10px 15px}button:hover:not(:disabled){background:var(--tint);border-color:#7faea5}button:disabled{opacity:.4;cursor:default}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible{outline-offset:3px;outline:3px solid #78b7aa}a{color:var(--teal)}.sidebar{border-right:1px solid var(--line);z-index:20;background:#f7f8f9;flex-direction:column;width:256px;display:flex;position:fixed;inset:0 auto 0 0}.brand{letter-spacing:-1px;color:#08685e;padding:28px 26px;font-size:29px;font-weight:750}.search{background:#fff;border:1px solid #ccd3d7;border-radius:8px;align-items:center;gap:8px;margin:0 20px 18px;padding:0 12px;display:flex}.search span{font-size:25px}.search input{background:0 0;border:0;outline:none;width:100%;min-width:0;height:43px;font-size:14px}.filters{gap:14px;padding:0 20px 14px;display:flex}.filters button{background:0 0;border:0;flex:1;min-height:38px;padding:7px}.filters .selected{color:var(--teal);border-bottom:2px solid var(--teal);border-radius:0;font-weight:650}.sidebar nav{flex:1;padding:0 8px;overflow-y:auto}.sidebar nav a{color:inherit;border-bottom:1px solid #e4e7e9;align-items:center;gap:12px;padding:16px 13px;font-size:14px;line-height:1.5;text-decoration:none;display:flex}.sidebar nav a[aria-current]{background:var(--teal);color:#fff;border-color:#0000;border-radius:6px}.sidebar nav a:hover:not([aria-current]){background:#e9efed}.problem-number{font-variant-numeric:tabular-nums;flex-shrink:0;font-size:14px}.animation-dot{margin-left:auto}.sidebar footer{border-top:1px solid var(--line);padding:22px 24px;font-size:15px}.sidebar footer>span{vertical-align:middle;margin-right:10px;font-size:24px}.sidebar footer small{color:var(--muted);margin:6px 0 0 36px;font-size:12px;display:block}.empty-search{color:var(--muted);padding:15px;font-size:14px}.workspace{margin-left:256px}.toolbar{border-bottom:1px solid var(--line);background:#fff;justify-content:space-between;align-items:center;height:72px;padding:0 32px;display:flex}.menu-button{letter-spacing:1px;border:0;padding-left:0}.menu-button span{margin-right:13px}.paging{border:1px solid var(--line);border-radius:8px;padding:0 5px;display:flex}.paging button{border:0;border-radius:0;min-height:40px;padding:7px 17px}.paging button+button{border-left:1px solid var(--line)}main{outline:none;max-width:1760px;margin:0 auto;padding:32px}.study-layout{grid-template-columns:minmax(0,1fr) minmax(350px,.93fr);gap:36px;display:grid}.lesson{min-width:0}h1{letter-spacing:-.7px;margin:0 0 12px;font-size:clamp(29px,2.55vw,42px);font-weight:740;line-height:1.3}.english-title{color:#85878e;margin:0 0 25px;font-size:21px}.tabs{border-bottom:1px solid #ccd4d8;flex-wrap:wrap;align-items:center;gap:22px;margin-bottom:28px;display:flex}.tabs button{border:0;border-radius:0;padding:12px 4px;font-size:17px}.tabs .active{border-bottom:3px solid var(--teal);color:var(--teal);font-weight:650}.jump-demo{margin-left:auto;font-size:13px;display:none}.prose{overflow-wrap:anywhere;font-size:16px;line-height:1.85}.prose>p:first-child{margin-top:0}.prose h2{margin:30px 0 14px;font-size:22px;line-height:1.5}.prose h3{margin-top:25px;font-size:19px}.prose p{margin:14px 0}.prose pre,.trace-output{border:1px solid var(--line);white-space:pre;background:#f7f8fa;border-radius:7px;padding:16px;font-family:Consolas,SFMono-Regular,monospace;font-size:13px;line-height:1.9;overflow-x:auto}.prose :not(pre)>code{background:#f1f3f5;border-radius:3px;padding:2px 4px;font-size:.88em}.prose ul,.prose ol{padding-left:24px}.prose table{border-collapse:collapse;max-width:100%;font-size:14px;display:block;overflow-x:auto}.prose th,.prose td{border:1px solid var(--line);padding:8px 12px}.prose blockquote{color:#58666a;border-left:3px solid #82a99f;margin:20px 0;padding:1px 18px}.demo-column{min-width:0;scroll-margin-top:18px}.sudoku-grid .value-cell:nth-child(10n+4),.sudoku-grid .value-cell:nth-child(10n+7){border-right:2px solid #536b66}.sudoku-grid .value-cell:nth-child(n+31):nth-child(-n+40),.sudoku-grid .value-cell:nth-child(n+61):nth-child(-n+70){border-bottom:2px solid #536b66}.sudoku-grid .value-cell:first-child{font-size:10px}.sudoku-grid .value-cell.conflict{color:#8b251d;background:#fbe8e5;border-color:#a73b30;font-weight:700}.step-player.sudoku-player{padding:16px}.sudoku-player .demo-subtitle{margin-bottom:12px}.sudoku-player .visual-stage{gap:12px;padding:12px 0}.sudoku-player .grid-view{gap:2px;max-width:300px}.sudoku-player .value-cell.wall{color:#526168}.sudoku-player .step-note{min-height:0;margin-bottom:12px;padding:10px 12px}.sudoku-player .timeline{margin:12px 0 4px}.candidate-view{font-size:14px;line-height:1.6}.candidate-view p{color:var(--teal);margin:0 0 4px;font-weight:650}.candidate-view summary{cursor:pointer}.candidate-view ul{margin:8px 0;padding-left:24px}.step-player{background:#fff;border:1px solid #cfd6da;border-radius:5px;padding:23px 22px}.step-player h2,.no-animation h2{margin:0 0 10px;font-size:23px}.demo-subtitle{color:var(--muted);margin:0 0 25px;font-size:15px;line-height:1.7}.example-label{color:var(--muted);align-items:center;gap:12px;font-size:14px;display:flex}.example-label select{color:#303a3d;background:#fff;border:1px solid #cfd5d8;border-radius:5px;min-width:0;max-width:100%;padding:9px}.visual-stage{flex-direction:column;justify-content:center;gap:22px;min-height:260px;padding:26px 0;display:flex}.state-caption{color:#536b66;white-space:pre-wrap;margin:0;font-size:14px;line-height:1.6}.array-view{flex-wrap:wrap;row-gap:15px;width:100%;display:flex}.array-item{text-align:center;flex:1;min-width:39px}.value-cell{overflow-wrap:anywhere;background:#fff;border:1px solid #aeb9bd;justify-content:center;align-items:center;min-height:49px;padding:5px;font-size:20px;transition:background-color .2s;display:flex}.array-item+.array-item .value-cell{border-left-width:0}.array-item small{color:#586b67;min-height:17px;margin-top:9px;font-size:11px;display:block}.value-cell.active{outline:2px solid var(--teal);outline-offset:-2px;color:#096b5e;background:#e5f2ee;font-weight:700}.value-cell.done{color:#086c60;background:#edf5f3}.value-cell.bar{color:#fff;background:#647780}.value-cell.water{color:#176587;background:#d8edf7}.value-cell.wall{color:#919a9f;background:#eceff1}.grid-view{gap:4px;width:100%;max-width:350px;margin:0 auto;display:grid}.grid-view .value-cell{aspect-ratio:1;min-height:0;max-height:60px;font-size:17px}.grid-view.text-grid{gap:1px;max-width:100%}.grid-view.text-grid .value-cell{aspect-ratio:auto;white-space:nowrap;min-height:30px;padding:2px 0;font-family:Consolas,SFMono-Regular,monospace;font-size:14px}.grid-view.text-grid .value-cell.wall{color:#59685f}.state-table{border-collapse:collapse;text-align:left;max-width:100%;font-size:14px}.state-table caption{text-align:left;margin-bottom:10px;font-size:16px;font-weight:650}.state-table th,.state-table td{white-space:pre-wrap;word-break:break-word;border:1px solid #cfd6d9;padding:10px 12px}.state-table th{background:#f8f9fa;font-weight:500}.tree-view{width:100%;max-height:260px}.interval-view{width:100%;display:block}.tree-node{fill:#fff;stroke:#acbdb6;stroke-width:2px}.tree-node.active{fill:#d5ece6;stroke:var(--teal);stroke-width:3px}.tree-node.done{fill:#eaf3ef}.tree-node.wall{fill:#eceff1;stroke:#a5aeae;stroke-dasharray:4 3}.tree-view text{fill:#253b35;font-size:16px}.tree-view .tree-label{fill:var(--teal);font-size:12px}.trace-output{white-space:pre-wrap;margin:0;font-size:14px}.step-note{background:#f0f7f5;border:1px solid #b9d8d0;border-radius:7px;min-height:92px;margin:0 0 24px;padding:17px;font-size:15px;line-height:1.75}.step-buttons{flex-wrap:wrap;gap:10px;display:flex}.step-buttons button{white-space:nowrap;flex:1;padding:10px 8px;font-size:14px}.step-buttons .primary{background:var(--teal);color:#fff;border-color:var(--teal)}.step-buttons .primary:hover:not(:disabled){background:#0b6356}.timeline{align-items:center;gap:20px;margin:26px 0 10px;display:flex}.timeline input{min-width:0;accent-color:var(--teal);flex:1;height:22px}.timeline span{white-space:nowrap;font-size:13px}.play-button{color:var(--teal);background:0 0;border:0;margin:0 auto;padding:8px 20px;display:block}.demo-footnote{color:var(--muted);margin:22px 2px;font-size:13px;line-height:1.7}.no-animation{border:1px solid var(--line);color:#58656a;border-radius:5px;padding:25px;line-height:1.8}.no-animation h2{color:#303a3d;font-size:20px}.code-layout{grid-template-columns:minmax(0,1fr)}.code-layout .demo-column{max-width:650px}.split-code,.solution-workbench{min-width:0}.workbench-heading{grid-template-columns:minmax(0,1fr) minmax(390px,1.08fr);align-items:center;gap:34px;margin-bottom:26px;display:grid}.workbench-heading h1{margin:0}.workbench-grid{grid-template-columns:minmax(0,1fr) minmax(390px,1.08fr);align-items:start;gap:34px;display:grid}.workbench-reading,.workbench-code{min-width:0}.workbench-code{scrollbar-gutter:stable;max-height:calc(100dvh - 32px);padding-right:4px;position:sticky;top:16px;overflow-y:auto}.solution-tabs{border:1px solid var(--line);background:#f8faf9;border-radius:9px;flex-wrap:wrap;gap:8px;margin:0;padding:8px;display:flex}.solution-tabs button{background:0 0;border:0;min-height:38px;padding:8px 16px}.solution-tabs button.active{color:#fff;background:var(--teal)}.solution-empty{color:#66736f;background:#fbfcfc;border:1px dashed #b8c8c3;border-radius:9px;min-height:220px;padding:30px}.solution-empty strong{color:#273735;font-size:19px;display:block}.solution-empty p{line-height:1.8}.solution-empty>p{margin:8px 0 22px}.solution-empty details{border-top:1px solid var(--line);padding:14px 0}.solution-empty summary{color:#273735;cursor:pointer;font-weight:700}.solution-empty details p{margin:10px 0 0}.workbench-code>h2{margin:0 0 12px;font-size:20px}.workbench-animation{margin-top:28px}.split-code>h2{margin:0 0 12px;font-size:20px}.split-layout .jump-demo{display:block}.split-layout>.demo-column{max-width:650px}@media (width>=721px){.sidebar.collapsed{display:none}.workspace.expanded{margin-left:0}}@media (width>=1000px){.study-layout.split-layout{grid-template-columns:minmax(0,1fr) minmax(0,1.15fr);gap:28px}.split-code{scrollbar-gutter:stable;align-self:start;max-height:calc(100dvh - 32px);padding-right:4px;position:sticky;top:16px;overflow-y:auto}.split-layout>.demo-column{grid-column:1}}.code-hint{color:#62706e;font-size:14px;line-height:1.8}.code-actions{flex-wrap:wrap;align-items:center;gap:10px;font-size:13px;display:flex}.java-code{border:1px solid var(--line);tab-size:4;background:#f8f9fa;border-radius:6px;padding:18px;font-family:Consolas,SFMono-Regular,monospace;font-size:13px;line-height:1.7;overflow-x:auto}.error{background:#fcf6f0;padding:30px}.resource-dialog{border:1px solid var(--line);border-radius:10px;width:min(900px,94vw);max-height:90vh;padding:24px}.resource-dialog::backdrop{background:#172c2666}.resource-dialog header{justify-content:space-between;align-items:center;gap:15px;display:flex}.resource-dialog h2{overflow-wrap:anywhere;font-size:20px}.mobile-only,.scrim{display:none}.skip-link{z-index:100;background:#fff;padding:12px;position:fixed;top:-80px;left:20px}.skip-link:focus{top:10px}@media (width>=1181px){.study-layout:not(.code-layout):not(.split-layout)>.demo-column{scrollbar-gutter:stable;align-self:start;max-height:calc(100dvh - 32px);padding-right:4px;position:sticky;top:16px;overflow-y:auto}}@media (width>=1700px){main{padding:40px 50px}.study-layout{gap:48px}.step-player{padding:30px}.prose{font-size:17px}}@media (width<=1180px){.sidebar{width:235px}.workspace{margin-left:235px}main{padding:26px}.study-layout{grid-template-columns:minmax(0,1fr)}.demo-column{max-width:700px}.jump-demo{display:block}.toolbar{padding:0 26px}.prose{max-width:760px}.brand{font-size:27px}.visual-stage{min-height:230px}}@media (width<=999px){.workbench-heading,.workbench-grid{grid-template-columns:minmax(0,1fr)}.workbench-code{grid-row:1;max-height:none;position:static;overflow:visible}}@media (width<=720px){.sidebar{width:min(310px,86vw);transition:transform .2s;transform:translate(-100%)}.sidebar.open{transform:translate(0)}.workspace{margin-left:0}.mobile-only{display:block}.brand{justify-content:space-between;align-items:center;padding:22px;display:flex}.close-menu{border:0;padding:0 10px;font-size:26px}.scrim{z-index:19;background:#1a30275c;border:0;border-radius:0;display:block;position:fixed;inset:0}.toolbar{height:64px;padding:0 18px}.menu-button{letter-spacing:0;font-size:14px}.menu-button span{margin-right:7px}.paging button{min-height:38px;padding:5px 10px;font-size:13px}main{padding:25px 19px}h1{font-size:29px}.english-title{margin-bottom:18px;font-size:18px}.tabs{gap:20px;margin-bottom:25px}.tabs button{font-size:16px}.prose{font-size:15px}.prose h2{font-size:21px}.step-player{padding:20px 16px}.step-player h2{font-size:22px}.demo-subtitle{font-size:14px}.step-buttons{gap:7px}.step-buttons button{font-size:13px}.step-note{font-size:14px}.timeline{gap:10px}.skip-link{left:10px}.resource-dialog{padding:16px}.state-table td,.state-table th{padding:8px}.java-code{font-size:12px}}@media (prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;transition:none!important}}.article-outline{z-index:4;background:#fafbf8;border-bottom:1px solid #dce5df;flex-wrap:wrap;gap:8px;max-width:100%;padding:10px 0;display:flex;position:sticky;top:72px}.article-outline a,.article-outline.tab-mode button{white-space:nowrap;text-overflow:ellipsis;color:#42635b;border-radius:20px;flex:none;align-items:center;min-height:36px;padding:7px 12px;font-size:13px;text-decoration:none;display:inline-flex;overflow:hidden}.article-outline.tab-mode button{background:0 0;border:0}.article-outline a[aria-current=location]{color:#174f43;background:#d9eee7}.article-outline.tab-mode button.active-section{color:#174f43;background:#d9eee7;font-weight:650}.article-outline a.solution-selected{color:#0b6356;font-weight:650;box-shadow:inset 0 0 0 1px #23856c}.article-outline a:focus-visible{outline-offset:-2px;outline:2px solid #23856c}.prose h2[id],.prose h3[id]{scroll-margin-top:165px}@media (width<=720px){.article-outline{top:64px}}@media print{.article-outline{display:none}}@media (width<=720px){.sidebar{visibility:hidden}.sidebar.open{visibility:visible}}