@font-face{font-family:JetBrains Mono;src:url('/font/JetBrainsMono-Regular.woff2') format('woff2');font-display:swap}
:root{--paper:#f7f6f2;--surface:#fffefb;--ink:#242a27;--muted:#56615a;--line:#dcded6;--accent:#304f46;--soft:#eceee7;--code:#eeeee8;--serif:Georgia,'Noto Serif TC','Songti TC','PMingLiU',serif;--sans:-apple-system,BlinkMacSystemFont,'Segoe UI','Noto Sans TC',sans-serif;color-scheme:light}
:root[data-theme=dark]{--paper:#19211e;--surface:#202a25;--ink:#e7e9e2;--muted:#a9b4aa;--line:#3a473f;--accent:#b3cdbd;--soft:#26362d;--code:#121b16;color-scheme:dark}
*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:100px}body{margin:0;background:var(--paper);color:var(--ink);font-family:var(--sans);font-size:17px;line-height:1.7;-webkit-font-smoothing:antialiased}button,input{font:inherit}button,a{-webkit-tap-highlight-color:transparent}button{cursor:pointer}a{color:inherit;text-decoration:none}a:hover{color:var(--accent)}:focus-visible{outline:2px solid var(--accent);outline-offset:4px}[hidden]{display:none!important}::selection{background:var(--accent);color:var(--paper)}.icon{width:20px;height:20px;stroke:currentColor;stroke-width:2;vertical-align:middle;flex:none}.skip-link{position:fixed;top:-100px;left:20px;z-index:20;background:var(--ink);color:var(--paper);padding:12px}.skip-link:focus{top:10px}.site-header{border-bottom:1px solid var(--line);background:var(--paper)}.header-inner{max-width:1180px;margin:auto;height:98px;display:flex;align-items:center;gap:48px;padding:0 40px}.wordmark{font-family:var(--serif);font-weight:700;font-size:24px;letter-spacing:-.5px;white-space:nowrap}.wordmark span{font-family:var(--sans);font-size:15px;font-weight:400;letter-spacing:2px;margin-left:14px;color:var(--muted)}.site-nav{margin-left:auto;display:flex;gap:30px;font-size:16px}.site-nav a{padding:12px 0;position:relative}.site-nav a[aria-current=page]:after{content:'';position:absolute;bottom:5px;left:0;right:0;height:2px;background:var(--accent)}.header-actions{display:flex;gap:5px}.icon-button{display:grid;place-items:center;width:44px;height:44px;border:0;background:transparent;color:var(--ink);border-radius:4px}.icon-button:hover{background:var(--soft)}.dark-icon{display:none}[data-theme=dark] .dark-icon{display:block}[data-theme=dark] .light-icon{display:none}.site-main{max-width:1100px;margin:auto;padding:0 40px}.home-intro{position:relative;padding:76px 0 72px;border-bottom:1px solid var(--line);overflow:hidden}.intro-label,.eyebrow{display:flex;align-items:center;gap:13px;font-size:13px;letter-spacing:2.8px;font-weight:600;color:var(--muted);margin:0 0 22px}.intro-line{width:32px;height:1px;background:var(--accent)}.home-intro h1{font-family:var(--serif);font-size:clamp(36px,5vw,54px);font-weight:600;line-height:1.55;letter-spacing:1px;margin:0 0 22px}.home-intro h1 span{color:var(--accent)}.home-intro>p{color:var(--muted);font-size:18px;max-width:520px;margin:0 0 24px}.text-link{display:inline-flex;gap:9px;align-items:center;color:var(--accent);font-size:16px;min-height:44px;border:0;background:transparent;padding:0}.text-link .icon{width:16px;height:16px}.intro-number{position:absolute;right:15px;top:80px;font-family:var(--serif);font-size:180px;line-height:1;color:var(--line);letter-spacing:-10px;opacity:.45;pointer-events:none}.home-writing{padding:48px 0 16px}.section-heading{display:flex;align-items:center;justify-content:space-between;margin:0 0 8px}.section-heading h2{font-family:var(--serif);font-size:23px;font-weight:500;margin:0}.post-row{display:grid;grid-template-columns:115px minmax(0,1fr) 32px;gap:26px;padding:31px 0;border-bottom:1px solid var(--line)}.post-date{font-size:14px;color:var(--muted);padding-top:5px}.post-date time{font-variant-numeric:tabular-nums;display:block}.post-date>span{display:block;margin-top:10px;font-size:14px}.post-row h2{margin:0 0 10px;font-family:var(--serif);font-size:23px;font-weight:500;line-height:1.55}.post-row-content>p{font-size:17px;color:var(--muted);line-height:1.85;margin:0 0 13px}.post-row-meta{display:flex;gap:15px;flex-wrap:wrap;font-size:14px;color:var(--muted)}.post-row-meta a{border-bottom:1px solid var(--line)}.post-arrow{width:44px;height:44px;display:grid;place-items:center;align-self:start;color:var(--muted)}.home-note{margin:44px 0 70px;padding:30px 0;display:flex;gap:20px;align-items:flex-start}.home-note>.icon{margin-top:5px}.home-note h2{font-family:var(--serif);font-size:20px;font-weight:500;margin:0 0 7px}.home-note p{font-size:16px;color:var(--muted);margin:0}.home-note>a{margin-left:auto;flex:none}.site-footer{max-width:1100px;margin:auto;padding:30px 40px 40px;border-top:1px solid var(--line);display:flex;justify-content:space-between;gap:30px;font-size:14px;color:var(--muted)}.site-footer>div{display:flex;gap:22px;align-items:center;flex-wrap:wrap}.site-footer>div:first-child{gap:12px}.site-footer>div:first-child>a{color:var(--ink);font-size:14px}.site-footer .icon{width:13px;height:13px}.collection-head{padding:66px 0 28px}.collection-head h1,.not-found h1{font-family:var(--serif);font-size:42px;font-weight:500;letter-spacing:1px;margin:0 0 15px}.collection-head>p:not(.eyebrow){font-size:17px;color:var(--muted)}.topic-links{display:flex;gap:22px;flex-wrap:wrap;margin-top:30px;border-bottom:1px solid var(--line)}.topic-links a{font-size:16px;padding:10px 0 12px;border-bottom:2px solid transparent}.topic-links [aria-current=page]{border-color:var(--accent);color:var(--accent)}.topic-links span{font-size:13px;margin-left:6px;color:var(--muted)}.archive-year{display:grid;grid-template-columns:85px minmax(0,1fr);gap:25px;margin:12px 0 30px}.year-label{font-family:var(--serif);font-size:30px;color:var(--accent);font-weight:400;margin:25px 0}.archive-year .post-row{grid-template-columns:94px minmax(0,1fr) 25px;gap:18px}.archive-year .post-row h2{font-size:21px}.page-number,.extend{display:inline-flex;padding:10px;margin:25px 5px 45px;font-size:13px}.article-layout{display:grid;grid-template-columns:minmax(0,740px) 200px;gap:65px;padding:50px 0 80px}.article{min-width:0}.back-link{display:inline-flex;align-items:center;gap:8px;font-size:15px;color:var(--muted);min-height:44px;margin-bottom:20px}.back-link .icon{width:16px;height:16px}.article-meta{display:flex;gap:20px;font-size:14px;color:var(--muted);margin:4px 0 15px}.article-header h1{font-family:var(--serif);font-size:clamp(28px,3.2vw,37px);font-weight:600;line-height:1.6;letter-spacing:.4px;margin:0 0 25px;overflow-wrap:anywhere}.article-header{border-bottom:1px solid var(--line);padding-bottom:28px;margin-bottom:38px}.language-switch{display:inline-flex;border:1px solid var(--line);padding:3px;border-radius:5px;gap:3px}.language-switch button{min-height:44px;padding:3px 15px;border:0;border-radius:3px;background:transparent;color:var(--muted);font-size:15px}.language-switch [aria-pressed=true]{background:var(--soft);color:var(--accent)}.prose{font-size:19px;line-height:1.9;overflow-wrap:break-word}.prose p{margin:0 0 1.4em}.prose h1,.prose h2,.prose h3,.prose h4{font-family:var(--serif);line-height:1.65;margin:1.9em 0 .85em;font-weight:600;scroll-margin-top:28px}.prose h2{font-size:29px}.prose h3{font-size:24px}.prose h4{font-size:21px}.prose h5,.prose h6{font-size:19px;line-height:1.7}.prose section>h2:first-child{margin-top:0}.prose a{color:var(--accent);text-decoration:underline;text-decoration-color:color-mix(in srgb,var(--accent) 35%,transparent);text-underline-offset:4px}.prose a:hover{text-decoration-color:var(--accent)}.prose ul,.prose ol{padding-left:25px;margin-bottom:1.5em}.prose li{margin:.25em 0}.prose li>p{margin:.6em 0}.prose blockquote{margin:1.6em 0;padding:5px 0 5px 22px;border-left:2px solid var(--accent);color:var(--muted)}.prose blockquote p:last-child{margin-bottom:0}.prose hr{border:0;border-top:1px solid var(--line);margin:2.4em 0}.prose img{max-width:100%;height:auto;border-radius:3px}.prose p>img{display:block;margin:25px auto}.prose img:not(.inline-logo):not([src^="data:"]){cursor:zoom-in}.prose .inline-logo{display:inline-block;width:auto;height:1.5em;max-width:180px;object-fit:contain;vertical-align:middle;border-radius:0;margin:0 .25em .15em 0}.prose .school-logo{height:42px;max-width:100%;margin-right:.4em}.prose img.school-logo[alt="NTNU Logo"]{background:#304f46;padding:4px 6px;box-sizing:content-box;border-radius:3px}.prose img.inline-logo[alt="TOI Logo"]{background:#fff;padding:4px 6px;box-sizing:content-box;border-radius:3px}.prose .legacy-icon{width:20px;height:20px;vertical-align:-3px}.prose font[color="white"]{color:var(--ink)}.prose font[color="yellow"]{color:var(--accent)}.anchor-alias{display:block;scroll-margin-top:28px}.table-scroll{overflow:auto;margin:1.6em 0;border:1px solid var(--line);border-radius:3px}.prose table{width:100%;border-collapse:collapse;font-size:16px;line-height:1.7;overflow-wrap:normal}.prose th,.prose td{padding:12px 16px;border-bottom:1px solid var(--line);text-align:left;min-width:65px}.prose th{background:var(--soft);font-weight:600;white-space:nowrap}.prose tr:last-child td{border:0}.prose tr:nth-child(even) td{background:color-mix(in srgb,var(--soft) 40%,transparent)}.prose pre{padding:23px 24px;overflow:auto;font-size:15px;line-height:1.8;background:var(--code);border:1px solid var(--line);border-radius:4px;tab-size:2;white-space:pre;overflow-wrap:normal}.prose code{font-family:'JetBrains Mono',ui-monospace,SFMono-Regular,monospace;font-size:.94em}.prose pre code{font-size:1em}.prose :not(pre)>code{background:var(--code);padding:2px 5px;border-radius:3px;color:var(--accent)}.code-block{position:relative;margin:1.5em 0}.code-block pre{padding-top:43px}.code-copy{position:absolute;top:8px;right:9px;border:1px solid var(--line);border-radius:3px;background:var(--surface);color:var(--muted);font-size:14px;min-height:36px;padding:2px 10px}.hljs-keyword,.hljs-selector-tag,.hljs-literal{color:#80504b}.hljs-string,.hljs-attr{color:#326651}.hljs-comment{color:var(--muted)}.hljs-number,.hljs-title,.hljs-built_in{color:#676292}[data-theme=dark] .hljs-keyword,[data-theme=dark] .hljs-literal{color:#e49e95}[data-theme=dark] .hljs-string,[data-theme=dark] .hljs-attr{color:#8cccab}[data-theme=dark] .hljs-number,[data-theme=dark] .hljs-title{color:#b6abe7}.katex-display{overflow:auto;padding:8px 0}.prose .katex{font-size:1.05em}.prose .mermaid{background:var(--surface);text-align:center}.prose .mermaid svg{max-width:100%;height:auto}.article-aside{min-width:0;padding-top:30px}.toc-inner{position:sticky;top:30px;font-size:14px}.toc-inner>p{letter-spacing:1px;color:var(--muted);margin-bottom:15px}.toc-inner nav{border-left:1px solid var(--line);display:flex;flex-direction:column;max-height:70vh;overflow:auto}.toc-inner nav a{color:var(--muted);padding:7px 0 7px 15px;line-height:1.7;border-left:2px solid transparent;margin-left:-1px}.toc-inner nav a:hover,.toc-inner nav a.active{color:var(--accent);border-left-color:var(--accent)}.toc-inner .toc-h3{padding-left:24px;font-size:13px}.toc-top{display:flex;align-items:center;gap:8px;margin-top:22px;color:var(--muted)}.toc-top .icon{width:14px;height:14px}.article-tags{display:flex;gap:16px;flex-wrap:wrap;margin:30px 0;font-size:14px;color:var(--muted)}.article-tags a{padding-bottom:3px;border-bottom:1px solid var(--line)}.engagement{margin-top:45px;border-top:1px solid var(--line);padding-top:25px}.engagement-actions{display:flex;align-items:center;gap:22px;flex-wrap:wrap}.like-button,.share-button{display:inline-flex;align-items:center;gap:8px;min-height:44px;padding:8px 13px;border:1px solid var(--line);border-radius:4px;color:var(--ink);background:transparent;font-size:16px}.like-button[aria-pressed=true]{color:#aa4554;background:color-mix(in srgb,#aa4554 7%,var(--paper));border-color:#aa4554}.like-button[aria-pressed=true] .icon{fill:currentColor}.like-button:disabled{cursor:wait;opacity:.65}.share-button .icon,.engagement-actions>a .icon{width:16px;height:16px}.engagement-status{font-size:15px;color:var(--muted)}.discussion{margin-top:32px;scroll-margin-top:28px}.discussion-widget{min-height:280px;max-width:100%}.discussion-widget iframe{width:100%;max-width:100%;border:0}.discussion-status{font-size:16px;color:var(--muted);line-height:1.8}.discussion-retry{margin:8px 0 12px}.discussion h2,.support-note h2{font-family:var(--serif);font-size:22px;font-weight:500;margin:0 0 10px}.discussion>p,.support-note p{font-size:16px;color:var(--muted)}.discussion-link{display:inline-flex;gap:8px;align-items:center;color:var(--accent);font-size:16px;min-height:44px}.discussion-link .icon{width:16px;height:16px}.comment{border-left:1px solid var(--line);padding-left:17px;font-size:17px;margin:25px 0}.comment-header{color:var(--muted);font-size:14px;margin-bottom:8px}.comment-body{white-space:pre-wrap;overflow-wrap:anywhere}.support-note{display:flex;justify-content:space-between;align-items:center;gap:25px;margin-top:30px;padding:25px;background:var(--soft)}.support-note>a{display:inline-flex;align-items:center;gap:7px;font-size:16px;color:var(--accent);flex:none}.post-navigation{margin-top:42px;padding-top:25px;border-top:1px solid var(--line);display:grid;grid-template-columns:1fr 1fr;gap:30px}.post-navigation a:last-child{justify-self:end;text-align:right}.post-navigation span{display:block;font-size:14px;color:var(--muted);margin-bottom:8px}.post-navigation strong{font-size:17px;font-weight:500}.search-dialog{width:min(640px,calc(100% - 32px));padding:25px 30px 30px;border:1px solid var(--line);border-radius:6px;background:var(--surface);color:var(--ink);max-height:85vh}.search-dialog::backdrop,.image-dialog::backdrop{background:rgba(10,20,15,.55)}.search-top{display:flex;justify-content:space-between;align-items:center;margin:0 0 15px}.search-top h2{font-family:var(--serif);font-size:25px;font-weight:500;margin:0}.search-label{font-size:15px;color:var(--muted)}#site-search{width:100%;padding:12px 14px;background:var(--paper);border:1px solid var(--line);border-radius:3px;margin-top:10px;color:var(--ink);font-size:17px}.search-status{font-size:15px;color:var(--muted)}.search-result{display:block;padding:18px 0;border-bottom:1px solid var(--line)}.search-result strong{font-family:var(--serif);font-size:18px;font-weight:500}.search-result p{color:var(--muted);font-size:15px;margin:8px 0 0}.toast{position:fixed;bottom:28px;left:50%;transform:translateX(-50%);max-width:calc(100vw - 32px);background:var(--ink);color:var(--paper);font-size:13px;padding:12px 20px;border-radius:4px;z-index:30}.image-dialog{border:0;padding:35px 10px 10px;background:transparent;max-width:96vw;max-height:95vh}.image-dialog>button{position:absolute;top:0;right:0;background:var(--surface)}.image-dialog img{display:block;max-width:90vw;max-height:85vh;object-fit:contain}.not-found{min-height:55vh;padding:80px 0}.not-found p:not(.eyebrow){color:var(--muted)}.not-found button{margin-left:20px}
@media(max-width:1000px){.article-layout{grid-template-columns:minmax(0,1fr);max-width:740px;margin:auto}.article-aside{display:none}.intro-number{right:-25px;font-size:150px}.home-intro>p{max-width:430px}}
@media(max-width:640px){.header-inner{height:80px;padding:0 22px;gap:12px;flex-wrap:wrap}.wordmark{font-size:21px}.wordmark span{display:none}.site-nav{gap:16px;font-size:15px}.header-actions{gap:0}.icon-button{width:40px;min-height:44px}.site-main{padding:0 24px}.home-intro{padding:50px 0 45px}.home-intro h1{font-size:36px}.intro-number{display:none}.home-intro>p{font-size:17px}.intro-label{font-size:12px}.home-writing{padding-top:32px}.section-heading h2{font-size:21px}.post-row,.archive-year .post-row{grid-template-columns:minmax(0,1fr) 28px;gap:8px;padding:26px 0}.post-date{grid-column:1/-1;display:flex;gap:13px;padding:0}.post-date>span{margin:0;font-size:14px}.post-row h2,.archive-year .post-row h2{font-size:21px}.post-row-content>p{font-size:16px}.post-row-meta{font-size:14px;gap:13px}.home-note{flex-wrap:wrap;margin:26px 0 45px;gap:12px}.home-note>div{flex:1}.home-note>a{margin-left:32px}.home-note h2{font-size:18px}.home-note p{font-size:16px}.site-footer{padding:24px;display:block}.site-footer>div{gap:18px;margin-bottom:14px}.site-footer>div:first-child{display:block}.site-footer>div:first-child>span{display:block;margin-top:5px}.collection-head{padding:45px 0 20px}.collection-head h1{font-size:34px}.topic-links{gap:18px}.archive-year{display:block;margin-bottom:26px}.year-label{font-size:26px;margin:12px 0 0}.article-layout{padding:28px 0 55px}.article-header{margin-bottom:30px;padding-bottom:22px}.article-header h1{font-size:29px}.prose{font-size:18px;line-height:1.9}.prose h2{font-size:26px}.prose h3{font-size:23px}.prose th,.prose td{padding:10px 12px}.prose pre{font-size:15px;padding-left:16px;padding-right:16px}.prose .school-logo{height:38px}.engagement-actions{gap:13px}.support-note{display:block;padding:20px}.support-note>a{margin-top:12px}.post-navigation{gap:20px}.post-navigation strong{font-size:16px}.search-dialog{padding:20px}.not-found h1{font-size:31px}}
@media(max-width:360px){.header-inner{height:auto;min-height:80px;gap:6px;padding:16px 20px}.wordmark{width:100%;margin-bottom:6px}.site-nav{margin-left:0;margin-right:auto}.home-intro h1{font-size:32px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*{transition:none!important;animation:none!important}}
@media print{.site-header,.site-footer,.article-aside,.engagement,.article-tags,.post-navigation,.back-link,.language-switch,.code-copy{display:none!important}body{background:white;color:black}.article-layout,.site-main{display:block;max-width:none;padding:0}.prose{font-size:11pt}.prose pre{white-space:pre-wrap}a{color:black}.article-header{margin:0 0 20px}.article-header h1{font-size:23pt}.table-scroll{overflow:visible}}

/* Keep the current three-column ranks readable without horizontal scrolling. */
@media(max-width:520px){.codingame-ranks .table-scroll{overflow:visible}.codingame-ranks table{table-layout:fixed;min-width:0;width:100%}.codingame-ranks th,.codingame-ranks td{padding:10px 8px;min-width:0;white-space:normal;overflow-wrap:anywhere;vertical-align:top}.codingame-ranks th:first-child{width:36%}.codingame-ranks th:nth-child(2){width:30%}.codingame-ranks th:nth-child(3){width:34%}}


/* Compact navigation keeps long articles reachable on phones and tablets. */
.mobile-toc{display:none}
@media(max-width:1000px){.mobile-toc{display:block;margin:0 0 34px;border:1px solid var(--line);background:var(--surface);border-radius:4px}.mobile-toc summary{display:flex;align-items:center;gap:12px;min-height:52px;padding:13px 16px;cursor:pointer;font-size:16px;line-height:1.7;list-style:none}.mobile-toc summary::-webkit-details-marker{display:none}.mobile-toc summary .icon:last-child{margin-left:auto;transition:transform .15s}.mobile-toc[open] summary .icon:last-child{transform:rotate(180deg)}.mobile-toc nav{display:flex;flex-direction:column;max-height:min(60vh,480px);overflow:auto;border-top:1px solid var(--line);padding:8px 0}.mobile-toc nav a{display:block;min-height:44px;padding:10px 16px;font-size:16px;line-height:1.7;color:var(--muted);overflow-wrap:anywhere}.mobile-toc nav a:hover,.mobile-toc nav a:focus-visible{color:var(--accent);background:var(--soft)}.mobile-toc nav .toc-h3{padding-left:26px}}
@media print{.mobile-toc{display:none!important}}