html{scroll-behavior:smooth;background-color:#fff;color:#333;font-size:16px;transition:background-color .2s ease-in-out,color .2s ease-in-out}@media (max-width: 640px){html{font-size:15px}}html.dark{background-color:#1a202c;color:#e2e8f0}body{font-family:Inter,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,sans-serif;line-height:1.6;max-width:1200px;margin:0 auto;padding:5px;color:#4a5568;background-color:#f8fafc;transition:background-color .2s ease-in-out,color .2s ease-in-out}:root{--theme-transition: .2s ease-in-out}*,*:before,*:after{transition-property:background-color,border-color,color,fill,stroke,opacity,box-shadow,transform;transition-duration:var(--theme-transition);transition-timing-function:ease-in-out}.no-transition,.no-transition *,input[type=checkbox],input[type=radio]{transition:none!important}:root{--code-bg-light: #f5f5f5;--code-bg-dark: #22272e}pre,code,.astro-code,.blog-post pre,.blog-post code:not([class*=language-]){background:var(--code-bg-light)!important}html.dark pre,html.dark code,html.dark .astro-code,html.dark .blog-post pre,html.dark .blog-post code:not([class*=language-]){background:var(--code-bg-dark)!important}pre,code,.astro-code{background:var(--code-bg-light)}html.dark pre,html.dark code,html.dark .astro-code{background:var(--code-bg-dark)}@media (min-width: 640px){body{padding:20px}}.dark body,body.dark-mode{background-color:#1a202c;color:#e2e8f0}h1{margin-top:1.25rem;margin-bottom:.5rem;font-size:1.5rem;line-height:2rem;font-weight:700}@media (min-width: 640px){h1{margin-top:2rem;margin-bottom:1rem;font-size:1.875rem;line-height:2.25rem}}h1{color:#1a202c;letter-spacing:-.025em}h2{margin-top:1rem;margin-bottom:.5rem;font-size:1.25rem;line-height:1.75rem;font-weight:700}@media (min-width: 640px){h2{margin-top:1.5rem;margin-bottom:.75rem;font-size:1.5rem;line-height:2rem}}h2{color:#2d3748;letter-spacing:-.025em}h3{margin-top:.75rem;margin-bottom:.5rem;font-size:1.125rem;line-height:1.75rem;font-weight:700}@media (min-width: 640px){h3{margin-top:1.25rem;font-size:1.25rem;line-height:1.75rem}}h3{color:#4a5568;letter-spacing:-.015em}ul{margin-top:.5rem;margin-bottom:.5rem;margin-left:1rem;list-style-type:disc}ul>:not([hidden])~:not([hidden]){--tw-space-y-reverse: 0;margin-top:calc(.25rem * calc(1 - var(--tw-space-y-reverse)));margin-bottom:calc(.25rem * var(--tw-space-y-reverse))}ul{padding-left:0}@media (min-width: 640px){ul{margin-top:1rem;margin-bottom:1rem;margin-left:1.5rem}ul>:not([hidden])~:not([hidden]){--tw-space-y-reverse: 0;margin-top:calc(.5rem * calc(1 - var(--tw-space-y-reverse)));margin-bottom:calc(.5rem * var(--tw-space-y-reverse))}}ul{list-style-position:outside}ul li{margin-bottom:.25rem;padding-left:.25rem;font-size:.875rem;line-height:1.25rem}@media (min-width: 640px){ul li{font-size:1rem;line-height:1.5rem}}ul li{line-height:1.3}@media (min-width: 640px){ul li{line-height:1.5}}ol{margin-top:.5rem;margin-bottom:.5rem;margin-left:1rem}ol>:not([hidden])~:not([hidden]){--tw-space-y-reverse: 0;margin-top:calc(.25rem * calc(1 - var(--tw-space-y-reverse)));margin-bottom:calc(.25rem * var(--tw-space-y-reverse))}ol{padding-left:0}@media (min-width: 640px){ol{margin-top:1rem;margin-bottom:1rem;margin-left:1.5rem}ol>:not([hidden])~:not([hidden]){--tw-space-y-reverse: 0;margin-top:calc(.5rem * calc(1 - var(--tw-space-y-reverse)));margin-bottom:calc(.5rem * var(--tw-space-y-reverse))}}ol{list-style-position:outside;counter-reset:item}ol li{margin-bottom:.25rem;padding-left:.25rem;font-size:.875rem;line-height:1.25rem}@media (min-width: 640px){ol li{font-size:1rem;line-height:1.5rem}}ol li{line-height:1.3;display:block}ol li:before{content:counters(item,".") ". ";counter-increment:item}@media (min-width: 640px){ol li{line-height:1.5}}a{color:#4299e1;text-decoration:none;transition:all .2s ease}a:hover{--tw-text-opacity: 1;color:rgb(29 78 216 / var(--tw-text-opacity));text-decoration-line:underline}p{margin-bottom:.5rem}@media (min-width: 640px){p{margin-bottom:1rem}}p{line-height:1.4}@media (min-width: 640px){p{line-height:1.6}}.container{background-color:#fff;border-radius:12px;padding:15px;box-shadow:0 4px 6px #0000000d,0 1px 3px #0000001a;transition:transform .2s,box-shadow .2s}@media (min-width: 640px){.container{padding:30px}}.container:hover{transform:translateY(-2px);box-shadow:0 8px 15px #0000000d,0 2px 4px #0000001a}.card{background-color:#fff;border-radius:8px;box-shadow:0 2px 8px #0000001a;padding:1rem;margin-bottom:1rem;transition:all .3s ease}@media (min-width: 640px){.card{padding:1.5rem;margin-bottom:1.5rem}}.card:hover{transform:translateY(-5px);box-shadow:0 10px 20px #0000001a}.dark{background-color:#1a202c;color:#e2e8f0}.dark h1{color:#f7fafc}.dark h2,.dark h3{color:#e2e8f0}.dark .container,.dark .card{background-color:#2d3748;box-shadow:0 4px 6px #00000040}.dark a{color:#63b3ed}@keyframes fadeIn{0%{opacity:0;transform:translateY(10px)}to{opacity:1;transform:translateY(0)}}.fade-in{animation:fadeIn .5s ease-out forwards}pre,code{border-radius:.25rem;padding:.25rem;font-family:Fira Code,Consolas,Monaco,Andale Mono,monospace}pre{margin-top:1rem;margin-bottom:1rem;overflow-x:auto;padding:1rem}blockquote{margin-top:1rem;margin-bottom:1rem;border-top-right-radius:.25rem;border-bottom-right-radius:.25rem;border-left-width:4px;--tw-border-opacity: 1;border-color:rgb(59 130 246 / var(--tw-border-opacity));--tw-bg-opacity: 1;background-color:rgb(239 246 255 / var(--tw-bg-opacity));padding-top:.5rem;padding-bottom:.5rem;padding-left:1rem;font-style:italic}blockquote:is(.dark *){background-color:rgb(30 58 138 / var(--tw-bg-opacity));--tw-bg-opacity: .2}table{margin-top:1rem;margin-bottom:1rem;width:100%;border-collapse:collapse}th,td{border-width:1px;--tw-border-opacity: 1;border-color:rgb(209 213 219 / var(--tw-border-opacity));padding:.5rem}th:is(.dark *),td:is(.dark *){--tw-border-opacity: 1;border-color:rgb(55 65 81 / var(--tw-border-opacity))}th{--tw-bg-opacity: 1;background-color:rgb(243 244 246 / var(--tw-bg-opacity))}th:is(.dark *){--tw-bg-opacity: 1;background-color:rgb(31 41 55 / var(--tw-bg-opacity))}::-webkit-scrollbar{width:8px;height:8px}::-webkit-scrollbar-track{background:#f1f1f1}::-webkit-scrollbar-thumb{background:#c1c1c1;border-radius:4px}::-webkit-scrollbar-thumb:hover{background:#a8a8a8}.blog-post .katex-display{padding:1rem .5rem;margin:1.5rem 0;overflow-x:auto;background-color:#f7fafccc;border-radius:.5rem;box-shadow:0 1px 3px #0000001a}html.dark .blog-post .katex-display{background-color:#1a202ccc;box-shadow:0 1px 3px #ffffff1a}.blog-post .katex{font-size:1.05em}.blog-post .theorem,.blog-post .lemma,.blog-post .definition,.blog-post .remark{margin:1.5rem 0;padding:1rem;border-radius:.5rem;position:relative}.blog-post .theorem{background-color:#4299e11a;border-left:4px solid #4299e1}.blog-post .lemma{background-color:#48bb781a;border-left:4px solid #48bb78}.blog-post .definition{background-color:#ed89361a;border-left:4px solid #ed8936}.blog-post .remark{background-color:#a0aec01a;border-left:4px solid #a0aec0}html.dark .blog-post .theorem{background-color:#4299e126}html.dark .blog-post .lemma{background-color:#48bb7826}html.dark .blog-post .definition{background-color:#ed893626}html.dark .blog-post .remark{background-color:#a0aec026}.blog-post p{line-height:1.8;margin-bottom:1.25rem}@media (max-width: 640px){.blog-post p{line-height:1.6;margin-bottom:1rem;font-size:.95rem}}.blog-post ul li,.blog-post ol li{margin-bottom:.5rem;padding-left:.25rem}@media (max-width: 640px){.blog-post ul li,.blog-post ol li{margin-bottom:.3rem;line-height:1.4;font-size:.95rem}.blog-post ul,.blog-post ol{margin-left:1rem}}.blog-post table{display:block;width:100%;overflow-x:auto;white-space:nowrap;border-collapse:collapse;margin:1.5rem 0}.blog-post table th,.blog-post table td{padding:.75rem 1rem;border:1px solid #e2e8f0}html.dark .blog-post table th,html.dark .blog-post table td{border-color:#2d3748}.blog-post table th{background-color:#f7fafc;font-weight:600}html.dark .blog-post table th{background-color:#2d3748}.blog-post .reference{font-family:Inter,sans-serif;font-size:.9rem;padding-left:2rem;text-indent:-2rem;margin-bottom:.75rem}.blog-post figure{margin:2rem 0}.blog-post figcaption{font-size:.9rem;text-align:center;margin-top:.75rem;font-style:italic;color:#718096}html.dark .blog-post figcaption{color:#a0aec0}.blog-post pre{margin:1.5rem 0;border-radius:.5rem;font-size:.9rem;padding:1rem;overflow-x:auto;background-color:#2d3748;color:#e2e8f0}html.dark .blog-post pre{background-color:#1a202c;border:1px solid #4a5568}.blog-post code:not([class*=language-]){font-family:Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;background-color:#e2e8f080;padding:.2em .4em;border-radius:.25rem;font-size:.85em;color:#d53f8c}html.dark .blog-post code:not([class*=language-]){background-color:#2d374880;color:#ed64a6}.blog-post .equation-description{text-align:center;font-size:.9rem;font-style:italic;margin-top:-.5rem;margin-bottom:1.5rem;color:#718096}html.dark .blog-post .equation-description{color:#a0aec0}.blog-post .keyword{font-weight:600;color:#3182ce}html.dark .blog-post .keyword{color:#63b3ed}.blog-post h2{font-size:1.75rem;font-weight:700;margin-top:2.5rem;margin-bottom:1.25rem;color:#2d3748;border-bottom:2px solid #e2e8f0;padding-bottom:.5rem}@media (max-width: 640px){.blog-post h2{font-size:1.5rem;margin-top:2rem;margin-bottom:1rem}.blog-post h3{font-size:1.3rem;margin-top:1.5rem;margin-bottom:.75rem}.blog-post h4{font-size:1.1rem;margin-top:1.25rem;margin-bottom:.6rem}}html.dark .blog-post h2{color:#e2e8f0;border-bottom-color:#4a5568}.blog-post h3{font-size:1.5rem;font-weight:600;margin-top:2rem;margin-bottom:1rem;color:#2d3748}html.dark .blog-post h3{color:#e2e8f0}.blog-post h4{font-size:1.25rem;font-weight:600;margin-top:1.5rem;margin-bottom:.75rem;color:#2d3748}html.dark .blog-post h4{color:#e2e8f0}.blog-post p+p{margin-top:-.5rem}.blog-post *+table,.blog-post table+*{margin-top:1.5rem}nav.navigation,nav.navigation.scrolled,html body nav.navigation,html.dark body nav.navigation,html:not(.dark) body nav.navigation,nav.navigation ul,nav.navigation #nav-menu,nav.navigation div,nav.navigation div ul{border:none!important;border-bottom:none!important;border-top:none!important;border-left:none!important;border-right:none!important;box-shadow:none!important;outline:none!important}#nav-menu:after,#nav-menu:before{display:none!important;content:none!important;border:none!important;box-shadow:none!important}.navigation[data-astro-cid-3ef6ksr2]{background-color:#fffffff2;-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);border:none!important;border-bottom:none!important;position:fixed;top:0;left:0;right:0;width:100vw;z-index:1000;box-shadow:none!important;transition:all .3s ease}.dark[data-astro-cid-3ef6ksr2] .navigation[data-astro-cid-3ef6ksr2]{background-color:#1f2937f2;border:none!important;border-bottom:none!important;box-shadow:none!important}.navigation[data-astro-cid-3ef6ksr2].scrolled{box-shadow:none;height:3.5rem}.navigation[data-astro-cid-3ef6ksr2] ul[data-astro-cid-3ef6ksr2]{list-style-type:none;display:flex;padding:0;margin:0}.nav-item[data-astro-cid-3ef6ksr2]{color:#4b5563;text-decoration:none;font-weight:500;display:inline-block;transition:all .2s ease}.nav-item[data-astro-cid-3ef6ksr2]:hover{color:#1d4ed8;background-color:#dbeafe66}.nav-item[data-astro-cid-3ef6ksr2]:after{content:"";position:absolute;width:0;height:2px;bottom:0;left:50%;background-color:#3b82f6;transition:all .3s ease;transform:translate(-50%)}.nav-item[data-astro-cid-3ef6ksr2]:hover:after{width:80%}.dark[data-astro-cid-3ef6ksr2] .nav-item[data-astro-cid-3ef6ksr2]{color:#e5e7eb}.dark[data-astro-cid-3ef6ksr2] .nav-item[data-astro-cid-3ef6ksr2]:hover{color:#93c5fd;background-color:#1e3a8a4d}@media screen and (max-width: 768px){#nav-menu[data-astro-cid-3ef6ksr2]{position:absolute;top:100%;left:0;right:0;background-color:#fffffffa;flex-direction:column;padding:.75rem 0;border-bottom:1px solid #eaeaea;display:none;box-shadow:0 4px 6px -1px #0000001a;z-index:1000}.dark[data-astro-cid-3ef6ksr2] #nav-menu[data-astro-cid-3ef6ksr2]{background-color:#1f2937fa!important;border-bottom:1px solid #4b5563;box-shadow:0 4px 6px -1px #0000004d}#nav-menu[data-astro-cid-3ef6ksr2].show{display:flex}.navigation[data-astro-cid-3ef6ksr2] li[data-astro-cid-3ef6ksr2]{width:100%;margin:0;padding:.25rem 1.5rem}.nav-item[data-astro-cid-3ef6ksr2]{display:block;padding:.75rem 1rem;width:100%;color:#4b5563}.dark[data-astro-cid-3ef6ksr2] .nav-item[data-astro-cid-3ef6ksr2]{color:#e5e7eb!important}.nav-item[data-astro-cid-3ef6ksr2]:after{display:none}.nav-item[data-astro-cid-3ef6ksr2]:hover{color:#1d4ed8;background-color:#dbeafe66}.dark[data-astro-cid-3ef6ksr2] .nav-item[data-astro-cid-3ef6ksr2]:hover{color:#93c5fd!important;background-color:#1e3a8a4d}.dark[data-astro-cid-3ef6ksr2] .theme-toggle-btn[data-astro-cid-3ef6ksr2]{background-color:#374151cc}.dark[data-astro-cid-3ef6ksr2] .theme-toggle-btn[data-astro-cid-3ef6ksr2]:hover{background-color:#4b5563cc}}.dark .navigation[data-astro-cid-3ef6ksr2]{background-color:#1f2937f2!important;border-bottom:none!important}.dark .nav-item[data-astro-cid-3ef6ksr2]{color:#e5e7eb!important}.dark .nav-item[data-astro-cid-3ef6ksr2]:hover{color:#93c5fd!important;background-color:#1e3a8a4d!important}.dark .nav-link[data-astro-cid-3ef6ksr2]{color:#f3f4f6!important}.page-transition[data-astro-cid-hqoixg26]{position:fixed;top:0;left:0;width:100%;height:100%;background-color:#fff;z-index:9999;transform:translateY(100%);pointer-events:none}.dark[data-astro-cid-hqoixg26] .page-transition[data-astro-cid-hqoixg26]{background-color:#1a202c}.content-wrapper[data-astro-cid-hqoixg26]{animation:fadeInContent .8s ease forwards}@keyframes fadeInContent{0%{opacity:0;transform:translateY(20px)}to{opacity:1;transform:translateY(0)}}