:root{--color-bg: #ffffff;--color-text: #333333;--color-muted: #666666;--color-subtle: #6a737d;--color-primary: #3498db;--color-secondary: #5e7c99;--color-border: #eeeeee;--color-border-mid: #dfe2e5;--color-border-strong: #c6cbd1;--color-code-bg: #f6f8fa;--color-blockquote-border: #dfe2e5;--color-table-row-bg: #ffffff;--color-table-row-alt-bg: #f6f8fa;--color-link: #2b2b2b;--color-link-hover: #1a1a1a;--color-link-underline: rgba(51, 51, 51, 0.7);--color-nav-bg: #5e7c99;--color-scrollbar-thumb: #666666;--color-scrollbar-track: #dddddd}[data-theme="dark"]{--color-bg: #181825;--color-text: #cdd6f4;--color-muted: #a6adc8;--color-subtle: #9399b2;--color-primary: #89b4fa;--color-secondary: #89b4fa;--color-border: #313244;--color-border-mid: #45475a;--color-border-strong: #585b70;--color-code-bg: #1e1e2e;--color-blockquote-border: #45475a;--color-table-row-bg: #181825;--color-table-row-alt-bg: #1e1e2e;--color-link: #bac2de;--color-link-hover: #cdd6f4;--color-link-underline: rgba(186, 194, 222, 0.5);--color-nav-bg: #1e1e2e;--color-scrollbar-thumb: #585b70;--color-scrollbar-track: #313244}:root{--color-bg: #ffffff;--color-text: #333333;--color-muted: #666666;--color-subtle: #6a737d;--color-primary: #3498db;--color-secondary: #5e7c99;--color-border: #eeeeee;--color-border-mid: #dfe2e5;--color-border-strong: #c6cbd1;--color-code-bg: #f6f8fa;--color-blockquote-border: #dfe2e5;--color-table-row-bg: #ffffff;--color-table-row-alt-bg: #f6f8fa;--color-link: #2b2b2b;--color-link-hover: #1a1a1a;--color-link-underline: rgba(51, 51, 51, 0.7);--color-nav-bg: #5e7c99;--color-scrollbar-thumb: #666666;--color-scrollbar-track: #dddddd}[data-theme="dark"]{--color-bg: #181825;--color-text: #cdd6f4;--color-muted: #a6adc8;--color-subtle: #9399b2;--color-primary: #89b4fa;--color-secondary: #89b4fa;--color-border: #313244;--color-border-mid: #45475a;--color-border-strong: #585b70;--color-code-bg: #1e1e2e;--color-blockquote-border: #45475a;--color-table-row-bg: #181825;--color-table-row-alt-bg: #1e1e2e;--color-link: #bac2de;--color-link-hover: #cdd6f4;--color-link-underline: rgba(186, 194, 222, 0.5);--color-nav-bg: #1e1e2e;--color-scrollbar-thumb: #585b70;--color-scrollbar-track: #313244}.container{max-width:800px;margin:0 auto;padding:0 15px}.site-nav{background-color:var(--color-nav-bg);padding:5px 0;margin-bottom:30px;text-align:left}.site-nav .container{display:flex;align-items:center}.site-nav .site-title{color:white;font-size:1.5rem;font-weight:bold;text-decoration:none}.site-nav .nav-links{display:flex;align-items:center;gap:20px;margin-left:auto}.site-nav .nav-links a{color:white;text-decoration:none !important;display:inline-block}.site-nav .nav-links a:hover,.site-nav .nav-links a.active{text-decoration:underline !important;text-decoration-color:white;text-decoration-thickness:1px;text-underline-offset:2px}.site-nav .theme-toggle{order:1;margin-left:20px}.site-footer{margin-top:60px;padding:30px 0;border-top:1px solid var(--color-border);text-align:center;color:var(--color-muted)}@media (max-width: 600px){.container{padding:0 16px}.site-nav .container{display:grid;grid-template-columns:1fr auto 1fr;align-items:center;row-gap:6px}.site-nav .site-title{grid-column:2;justify-self:center}.site-nav .theme-toggle{grid-column:3;justify-self:end;order:0;margin-left:0}.site-nav .nav-links{grid-column:1 / -1;justify-content:center;margin-left:0}}:root{--color-bg: #ffffff;--color-text: #333333;--color-muted: #666666;--color-subtle: #6a737d;--color-primary: #3498db;--color-secondary: #5e7c99;--color-border: #eeeeee;--color-border-mid: #dfe2e5;--color-border-strong: #c6cbd1;--color-code-bg: #f6f8fa;--color-blockquote-border: #dfe2e5;--color-table-row-bg: #ffffff;--color-table-row-alt-bg: #f6f8fa;--color-link: #2b2b2b;--color-link-hover: #1a1a1a;--color-link-underline: rgba(51, 51, 51, 0.7);--color-nav-bg: #5e7c99;--color-scrollbar-thumb: #666666;--color-scrollbar-track: #dddddd}[data-theme="dark"]{--color-bg: #181825;--color-text: #cdd6f4;--color-muted: #a6adc8;--color-subtle: #9399b2;--color-primary: #89b4fa;--color-secondary: #89b4fa;--color-border: #313244;--color-border-mid: #45475a;--color-border-strong: #585b70;--color-code-bg: #1e1e2e;--color-blockquote-border: #45475a;--color-table-row-bg: #181825;--color-table-row-alt-bg: #1e1e2e;--color-link: #bac2de;--color-link-hover: #cdd6f4;--color-link-underline: rgba(186, 194, 222, 0.5);--color-nav-bg: #1e1e2e;--color-scrollbar-thumb: #585b70;--color-scrollbar-track: #313244}.post-list{list-style:none;padding:0}.post-list li{margin-bottom:30px;padding-bottom:30px;border-bottom:1px solid var(--color-border)}.post-list li:last-child{border-bottom:none}.post-list .post-link{font-size:1.2rem;font-weight:bold}.post-list .post-date{display:block;color:var(--color-muted);font-size:0.9rem;margin-top:5px}.post .post-header,.post .page-header,.page .post-header,.page .page-header{margin-bottom:30px}.post .post-title,.post .page-title,.page .post-title,.page .page-title{color:var(--color-text);margin-bottom:10px}.post .post-meta,.page .post-meta{color:var(--color-muted);font-size:0.9rem}.post .post-content h1,.post .post-content h2,.post .post-content h3,.post .post-content h4,.post .post-content h5,.post .post-content h6,.post .page-content h1,.post .page-content h2,.post .page-content h3,.post .page-content h4,.post .page-content h5,.post .page-content h6,.page .post-content h1,.page .post-content h2,.page .post-content h3,.page .post-content h4,.page .post-content h5,.page .post-content h6,.page .page-content h1,.page .page-content h2,.page .page-content h3,.page .page-content h4,.page .page-content h5,.page .page-content h6{color:var(--color-secondary)}:root{--color-bg: #ffffff;--color-text: #333333;--color-muted: #666666;--color-subtle: #6a737d;--color-primary: #3498db;--color-secondary: #5e7c99;--color-border: #eeeeee;--color-border-mid: #dfe2e5;--color-border-strong: #c6cbd1;--color-code-bg: #f6f8fa;--color-blockquote-border: #dfe2e5;--color-table-row-bg: #ffffff;--color-table-row-alt-bg: #f6f8fa;--color-link: #2b2b2b;--color-link-hover: #1a1a1a;--color-link-underline: rgba(51, 51, 51, 0.7);--color-nav-bg: #5e7c99;--color-scrollbar-thumb: #666666;--color-scrollbar-track: #dddddd}[data-theme="dark"]{--color-bg: #181825;--color-text: #cdd6f4;--color-muted: #a6adc8;--color-subtle: #9399b2;--color-primary: #89b4fa;--color-secondary: #89b4fa;--color-border: #313244;--color-border-mid: #45475a;--color-border-strong: #585b70;--color-code-bg: #1e1e2e;--color-blockquote-border: #45475a;--color-table-row-bg: #181825;--color-table-row-alt-bg: #1e1e2e;--color-link: #bac2de;--color-link-hover: #cdd6f4;--color-link-underline: rgba(186, 194, 222, 0.5);--color-nav-bg: #1e1e2e;--color-scrollbar-thumb: #585b70;--color-scrollbar-track: #313244}.highlight{margin-bottom:calc(30px / 2)}.highlight table td{padding:5px}.highlight table pre{margin:0}.highlight,.highlight .w{color:#24292f;background-color:var(--color-code-bg)}.highlight .k,.highlight .kd,.highlight .kn,.highlight .kp,.highlight .kr,.highlight .kt,.highlight .kv{color:#cf222e}.highlight .gr{color:#f6f8fa}.highlight .gd{color:#82071e;background-color:#ffebe9}.highlight .nb{color:#953800}.highlight .nc{color:#953800}.highlight .no{color:#953800}.highlight .nn{color:#953800}.highlight .sr{color:#116329}.highlight .na{color:#116329}.highlight .nt{color:#116329}.highlight .gi{color:#116329;background-color:#dafbe1}.highlight .ges{font-weight:bold;font-style:italic}.highlight .kc{color:#0550ae}.highlight .l,.highlight .ld,.highlight .m,.highlight .mb,.highlight .mf,.highlight .mh,.highlight .mi,.highlight .il,.highlight .mo,.highlight .mx{color:#0550ae}.highlight .sb{color:#0550ae}.highlight .bp{color:#0550ae}.highlight .ne{color:#0550ae}.highlight .nl{color:#0550ae}.highlight .py{color:#0550ae}.highlight .nv,.highlight .vc,.highlight .vg,.highlight .vi,.highlight .vm{color:#0550ae}.highlight .o,.highlight .ow{color:#0550ae}.highlight .gh{color:#0550ae;font-weight:bold}.highlight .gu{color:#0550ae;font-weight:bold}.highlight .s,.highlight .sa,.highlight .sc,.highlight .dl,.highlight .sd,.highlight .s2,.highlight .se,.highlight .sh,.highlight .sx,.highlight .s1,.highlight .ss{color:#0a3069}.highlight .nd{color:#8250df}.highlight .nf,.highlight .fm{color:#8250df}.highlight .err{color:#f6f8fa;background-color:#82071e}.highlight .c,.highlight .ch,.highlight .cd,.highlight .cm,.highlight .cp,.highlight .cpf,.highlight .c1,.highlight .cs{color:#6e7781}.highlight .gl{color:#6e7781}.highlight .gt{color:#6e7781}.highlight .ni{color:#24292f}.highlight .si{color:#24292f}.highlight .ge{color:#24292f;font-style:italic}.highlight .gs{color:#24292f;font-weight:bold}[data-theme="dark"] .highlight,[data-theme="dark"] .highlight .w{color:#cdd6f4;background-color:var(--color-code-bg)}[data-theme="dark"] .highlight .k,[data-theme="dark"] .highlight .kd,[data-theme="dark"] .highlight .kn,[data-theme="dark"] .highlight .kp,[data-theme="dark"] .highlight .kr,[data-theme="dark"] .highlight .kt,[data-theme="dark"] .highlight .kv{color:#cba6f7}[data-theme="dark"] .highlight .gr{color:#f38ba8}[data-theme="dark"] .highlight .gd{color:#f38ba8;background-color:rgba(243,139,168,0.15)}[data-theme="dark"] .highlight .nb{color:#fab387}[data-theme="dark"] .highlight .nc{color:#f9e2af}[data-theme="dark"] .highlight .no{color:#fab387}[data-theme="dark"] .highlight .nn{color:#f9e2af}[data-theme="dark"] .highlight .sr{color:#a6e3a1}[data-theme="dark"] .highlight .na{color:#a6e3a1}[data-theme="dark"] .highlight .nt{color:#89b4fa}[data-theme="dark"] .highlight .gi{color:#a6e3a1;background-color:rgba(166,227,161,0.15)}[data-theme="dark"] .highlight .kc{color:#fab387}[data-theme="dark"] .highlight .l,[data-theme="dark"] .highlight .ld,[data-theme="dark"] .highlight .m,[data-theme="dark"] .highlight .mb,[data-theme="dark"] .highlight .mf,[data-theme="dark"] .highlight .mh,[data-theme="dark"] .highlight .mi,[data-theme="dark"] .highlight .il,[data-theme="dark"] .highlight .mo,[data-theme="dark"] .highlight .mx{color:#fab387}[data-theme="dark"] .highlight .sb{color:#a6e3a1}[data-theme="dark"] .highlight .bp{color:#89b4fa}[data-theme="dark"] .highlight .ne{color:#fab387}[data-theme="dark"] .highlight .nl{color:#89b4fa}[data-theme="dark"] .highlight .py{color:#89b4fa}[data-theme="dark"] .highlight .nv,[data-theme="dark"] .highlight .vc,[data-theme="dark"] .highlight .vg,[data-theme="dark"] .highlight .vi,[data-theme="dark"] .highlight .vm{color:#cdd6f4}[data-theme="dark"] .highlight .o,[data-theme="dark"] .highlight .ow{color:#89dceb}[data-theme="dark"] .highlight .gh{color:#89b4fa;font-weight:bold}[data-theme="dark"] .highlight .gu{color:#89b4fa;font-weight:bold}[data-theme="dark"] .highlight .s,[data-theme="dark"] .highlight .sa,[data-theme="dark"] .highlight .sc,[data-theme="dark"] .highlight .dl,[data-theme="dark"] .highlight .sd,[data-theme="dark"] .highlight .s2,[data-theme="dark"] .highlight .se,[data-theme="dark"] .highlight .sh,[data-theme="dark"] .highlight .sx,[data-theme="dark"] .highlight .s1,[data-theme="dark"] .highlight .ss{color:#a6e3a1}[data-theme="dark"] .highlight .nd{color:#89b4fa}[data-theme="dark"] .highlight .nf,[data-theme="dark"] .highlight .fm{color:#89b4fa}[data-theme="dark"] .highlight .err{color:#cdd6f4;background-color:#f38ba8}[data-theme="dark"] .highlight .c,[data-theme="dark"] .highlight .ch,[data-theme="dark"] .highlight .cd,[data-theme="dark"] .highlight .cm,[data-theme="dark"] .highlight .cp,[data-theme="dark"] .highlight .cpf,[data-theme="dark"] .highlight .c1,[data-theme="dark"] .highlight .cs{color:#6c7086}[data-theme="dark"] .highlight .gl{color:#6c7086}[data-theme="dark"] .highlight .gt{color:#6c7086}[data-theme="dark"] .highlight .ni{color:#cdd6f4}[data-theme="dark"] .highlight .si{color:#cdd6f4}[data-theme="dark"] .highlight .ge{color:#cdd6f4;font-style:italic}[data-theme="dark"] .highlight .gs{color:#cdd6f4;font-weight:bold}:root{--color-bg: #ffffff;--color-text: #333333;--color-muted: #666666;--color-subtle: #6a737d;--color-primary: #3498db;--color-secondary: #5e7c99;--color-border: #eeeeee;--color-border-mid: #dfe2e5;--color-border-strong: #c6cbd1;--color-code-bg: #f6f8fa;--color-blockquote-border: #dfe2e5;--color-table-row-bg: #ffffff;--color-table-row-alt-bg: #f6f8fa;--color-link: #2b2b2b;--color-link-hover: #1a1a1a;--color-link-underline: rgba(51, 51, 51, 0.7);--color-nav-bg: #5e7c99;--color-scrollbar-thumb: #666666;--color-scrollbar-track: #dddddd}[data-theme="dark"]{--color-bg: #181825;--color-text: #cdd6f4;--color-muted: #a6adc8;--color-subtle: #9399b2;--color-primary: #89b4fa;--color-secondary: #89b4fa;--color-border: #313244;--color-border-mid: #45475a;--color-border-strong: #585b70;--color-code-bg: #1e1e2e;--color-blockquote-border: #45475a;--color-table-row-bg: #181825;--color-table-row-alt-bg: #1e1e2e;--color-link: #bac2de;--color-link-hover: #cdd6f4;--color-link-underline: rgba(186, 194, 222, 0.5);--color-nav-bg: #1e1e2e;--color-scrollbar-thumb: #585b70;--color-scrollbar-track: #313244}.resume{font-family:'Computer Modern Serif', serif}.resume h1{text-align:center;color:var(--color-text) !important}.resume h3{margin-top:25px;margin-bottom:15px}.resume .resume-links{text-align:center}.resume p,.resume li,.resume li *{margin-bottom:0}*{box-sizing:border-box;margin:0;padding:0}body{font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Helvetica,Arial,sans-serif;font-size:16px;line-height:1.5;color:var(--color-text);background-color:var(--color-bg);-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;text-align:left}h1,h2,h3{margin-top:30px;margin-bottom:calc(30px / 2);font-weight:600;line-height:1.25;text-align:left}h4,h5,h6{margin-top:calc(30px / 2);margin-bottom:5px;font-weight:600;line-height:1.25;text-align:left}h1{font-size:2em}h2{font-size:1.5em}h3{font-size:1.25em}h4{font-size:1em}h5{font-size:0.875em}h6{font-size:0.85em;color:var(--color-subtle)}p{margin-bottom:calc(30px / 2)}p+p{margin-top:calc(30px / 2)}a{color:var(--color-link);text-decoration:underline;text-underline-offset:2.5px;text-decoration-thickness:1px;text-decoration-style:dashed;text-decoration-color:var(--color-link-underline);text-decoration-skip-ink:ink}a:hover{color:var(--color-link-hover);text-decoration-color:var(--color-link-hover);text-shadow:0 0 0.01px var(--color-text)}ul,ol{margin-bottom:calc(30px / 2);margin-left:1em;padding-left:1em}ul ul,ul ol,ol ol,ol ul{margin-top:0;margin-bottom:0}li+li{margin-top:0.25em}hr{height:0.05em;padding:0;margin:30px 0;background-color:var(--color-border);border:0}blockquote{padding:0 1em;color:var(--color-subtle);border-left:0.25em solid var(--color-blockquote-border);margin:calc(30px / 2) 0}pre{overflow-x:auto;white-space:pre;word-wrap:normal;max-width:100%;margin:calc(30px / 2) 0;background-color:var(--color-code-bg);border-radius:6px;padding:16px;font-family:monospace;text-align:left}code{background-color:var(--color-code-bg);padding:0.2em 0.4em;margin:0;font-size:85%;border-radius:3px;font-family:monospace;text-align:left}pre code{display:block;padding:0;margin:0;overflow:visible;background-color:transparent;border-radius:0;padding-bottom:0.5em}pre::-webkit-scrollbar{height:8px}pre::-webkit-scrollbar-thumb{background:var(--color-scrollbar-thumb);border-radius:4px}pre::-webkit-scrollbar-track{background:var(--color-scrollbar-track);border-radius:4px}img{max-width:100%;height:auto;display:block;margin:calc(30px / 2) 0}table{border-collapse:collapse;width:100%;margin:calc(30px / 2) 0}table th,table td{padding:6px 13px;border:1px solid var(--color-border-mid)}table tr{background-color:var(--color-table-row-bg);border-top:1px solid var(--color-border-strong)}table tr:nth-child(2n){background-color:var(--color-table-row-alt-bg)}.MathJax_Display{overflow-x:auto;overflow-y:hidden;margin:calc(30px / 2) 0}.theme-toggle{display:flex;align-items:center;background:none;border:none;cursor:pointer;padding:2px;line-height:1;color:white;opacity:0.85;transition:opacity 0.2s ease}.theme-toggle:hover{opacity:1}html.theme-transitioning,html.theme-transitioning *,html.theme-transitioning *::before,html.theme-transitioning *::after{transition:background-color 0.3s ease, color 0.3s ease, border-color 0.3s ease !important}.reading-progress{position:fixed;top:0;left:0;right:0;height:2px;background:var(--color-primary);z-index:1000;transform-origin:left;transform:scaleX(0);animation:grow-progress linear forwards;animation-timeline:scroll()}@keyframes grow-progress{to{transform:scaleX(1)}}.toc{margin:0 0 30px;padding:16px 20px;background:var(--color-code-bg);border-radius:6px;border-left:3px solid var(--color-primary)}.toc .toc-title{font-weight:600;font-size:0.85rem;margin-bottom:8px;color:var(--color-muted);letter-spacing:0.05em;text-transform:uppercase}.toc ul{margin:0;padding-left:1.2em;list-style:none}.toc li{margin:4px 0;font-size:0.9rem}.toc a{color:var(--color-text);text-decoration:none;opacity:0.75}.toc a:hover{opacity:1;color:var(--color-link-hover)}.toc ul ul{padding-left:1em}.toc ul ul li{font-size:0.85rem}.code-block-wrapper{position:relative}.copy-btn{position:absolute;top:6px;right:6px;z-index:1;padding:2px 8px;font-size:0.7rem;font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Helvetica,Arial,sans-serif;background:var(--color-border);color:var(--color-muted);border:none;border-radius:3px;cursor:pointer;opacity:0;transition:opacity 0.15s ease}.copy-btn:hover{color:var(--color-text)}.code-block-wrapper:hover .copy-btn{opacity:1}@media (hover: none){.copy-btn{opacity:0.7}}.post-list-compact{list-style:none;padding:0;margin:0 0 calc(30px / 2)}.post-list-compact li{padding:5px 0;display:flex;align-items:baseline;flex-wrap:wrap}.post-list-compact .post-link{font-size:1rem;font-weight:500}.post-list-compact .post-sep{color:var(--color-muted);margin:0 8px}.post-list-compact .post-date{color:var(--color-muted);font-size:0.85rem;white-space:nowrap}