.theme-toggle{position:fixed;top:max(7px, calc((50px - 36px) / 2));right:10px;z-index:1001;display:inline-flex;align-items:center;justify-content:center;width:36px;height:36px;padding:0;border:1px solid #0080c4;border-radius:50%;background:#fff;color:#0080c4;cursor:pointer}.theme-toggle[hidden]{display:none}.theme-toggle:hover{background:rgba(45,118,255,0.12)}.theme-toggle:focus-visible{outline:2px solid currentColor;outline-offset:3px}.theme-icon-sun{display:none}.top-lang-bar{min-width:0;padding-right:max(var(--writing-gutter), 60px);gap:12px}.top-nav-links{display:flex;align-items:center;min-width:0;overflow-x:auto;overflow-y:hidden;white-space:nowrap;scrollbar-width:none}.top-nav-links a{flex-shrink:0}.top-nav-links::-webkit-scrollbar{display:none}.top-language-links{flex-shrink:0;white-space:nowrap}@media (max-width: 800px){.top-lang-bar{padding-right:56px;gap:4px}.top-language-links a{margin:0 4px}}html[data-theme="light"]{color-scheme:light}html[data-theme="dark"]{color-scheme:dark;--night-surface: #19212c;--night-card: #202b38;--night-panel: #253243;--night-text: #d8e1ec;--night-muted: #a6b5c7;--night-link: #009dff;--night-link-active: #b0dfff;--night-border: #40536a;--night-accent: #009dff;--night-selected-background: #28618b;--night-selected-text: #f1f7ff;--night-award-background: #573646;--night-award-text: #ffd5e2;background:#10151d}html[data-theme="dark"] body{background-color:#10151d;background-image:none}html[data-theme="dark"] body::before,html[data-theme="dark"] body::after,html[data-theme="dark"] .banner::before{display:none}html[data-theme="dark"] body,html[data-theme="dark"] .markdown-body{color:var(--night-text)}html[data-theme="dark"] .markdown-body{background-color:transparent}html[data-theme="dark"] .container-lg.px-3.my-5.markdown-body,html[data-theme="dark"] .banner,html[data-theme="dark"] .top-lang-bar,html[data-theme="dark"] #toc,html[data-theme="dark"] .tail-bar{background-color:var(--night-surface);border-color:var(--night-border)}html[data-theme="dark"] .banner .banner-title,html[data-theme="dark"] .banner .banner-introduction,html[data-theme="dark"] .banner .banner-append{color:var(--night-text)}html[data-theme="dark"] a,html[data-theme="dark"] summary,html[data-theme="dark"] .collapse-clicker,html[data-theme="dark"] .markdown-body a:not([href]){color:var(--night-link)}html[data-theme="dark"] a:hover,html[data-theme="dark"] summary:hover,html[data-theme="dark"] .collapse-clicker:hover,html[data-theme="dark"] .markdown-body a:not([href]):hover{color:var(--night-link-active);background-color:var(--night-panel) !important;box-shadow:none !important}html[data-theme="dark"] a:active,html[data-theme="dark"] summary:active,html[data-theme="dark"] .collapse-clicker:active,html[data-theme="dark"] .markdown-body a:not([href]):active{color:var(--night-link-active)}html[data-theme="dark"] .lang-link.active{color:var(--night-text) !important}html[data-theme="dark"] .markdown-body h1,html[data-theme="dark"] .markdown-body h2,html[data-theme="dark"] .markdown-body hr{border-color:var(--night-border)}html[data-theme="dark"] .wide_list{--wide-list-card-background: var(--night-card);--wide-list-card-border-color: var(--night-border)}html[data-theme="dark"] .details-panel{background-color:var(--night-panel);border-color:var(--night-border)}html[data-theme="dark"] .collapse-clicker{border-color:var(--night-border);background:var(--night-card);box-shadow:none}html[data-theme="dark"] .collapse-clicker:hover,html[data-theme="dark"] .collapse-clicker:active{background:var(--night-panel);box-shadow:none}html[data-theme="dark"] .venue{border-color:var(--night-accent);background:transparent}html[data-theme="dark"] span.award{color:var(--night-award-text);background:var(--night-award-background)}html[data-theme="dark"] .publication-filters{--publication-filter-background: var(--night-card);--publication-filter-color: var(--night-link);--publication-filter-border: 1px solid var(--night-border);--publication-filter-hover: var(--night-panel);--publication-filter-active-background: var(--night-selected-background);--publication-filter-active-color: var(--night-selected-text);--publication-filter-active-border: var(--night-accent);--publication-filter-separator-color: var(--night-border);--publication-filter-separator-opacity: 1;background:var(--night-surface)}html[data-theme="dark"] .paper_details,html[data-theme="dark"] figcaption,html[data-theme="dark"] .publication-filter-results{color:var(--night-muted);opacity:1}html[data-theme="dark"] .end-mark{background:radial-gradient(circle, var(--night-muted) 2.5px, transparent 2.5px) center/16px 16px no-repeat,linear-gradient(to right, transparent, var(--night-muted)) left 50%/calc(50% - 12px) 1.5px no-repeat,linear-gradient(to right, var(--night-muted), transparent) right 50%/calc(50% - 12px) 1.5px no-repeat}html[data-theme="dark"] ::selection{color:var(--night-selected-text);background:var(--night-selected-background)}html[data-theme="dark"] .markdown-body blockquote{color:var(--night-muted);border-color:var(--night-border)}html[data-theme="dark"] .markdown-body pre,html[data-theme="dark"] .markdown-body code,html[data-theme="dark"] .markdown-body .highlight pre,html[data-theme="dark"] .markdown-body table tr,html[data-theme="dark"] .markdown-body table tr:nth-child(2n){color:var(--night-text);background-color:var(--night-panel)}html[data-theme="dark"] .markdown-body table th,html[data-theme="dark"] .markdown-body table td,html[data-theme="dark"] .markdown-body table tr{border-color:var(--night-border)}html[data-theme="dark"] .markdown-body img{background-color:transparent}html[data-theme="dark"] .banner-introduction a img{filter:invert(0.85)}html[data-theme="dark"] .theme-toggle{color:var(--night-accent);border-color:var(--night-accent);background:var(--night-surface)}html[data-theme="dark"] .theme-toggle:hover{background:var(--night-panel)}html[data-theme="dark"] .theme-icon-moon{display:none}html[data-theme="dark"] .theme-icon-sun{display:block}html[data-theme="dark"] #loader{background:var(--night-surface)}html[data-theme="dark"] .loader-box{color:var(--night-text)}html[data-theme="dark"] .loader-spinner{border-color:var(--night-border);border-top-color:var(--night-accent)}