:root{--bg:#ffffff;--fg:#000000;--fg-muted:#6d6d6d;--border:#d9d9d9;--code-bg:#f6f8fa;--link:#303030}[data-theme=dark]{--bg:#000000;--fg:#ffffff;--fg-muted:#9198a1;--border:#25282d;--code-bg:#161b22;--link:#dee1e5}::selection{background:var(--fg);color:var(--bg)}*,*::before,*::after{box-sizing:border-box;margin:0;padding:0}html{font-size:18px;-webkit-text-size-adjust:100%;scroll-behavior:smooth;scroll-padding-top:1.5rem;overflow-x:hidden}body{font-family:ui-monospace,monospace;line-height:1.6;color:var(--fg);background:var(--bg);max-width:720px;margin:0 auto;padding:2rem 1.5rem;transition:color .2s,background .2s}a{color:var(--link);text-decoration:underline;text-decoration-color:var(--link);text-decoration-thickness:1px;text-underline-offset:3px;transition:color .2s ease}a:hover{color:var(--fg-muted)}.site-header{margin-bottom:2rem}.site-name{font-size:1.25rem;font-weight:700;text-decoration:none;letter-spacing:.02em;color:var(--fg)}.site-name:hover{text-decoration-color:var(--fg)}.site-nav{margin-top:.375rem;display:flex;flex-wrap:wrap;gap:.5rem;align-items:center}.site-nav a+a::before,.site-nav .theme-toggle::before{content:"|";margin-right:.5rem;color:var(--link);display:inline-block;text-decoration:none}.site-nav a{font-size:.875rem;text-decoration:none;text-decoration-skip-ink:none;color:var(--link);transition:color .2s ease}.site-nav a:hover{color:var(--fg-muted);text-decoration:underline;text-decoration-color:var(--fg-muted);text-underline-offset:3px}.site-nav a:hover::before{color:var(--link)}.site-nav a.active{color:var(--link);text-decoration:underline;text-decoration-color:var(--link);text-underline-offset:3px}.theme-toggle{font-family:ui-monospace,monospace;font-size:.875rem;background:0 0;border:none;color:var(--link);cursor:pointer;padding:0;transition:color .2s ease;display:inline-flex;align-items:center;vertical-align:middle}.theme-toggle:hover{color:var(--fg)}.site-footer{margin-top:2.5rem;padding-top:1rem;border-top:1px solid var(--border);font-size:.75rem;letter-spacing:.03em;color:var(--link);display:flex;justify-content:space-between}.site-footer a{color:var(--link);text-decoration-color:var(--border);transition:text-decoration-color .2s ease,color .2s ease}.site-footer a:hover{text-decoration-color:var(--fg-muted)}.homepage-content{font-size:.9rem}.homepage-content p{margin-bottom:1rem}.section-header{display:flex;align-items:center;gap:.5rem;margin-bottom:1rem}.section-header h1{font-size:1.25rem;font-weight:700;letter-spacing:.02em}.back-link{font-size:.875rem;text-decoration:none;color:var(--fg-muted);transition:color .2s ease}.back-link:hover{color:var(--fg)}.post-list{list-style:none}.post-list li{margin-bottom:.5rem;font-size:.9rem}.post-date{color:var(--fg-muted);margin-right:.75rem;font-size:.8rem}.section-content{font-size:.9rem}.section-content h2{font-size:1.1rem;font-weight:700;letter-spacing:.02em;margin-top:1.75rem;margin-bottom:.5rem}.section-content h2:first-child{margin-top:0}.section-content p{margin-bottom:1rem}.section-content ul{padding-left:1.25rem;margin-bottom:.75rem}.section-content li{margin-bottom:.375rem}.post-header{margin-bottom:1.75rem}.post-title{font-size:1.4rem;font-weight:700;letter-spacing:-.01em;line-height:1.35;margin-bottom:.25rem}.post-meta{font-size:.8rem;color:var(--fg-muted)}.post-content{font-size:.9rem}.post-content h1{font-size:1.25rem;font-weight:700;letter-spacing:.02em;margin:2rem 0 .75rem}.post-content h2{font-size:1.1rem;font-weight:700;letter-spacing:.02em;margin:2rem 0 .75rem}.post-content h3{font-size:.95rem;font-weight:700;letter-spacing:.02em;margin:1.25rem 0 .75rem}.post-content h4{font-size:.9rem;font-weight:700;letter-spacing:.02em;margin:1.25rem 0 .75rem}.post-content h1,.post-content h2,.post-content h3{position:relative}.heading-anchor{color:var(--fg-muted);text-decoration:none;opacity:0;margin-left:.375rem;font-weight:400;transition:opacity .2s ease}.post-content h1:hover .heading-anchor,.post-content h2:hover .heading-anchor,.post-content h3:hover .heading-anchor,.heading-anchor:focus{opacity:1}.heading-anchor:hover{color:var(--fg)}.post-content p{margin-bottom:1rem}.post-content ul,.post-content ol{padding-left:1.25rem;margin-bottom:.75rem}.post-content li{margin-bottom:.375rem}.post-content blockquote{border-left:2px solid var(--border);padding-left:1rem;color:var(--fg-muted);font-style:italic;margin:1rem 0}.post-content img{max-width:100%;height:auto;display:block;margin:1.25rem 0}.post-content .table-wrapper{overflow-x:auto;margin:1.25rem 0;-webkit-overflow-scrolling:touch}.post-content table{width:100%;border-collapse:collapse;font-size:.85rem}.post-content th,.post-content td{border:1px solid var(--border);padding:.375rem .625rem;text-align:left}.post-content th{font-weight:700;letter-spacing:.02em}.post-content .katex-display{overflow-x:auto;overflow-y:hidden;-webkit-overflow-scrolling:touch}.post-content code,.section-content code{font-family:inherit;font-size:.85em;background:var(--code-bg);padding:.125em .25em;border-radius:3px;border:1px solid var(--border)}.post-content pre,.section-content pre{background:var(--code-bg);padding:1rem;overflow-x:auto;border-radius:4px;border:1px solid var(--border);margin:1rem 0;font-size:.85rem;line-height:1.5}.post-content pre code,.section-content pre code{background:0 0;padding:0;border:none}.code-block-wrapper{position:relative}.copy-btn{position:absolute;top:.5rem;right:.5rem;font-family:ui-monospace,monospace;font-size:.7rem;background:var(--bg);color:var(--fg-muted);border:1px solid var(--border);border-radius:3px;padding:.125rem .375rem;cursor:pointer;opacity:0;transition:opacity .2s ease,color .2s ease}.code-block-wrapper:hover .copy-btn{opacity:1}.copy-btn:hover{color:var(--fg)}.post-content .highlight,.section-content .highlight{background:var(--code-bg);border:1px solid var(--border);border-radius:4px;margin:1rem 0;overflow:hidden}.post-content .highlight pre,.section-content .highlight pre{margin:0;padding:1rem;background:0 0;border:none;border-radius:0;overflow-x:auto}.post-content hr{border:none;border-top:1px solid var(--border);margin:2rem 0}.post-tags{margin-top:1.5rem;font-size:.8rem;display:flex;flex-wrap:wrap;gap:.375rem}.post-tags a{color:var(--fg-muted);transition:color .2s ease}.post-tags a:hover{color:var(--fg)}.tag-list{list-style:none}.tag-list li{margin-bottom:.375rem;font-size:.9rem}.about-photo{width:140px;height:140px;border-radius:4px;margin-top:.375rem;margin-bottom:0;filter:grayscale(10%);transition:filter .3s ease}.about-photo:hover{filter:grayscale(0%)}.toc-sidebar{display:none}@media(min-width:1360px){.toc-sidebar{display:block;position:fixed;top:4rem;width:240px;left:calc(50% - 360px - 240px - 3rem);max-height:calc(100vh - 6rem);overflow-y:auto;font-size:.7rem;line-height:1.5}.toc-sidebar::-webkit-scrollbar{width:4px}.toc-sidebar::-webkit-scrollbar-thumb{background:var(--border);border-radius:2px}.toc-sidebar{scrollbar-width:thin;scrollbar-color:var(--border)transparent}}.toc-title{font-size:.8rem;font-weight:700;letter-spacing:.02em;margin-bottom:.75rem;color:var(--fg)}.toc-sidebar nav>ul,.toc-mobile-drawer nav>ul{list-style:none;padding:0}.toc-sidebar nav>ul>li,.toc-mobile-drawer nav>ul>li{margin-bottom:.625rem}.toc-sidebar nav>ul>li:last-child,.toc-mobile-drawer nav>ul>li:last-child{margin-bottom:0}.toc-sidebar nav>ul>li>a,.toc-mobile-drawer nav>ul>li>a{font-weight:700;color:var(--fg)}.toc-sidebar nav ul ul,.toc-mobile-drawer nav ul ul{list-style:none;padding-left:.75rem;margin-top:.375rem}.toc-sidebar nav ul ul li,.toc-mobile-drawer nav ul ul li{margin-bottom:.2rem}.toc-sidebar a,.toc-mobile-drawer a{color:var(--fg-muted);text-decoration:none;transition:color .2s ease;display:block;line-height:1.6}.toc-sidebar a:hover,.toc-mobile-drawer a:hover{color:var(--fg)}.toc-sidebar a.active,.toc-mobile-drawer a.active{color:var(--fg);text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:3px}.toc-mobile-btn{display:none;position:fixed;bottom:1.5rem;right:1.5rem;z-index:100;width:40px;height:40px;border-radius:50%;border:1px solid var(--border);background:var(--bg);color:var(--fg);cursor:pointer;align-items:center;justify-content:center;box-shadow:0 2px 8px rgba(0,0,0,.1)}@media(max-width:1359px){.toc-mobile-btn{display:flex}}.toc-mobile-backdrop{position:fixed;inset:0;z-index:200;background:rgba(0,0,0,.3);opacity:0;visibility:hidden;transition:opacity .25s ease,visibility .25s ease}.toc-mobile-backdrop.open{opacity:1;visibility:visible}.toc-mobile-drawer{position:fixed;top:0;right:0;bottom:0;z-index:201;width:280px;max-width:80vw;background:var(--bg);border-left:1px solid var(--border);padding:1.5rem;overflow-y:auto;transform:translateX(100%);transition:transform .25s ease;font-size:.8rem;line-height:1.5}.toc-mobile-drawer.open{transform:translateX(0)}@media(max-width:768px){body{padding:1.75rem 1.25rem}}@media(max-width:600px){body{padding:1.5rem 1rem}.post-title{font-size:1.25rem}}@media(max-width:480px){body{padding:1.25rem .875rem}.post-content .highlight,.section-content .highlight,.post-content pre,.section-content pre{margin-left:-.875rem;margin-right:-.875rem;border-radius:0;border-left:none;border-right:none}.post-content .highlight pre,.section-content .highlight pre{padding-left:.875rem;padding-right:.875rem}.post-content>pre,.section-content>pre{padding-left:.875rem;padding-right:.875rem}}