@import"https://fonts.googleapis.com/css2?family=Inter:wght@400;500;600;700&family=Source+Serif+4:opsz,wght@8..60,400;8..60,500;8..60,600;8..60,700&display=swap";body{--paper: #fbfaf7;--paper-sidebar: #f1eee8;--paper-soft: #f6f3ed;--paper-callout: #fffdf8;--body-text: #171717;--muted-text: #3f3a35;--faint-text: #5b544d;--link-color: #123d63;--link-hover: #08273f;--link-soft-bg: rgba(18, 61, 99, 0.08);--border-color: #c9c0b3;--border-soft: #ded6ca;--border-faint: #e8e1d8;--accent-blue: #24537d;--accent-blue-dark: #183f63;--accent-green: #4f6846;--accent-orange: #8f5f25;--accent-gray: #5f5a54;--accent-red: #8a3d32;--body-font: "Source Serif 4", Georgia, "Times New Roman", serif;--ui-font: "Inter", system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;--mono-font: "JetBrains Mono", "Fira Code", Consolas, monospace;--dg-content-max-width: 860px;--dg-content-font-size: 19px;--dg-content-line-height: 1.72;--dg-filetree-width: 220px;--dg-filetree-padding: 18px 14px;--dg-filetree-gap: 42px;background:var(--paper);color:var(--body-text);font-family:var(--body-font);--note-icon-1: url(/img/status-developing.svg);--note-icon-2: url(/img/status-reviewable.svg);--note-icon-3: url(/img/status-finalized.svg);--note-icon-fallback: url(/img/status-idea.svg)}body .content{max-width:var(--dg-content-max-width);margin-left:max(var(--dg-filetree-width) + var(--dg-filetree-gap),(100vw - var(--dg-content-max-width))/2) !important;margin-right:auto;color:var(--body-text);font-family:var(--body-font);font-size:var(--dg-content-font-size);line-height:var(--dg-content-line-height)}body main,body article{color:var(--body-text);font-family:var(--body-font)}body p{margin-top:0;margin-bottom:1.15rem}body strong{font-weight:600}body h1,body h2,body h3,body h4,body h5,body h6{color:var(--body-text);font-family:var(--ui-font);font-weight:600;line-height:1.25;letter-spacing:-0.015em}body h1{margin-top:.35rem;margin-bottom:1.35rem;padding-bottom:.45rem;font-size:2rem;border-bottom:1px solid var(--border-color)}body h2{margin-top:3rem;margin-bottom:.85rem;padding-bottom:.25rem;font-size:1.45rem;border-bottom:1px solid var(--border-soft)}body h3{margin-top:2.15rem;margin-bottom:.65rem;font-size:1.17rem}body h4{margin-top:1.6rem;margin-bottom:.45rem;font-size:1rem;color:var(--muted-text)}body a{color:var(--link-color);text-decoration-thickness:1px;text-underline-offset:2px;transition:color .15s ease,text-decoration-thickness .15s ease}body a:hover{color:var(--link-hover);text-decoration-thickness:2px}body .content a,body .content a:visited,body .content .internal-link,body .content .external-link,body .content .internal-link:visited,body .content .external-link:visited{color:var(--link-color) !important}body .content a:hover,body .content .internal-link:hover,body .content .external-link:hover{color:var(--link-hover) !important}body .content .internal-link.is-unresolved,body .content .internal-link.unresolved,body .content a.is-unresolved,body .content a.unresolved,body .content a[href^="#"]{color:var(--link-color) !important;opacity:1 !important;background:rgba(0,0,0,0) !important;text-decoration-style:dotted}body .content .internal-link{background:rgba(0,0,0,0) !important;text-decoration-thickness:1px;text-underline-offset:2px}body ul,body ol{line-height:1.65;margin-top:.4rem;margin-bottom:1.2rem}body li{margin-bottom:.3rem}body li>p{margin-bottom:.55rem}body blockquote{margin:1.5rem 0;padding:.2rem 0 .2rem 1rem;border-left:3px solid var(--border-color);color:var(--muted-text);font-style:italic;background:rgba(0,0,0,0)}body blockquote p:last-child{margin-bottom:0}body code,body pre{font-family:var(--mono-font)}body code{font-size:.86em;background:var(--paper-soft);border:1px solid var(--border-soft);border-radius:4px;padding:.08em .28em}body pre{margin:1.5rem 0;padding:1rem;border:1px solid var(--border-soft);border-radius:8px;background:var(--paper-soft);line-height:1.5}body pre code{border:none;background:rgba(0,0,0,0);padding:0}body .katex,body mjx-container{font-size:1.04em}body .katex-display,body mjx-container[display=true]{margin:1.65rem 0 !important;overflow-x:auto;overflow-y:hidden}body .table-wrapper{overflow-x:auto;margin:1.5rem 0}body table{width:100%;border-collapse:collapse;font-size:.95em}body th,body td{padding:.55rem .65rem;border-bottom:1px solid var(--border-soft)}body th{font-family:var(--ui-font);font-weight:600;color:var(--body-text);background:var(--paper-soft)}body img{max-width:100%;height:auto}body .content img{display:block;margin:1.5rem auto}body .note-downloads{display:flex;gap:.45rem;align-items:center;flex-wrap:wrap;margin-top:-0.55rem;margin-bottom:1.65rem;font-family:var(--ui-font);font-size:.76rem;line-height:1.4;color:var(--muted-text)}body .note-downloads-label{color:var(--faint-text)}body .note-downloads a{color:var(--muted-text);text-decoration:none;border-bottom:1px solid var(--border-color)}body .note-downloads a:hover{color:var(--link-hover);border-bottom-color:var(--link-hover)}body .callout{display:block !important;visibility:visible !important;margin:1.65rem 0 !important;padding:0 !important;background:rgba(0,0,0,0) !important;border:none !important;border-radius:0 !important;box-shadow:none !important;overflow:visible !important;color:var(--body-text) !important;font-family:var(--body-font) !important;font-size:1rem !important;font-style:normal !important;line-height:1.65 !important;mix-blend-mode:normal !important}body .callout-title{display:flex !important;align-items:baseline !important;gap:.4rem !important;margin:0 0 .35rem 0 !important;padding:0 !important;color:var(--body-text) !important;font-family:var(--ui-font) !important;font-size:.78rem !important;font-weight:700 !important;letter-spacing:.045em !important;line-height:1.25 !important;text-transform:uppercase !important}body .callout-title-inner,body .callout-title-inner p{margin:0 !important;padding:0 !important;color:inherit !important;font-weight:inherit !important}body .callout-icon{display:none !important}body .callout-content{display:block !important;visibility:visible !important;overflow:visible !important;margin:0 !important;padding:0 !important;background:rgba(0,0,0,0) !important;color:var(--body-text) !important}body .callout-content>:last-child{margin-bottom:0 !important}body .callout[data-callout=figure]{margin:1.65rem 0 !important;padding:0 !important;background:rgba(0,0,0,0) !important;border:none !important;border-radius:0 !important}body .callout[data-callout=figure] .callout-title{color:var(--body-text) !important;border-bottom:1px solid var(--border-faint);padding-bottom:.35rem !important;margin-bottom:.65rem !important}body .callout[data-callout=figure] .callout-content{text-align:center !important}body .callout[data-callout=figure] .callout-content>*{margin-left:auto !important;margin-right:auto !important}body .callout[data-callout=figure] .callout-content img{display:block !important;height:auto !important;max-width:100% !important;margin:1rem auto !important}body .callout[data-callout=theorem],body .callout[data-callout=thm],body .callout[data-callout=lemma],body .callout[data-callout=lem],body .callout[data-callout=proposition],body .callout[data-callout=prop],body .callout[data-callout=corollary],body .callout[data-callout=cor]{padding:.95rem 1.05rem 1rem 1.05rem !important;background:#fffdf8 !important;border:1px solid var(--border-color) !important;border-left:4px solid var(--accent-blue-dark) !important;border-radius:6px !important}body .callout[data-callout=theorem] .callout-title,body .callout[data-callout=thm] .callout-title,body .callout[data-callout=lemma] .callout-title,body .callout[data-callout=lem] .callout-title,body .callout[data-callout=proposition] .callout-title,body .callout[data-callout=prop] .callout-title,body .callout[data-callout=corollary] .callout-title,body .callout[data-callout=cor] .callout-title{color:var(--accent-blue-dark) !important;border-bottom:1px solid var(--border-faint);padding-bottom:.35rem !important;margin-bottom:.65rem !important}body .callout[data-callout=definition],body .callout[data-callout=def]{padding:.9rem 1rem .95rem 1rem !important;background:#fffdf8 !important;border:1px solid var(--border-soft) !important;border-left:4px solid var(--accent-blue) !important;border-radius:6px !important}body .callout[data-callout=definition] .callout-title,body .callout[data-callout=def] .callout-title{color:var(--accent-blue) !important}body .callout[data-callout=example],body .callout[data-callout=ex]{padding:.9rem 1rem .95rem 1rem !important;background:#fbfaf4 !important;border:1px solid var(--border-soft) !important;border-left:4px solid var(--accent-green) !important;border-radius:6px !important}body .callout[data-callout=example] .callout-title,body .callout[data-callout=ex] .callout-title{color:var(--accent-green) !important}body .callout[data-callout=remark],body .callout[data-callout=note]{padding:.35rem 0 .35rem 1rem !important;background:rgba(0,0,0,0) !important;border-left:3px solid var(--border-color) !important}body .callout[data-callout=remark] .callout-title,body .callout[data-callout=note] .callout-title{color:var(--accent-gray) !important;font-family:var(--body-font) !important;font-size:1rem !important;font-weight:600 !important;font-style:italic !important;letter-spacing:0 !important;text-transform:none !important}body .callout[data-callout=remark] .callout-title-inner::after,body .callout[data-callout=note] .callout-title-inner::after{content:"."}body .callout[data-callout=warning],body .callout[data-callout=caution]{padding:.9rem 1rem .95rem 1rem !important;background:#fffaf1 !important;border:1px solid #dcc7a6 !important;border-left:4px solid var(--accent-orange) !important;border-radius:6px !important}body .callout[data-callout=warning] .callout-title,body .callout[data-callout=caution] .callout-title{color:var(--accent-orange) !important}body .callout[data-callout=proof]{position:relative !important;margin:1.35rem 0 1.6rem 0 !important;padding:.15rem 0 1.05rem 1rem !important;background:rgba(0,0,0,0) !important;border:none !important;border-left:3px solid var(--border-color) !important;border-radius:0 !important}body .callout[data-callout=proof] .callout-title{margin-bottom:.25rem !important;color:var(--body-text) !important;font-family:var(--body-font) !important;font-size:1rem !important;font-weight:600 !important;font-style:italic !important;letter-spacing:0 !important;line-height:1.5 !important;text-transform:none !important}body .callout[data-callout=proof] .callout-title-inner::after{content:"."}body .callout[data-callout=proof] .callout-content{position:relative !important;padding-right:1.5rem !important}body .callout[data-callout=proof] .callout-content::after{content:"□";position:absolute;right:0;bottom:-0.85rem;color:var(--muted-text);font-size:1rem;line-height:1}body .filetree-wrapper{width:var(--dg-filetree-width) !important;min-width:var(--dg-filetree-width) !important;max-width:var(--dg-filetree-width) !important;justify-content:flex-start !important;background:var(--paper-sidebar);border-right:1px solid var(--border-soft)}body .filetree-sidebar{width:var(--dg-filetree-width) !important;min-width:var(--dg-filetree-width) !important;max-width:var(--dg-filetree-width) !important;padding:var(--dg-filetree-padding);color:var(--muted-text);font-family:var(--ui-font);font-size:.8rem}body .filetree-sidebar h1{margin:.25rem 0 1rem 0;padding-bottom:.75rem;color:var(--body-text);font-family:var(--ui-font);font-size:1.15rem !important;font-weight:600;line-height:1.2;border-bottom:1px solid var(--border-soft)}body .filetree-sidebar .site-logo{max-height:52px;margin-bottom:.75rem}body .filetree-sidebar .search-button{margin:.4rem 0 .9rem 0;background:rgba(0,0,0,0);border:1px solid var(--border-color);color:var(--muted-text);font-family:var(--ui-font);box-shadow:none}body .filetree-sidebar .search-button:hover{background:var(--paper-soft);color:var(--body-text)}body .foldername-wrapper{color:var(--muted-text);font-family:var(--ui-font);font-size:.76rem;font-weight:600;letter-spacing:.02em}body .foldername-wrapper:hover{color:var(--body-text)}body .foldername{color:inherit}body .notelink{border-radius:5px;margin:1px 0}body .notelink a,body .notelink .filename{color:var(--muted-text);font-family:var(--ui-font);font-size:.78rem;line-height:1.35}body .notelink:hover{background:rgba(0,0,0,.05)}body .notelink:hover a,body .notelink:hover .filename{color:var(--body-text)}body .notelink.active-note{background:rgba(18,61,99,.14) !important;border-left:3px solid var(--link-color)}body .notelink.active-note a,body .notelink.active-note .filename,body .notelink.active-note span{color:var(--link-hover) !important;font-weight:600;opacity:1 !important}body .filelist{margin-left:.55rem;border-left:1px solid var(--border-soft);padding-left:.35rem}body .folder svg,body .filetree-sidebar svg{width:13px;height:13px;color:var(--faint-text)}body .sidebar{font-family:var(--ui-font);color:var(--muted-text)}body .sidebar-container{font-size:.78rem;color:var(--muted-text) !important;opacity:1 !important}body .sidebar h1,body .sidebar h2,body .sidebar h3,body .sidebar h4,body .sidebar-title,body .sidebar-container h1,body .sidebar-container h2,body .sidebar-container h3,body .sidebar-container h4,body .toc-title,body .backlink-title,body .backlinks-title{color:var(--muted-text) !important;opacity:1 !important}body .sidebar a,body .sidebar-container a,body .toc-container a{color:var(--muted-text) !important;opacity:1 !important}body .sidebar a:hover,body .sidebar-container a:hover,body .toc-container a:hover,body .toc-container a.toc-active{color:var(--link-hover) !important;opacity:1 !important}body .toc{opacity:1}body .toc-title{color:var(--muted-text);font-size:.72rem;font-weight:700;letter-spacing:.04em;text-transform:uppercase}body .toc-container{font-size:.78rem;line-height:1.4}body .toc-container a{color:var(--muted-text);text-decoration:none}body .toc-container a:hover,body .toc-container a.toc-active{color:var(--link-hover)}body .graph{display:none !important}body .backlinks,body .backlinks-container,body .backlinks-wrapper{color:var(--muted-text) !important;opacity:1 !important}body .backlinks{margin-top:2rem;padding-top:1rem;border-top:1px solid var(--border-soft)}body .backlink-title,body .backlinks-title,body .backlinks h2,body .backlinks h3{color:var(--muted-text) !important;font-size:.72rem;font-weight:700;letter-spacing:.04em;text-transform:uppercase;opacity:1 !important}body .backlink-card,body .backlink-card *,body .backlinks a,body .backlinks li,body .backlinks p{color:var(--muted-text) !important;opacity:1 !important}body .backlink-card{font-size:.8rem}body .backlink-card a,body .backlinks a{color:var(--link-color) !important;text-decoration:none}body .backlink-card a:hover,body .backlinks a:hover{color:var(--link-hover) !important;text-decoration:underline}@media(max-width: 1400px){body .filetree-wrapper{width:var(--dg-filetree-width) !important;min-width:var(--dg-filetree-width) !important;max-width:var(--dg-filetree-width) !important}body .content{max-width:calc(100vw - var(--dg-filetree-width) - 70px);margin-left:calc(var(--dg-filetree-width) + 32px) !important}}@media(max-width: 1000px){body .content{max-width:min(var(--dg-content-max-width),100vw - 36px);margin-left:auto !important;margin-right:auto;font-size:18px}}@media(max-width: 700px){body{--dg-content-font-size: 17px}body h1{font-size:1.65rem}body h2{font-size:1.28rem}body .content{padding-left:18px;padding-right:18px}body .note-status-icon{margin-right:.35rem;font-size:.76em}body .callout[data-callout=definition],body .callout[data-callout=def],body .callout[data-callout=theorem],body .callout[data-callout=thm],body .callout[data-callout=lemma],body .callout[data-callout=lem],body .callout[data-callout=proposition],body .callout[data-callout=prop],body .callout[data-callout=corollary],body .callout[data-callout=cor],body .callout[data-callout=example],body .callout[data-callout=ex],body .callout[data-callout=warning],body .callout[data-callout=caution]{padding:.75rem .85rem !important}body .callout[data-callout=proof],body .callout[data-callout=remark],body .callout[data-callout=note]{padding-left:.85rem !important}}@media print{body{background:#fff !important;color:#000 !important}body .filetree-wrapper,body .sidebar,body .toc,body .graph,body .backlinks,body .note-downloads{display:none !important}body .content{max-width:none !important;margin:0 !important;padding:0 !important;color:#000 !important;font-size:12pt !important;line-height:1.45 !important}body a{color:#000 !important;text-decoration:underline !important}body h1,body h2,body h3,body h4{color:#000 !important;break-after:avoid}body .callout{break-inside:avoid}body .note-status-icon{color:#000 !important}}body.no-filetree .content{width:min(860px,100vw - 72px) !important;max-width:860px !important;margin-left:auto !important;margin-right:auto !important;padding-top:calc(var(--dg-navbar-height) + 2.25rem) !important;padding-left:24px !important;padding-right:24px !important}body.no-filetree .content.canvas-page{max-width:none !important;margin-left:20px !important;margin-right:20px !important}@media(min-width: 1500px){body.no-filetree .content{width:min(920px,100vw - 96px) !important;max-width:920px !important}}@media(max-width: 800px){body.no-filetree .content{width:calc(100vw - 32px) !important;max-width:calc(100vw - 32px) !important;padding-left:16px !important;padding-right:16px !important}}body.no-filetree .navbar,body.no-filetree .empty-navbar{background:var(--paper-sidebar) !important;border-bottom:1px solid var(--border-soft) !important;color:var(--body-text) !important}body.no-filetree .navbar h1,body.no-filetree .navbar .navbar-inner h1,body.no-filetree .empty-navbar h1{color:var(--body-text) !important;font-family:var(--ui-font) !important;font-size:1rem !important;font-weight:600 !important;letter-spacing:-0.01em !important;border-bottom:none !important}body.no-filetree .navbar a,body.no-filetree .empty-navbar a{color:var(--body-text) !important;text-decoration:none !important}body.no-filetree .navbar .search-button,body.no-filetree .empty-navbar .search-button,.search-button{background:rgba(0,0,0,0) !important;border:1px solid var(--border-color) !important;color:var(--muted-text) !important;box-shadow:none !important;font-family:var(--ui-font) !important}body.no-filetree .navbar .search-button:hover,body.no-filetree .empty-navbar .search-button:hover,.search-button:hover{background:var(--paper-soft) !important;border-color:var(--border-color) !important;color:var(--body-text) !important}body.no-filetree .navbar .search-button *,body.no-filetree .empty-navbar .search-button *,.search-button *,.navbar .search-button *,.empty-navbar .search-button *{color:var(--muted-text) !important;stroke:var(--muted-text) !important;opacity:1 !important;-webkit-text-fill-color:var(--muted-text) !important}.search-button svg,.search-button i,.navbar .search-button svg,.empty-navbar .search-button svg{color:var(--muted-text) !important;stroke:var(--muted-text) !important;opacity:1 !important}.search-button [class*=key],.search-button [class*=shortcut],.search-button [class*=hotkey],.search-button [class*=kbd],.search-button kbd,.navbar [class*=key],.navbar [class*=shortcut],.navbar [class*=hotkey],.navbar kbd{display:none !important}.markdown-preview-view table th,.markdown-rendered table th,.content table th,.content thead th{background:var(--paper-soft) !important;color:var(--body-text) !important;border-bottom:1px solid var(--border-color) !important}.markdown-preview-view table th:nth-child(even),.markdown-preview-view table th:nth-child(odd),.markdown-rendered table th:nth-child(even),.markdown-rendered table th:nth-child(odd),.content table th:nth-child(even),.content table th:nth-child(odd){background:var(--paper-soft) !important;color:var(--body-text) !important}.markdown-preview-view table td,.markdown-rendered table td,.content table td{background:rgba(0,0,0,0) !important;color:var(--body-text) !important}.markdown-preview-view table tr:nth-child(even) td,.markdown-rendered table tr:nth-child(even) td,.content table tr:nth-child(even) td{background:rgba(18,61,99,.025) !important}.search-container{background:rgba(23,23,23,.38) !important;backdrop-filter:blur(2px)}.search-box{background:var(--paper) !important;color:var(--body-text) !important;border:1px solid var(--border-color) !important;border-radius:10px !important;box-shadow:0 18px 48px rgba(23,23,23,.22) !important;font-family:var(--ui-font) !important}.search-header{border-bottom:1px solid var(--border-soft) !important}.search-box input,.search-box input[type=search],#term{background:var(--paper-soft) !important;color:var(--body-text) !important;border:1px solid var(--border-color) !important;border-radius:7px !important;font-family:var(--ui-font) !important;box-shadow:none !important}.search-box input::placeholder,#term::placeholder{color:var(--faint-text) !important;opacity:1 !important}.search-box input:focus,#term:focus{border-color:var(--link-color) !important;outline:none !important;box-shadow:0 0 0 2px rgba(18,61,99,.12) !important}.search-layout{background:rgba(0,0,0,0) !important}.search-results-panel{border-right:1px solid var(--border-soft) !important;color:var(--muted-text) !important}.search-results-panel span,.search-results-panel i{color:var(--muted-text) !important}.search-preview-panel{background:rgba(0,0,0,0) !important;color:var(--body-text) !important}.preview-placeholder{color:var(--muted-text) !important}.preview-placeholder svg,.preview-placeholder i{color:var(--faint-text) !important;stroke:var(--faint-text) !important;opacity:.8 !important}.preview-content{background:rgba(0,0,0,0) !important;color:var(--body-text) !important;font-family:var(--body-font) !important;line-height:1.6 !important}.preview-title{color:var(--body-text) !important;font-family:var(--ui-font) !important;font-weight:600 !important}.preview-tags .tag,.result-tags .tag{background:var(--paper-soft) !important;color:var(--muted-text) !important;border:1px solid var(--border-soft) !important;border-radius:999px !important;text-decoration:none !important}.preview-body{color:var(--body-text) !important;font-family:var(--body-font) !important}.preview-body h1,.preview-body h2,.preview-body h3,.preview-body h4,.preview-body h5,.preview-body h6{color:var(--body-text) !important;font-family:var(--ui-font) !important}.preview-body a{color:var(--link-color) !important}.preview-body a:hover{color:var(--link-hover) !important}.preview-body code{background:var(--paper-soft) !important;color:var(--body-text) !important;border:1px solid var(--border-soft) !important}.preview-body pre{background:var(--paper-soft) !important;color:var(--body-text) !important;border:1px solid var(--border-soft) !important}.searchresult{background:var(--paper-soft) !important;color:var(--body-text) !important;border:1px solid rgba(0,0,0,0) !important;border-radius:8px !important;box-shadow:none !important}.searchresult:hover{background:#f0ebe2 !important;border-color:var(--border-soft) !important}.searchresult.active{background:rgba(18,61,99,.09) !important;border-color:var(--link-color) !important}.result-title,.search-link{color:var(--link-color) !important;font-family:var(--ui-font) !important;font-weight:600 !important;text-decoration:none !important}.result-title:hover,.search-link:hover{color:var(--link-hover) !important;text-decoration:underline !important}.result-excerpt{color:var(--muted-text) !important;font-family:var(--body-font) !important}.search-highlight{background:rgba(143,95,37,.18) !important;color:var(--body-text) !important;border-radius:2px !important}.no-results{color:var(--muted-text) !important}.no-results svg,.no-results i{color:var(--faint-text) !important;stroke:var(--faint-text) !important;opacity:.8 !important}.search-box-footer{border-top:1px solid var(--border-soft) !important;color:var(--muted-text) !important}.navigation-hint,.navigation-hint span,.navigation-hint code{color:var(--muted-text) !important;opacity:1 !important}.navigation-hint code{background:var(--paper-soft) !important;border:1px solid var(--border-color) !important;border-radius:4px !important;padding:.1rem .35rem !important;font-family:var(--ui-font) !important}.search-button{background:rgba(0,0,0,0) !important;color:var(--muted-text) !important;border:1px solid var(--border-color) !important;box-shadow:none !important;font-family:var(--ui-font) !important}.search-button:hover{background:var(--paper-soft) !important;border-color:var(--border-color) !important;color:var(--body-text) !important}.search-button *,.search-button .search-text,.search-button .search-keys,.search-button code{color:var(--muted-text) !important;opacity:1 !important;-webkit-text-fill-color:var(--muted-text) !important}.search-button .search-keys,.search-button .search-keys code{background:var(--paper-soft) !important;color:var(--body-text) !important;-webkit-text-fill-color:var(--body-text) !important;border:1px solid var(--border-color) !important;border-radius:4px !important}.search-button svg,.search-button i{color:var(--muted-text) !important;stroke:var(--muted-text) !important;opacity:1 !important}#tooltip-wrapper{background:var(--paper) !important;color:var(--body-text) !important;border:1px solid var(--border-color) !important;border-radius:9px !important;box-shadow:0 18px 44px rgba(23,23,23,.22) !important;font-family:var(--body-font) !important;font-size:.92rem !important;line-height:1.55 !important;scrollbar-color:var(--border-color) var(--paper-soft)}#tooltip-wrapper::after{background:linear-gradient(to bottom, rgba(251, 250, 247, 0), var(--paper)) !important}#tooltip-content{color:var(--body-text) !important}#tooltip-content,#tooltip-content .content,#tooltip-content .markdown-preview-view,#tooltip-content article,#tooltip-content main{background:var(--paper) !important;color:var(--body-text) !important;font-family:var(--body-font) !important;font-size:.92rem !important;line-height:1.55 !important}#tooltip-content h1,#tooltip-content h2,#tooltip-content h3,#tooltip-content h4,#tooltip-content h5,#tooltip-content h6{color:var(--body-text) !important;font-family:var(--ui-font) !important;line-height:1.25 !important}#tooltip-content h1{margin-top:0 !important;margin-bottom:.7rem !important;padding-bottom:.35rem !important;border-bottom:1px solid var(--border-soft) !important;font-size:1.15rem !important}#tooltip-content h2{margin-top:1.1rem !important;margin-bottom:.45rem !important;padding-bottom:.2rem !important;border-bottom:1px solid var(--border-faint) !important;font-size:1rem !important}#tooltip-content h3{margin-top:.9rem !important;margin-bottom:.35rem !important;font-size:.95rem !important}#tooltip-content p{color:var(--body-text) !important;margin:.45rem 0 !important}#tooltip-content a,#tooltip-content .internal-link,#tooltip-content .external-link{color:var(--link-color) !important;background:rgba(0,0,0,0) !important}#tooltip-content a:hover,#tooltip-content .internal-link:hover,#tooltip-content .external-link:hover{color:var(--link-hover) !important}#tooltip-content code{background:var(--paper-soft) !important;color:var(--body-text) !important;border:1px solid var(--border-soft) !important}#tooltip-content pre{background:var(--paper-soft) !important;color:var(--body-text) !important;border:1px solid var(--border-soft) !important}#tooltip-content blockquote{color:var(--muted-text) !important;border-left:3px solid var(--border-color) !important;background:rgba(0,0,0,0) !important}#tooltip-content table th{background:var(--paper-soft) !important;color:var(--body-text) !important;border-bottom:1px solid var(--border-color) !important}#tooltip-content table td{background:rgba(0,0,0,0) !important;color:var(--body-text) !important;border-bottom:1px solid var(--border-soft) !important}#tooltip-content .content{max-width:none !important;margin:0 !important;padding:0 !important}#tooltip-content .sidebar,#tooltip-content .filetree-wrapper,#tooltip-content .navbar,#tooltip-content .empty-navbar,#tooltip-content .backlinks,#tooltip-content .graph,#tooltip-content .note-downloads{display:none !important}body.no-filetree .sidebar{display:flex !important;flex-direction:column !important;position:static !important;width:min(860px,100vw - 72px) !important;max-width:860px !important;margin:3.5rem auto 0 auto !important;padding:1.5rem 24px 2.5rem 24px !important;box-sizing:border-box !important;font-family:var(--ui-font);color:var(--muted-text);border-top:1px solid var(--border-soft)}body.no-filetree .sidebar-container{display:flex !important;flex-direction:column !important;position:static !important;top:auto !important;right:auto !important;left:auto !important;width:100% !important;max-width:none !important;padding:0 !important;margin:0 !important;color:var(--muted-text) !important;opacity:1 !important}body.no-filetree .toc,body.no-filetree .toc-container{display:none !important}body.no-filetree .backlinks,body.no-filetree .backlinks-container,body.no-filetree .backlinks-wrapper{display:block !important;visibility:visible !important;order:1 !important;color:var(--muted-text) !important;opacity:1 !important}body.no-filetree .backlinks{margin:0 !important;padding:0 !important;border-top:none !important}body.no-filetree .backlink-title,body.no-filetree .backlinks-title,body.no-filetree .backlinks h2,body.no-filetree .backlinks h3{color:var(--muted-text) !important;font-family:var(--ui-font) !important;font-size:.78rem !important;font-weight:700 !important;letter-spacing:.04em !important;text-transform:uppercase !important;opacity:1 !important}body.no-filetree .backlink-card,body.no-filetree .backlink-card *,body.no-filetree .backlinks li,body.no-filetree .backlinks p{color:var(--muted-text) !important;opacity:1 !important}body.no-filetree .backlink-card{margin:.5rem 0 !important;padding:.65rem .75rem !important;background:var(--paper-soft) !important;border:1px solid var(--border-soft) !important;border-radius:7px !important;font-size:.84rem !important}body.no-filetree .backlinks a,body.no-filetree .backlink-card a{color:var(--link-color) !important;text-decoration:none !important;opacity:1 !important}body.no-filetree .backlinks a:hover,body.no-filetree .backlink-card a:hover{color:var(--link-hover) !important;text-decoration:underline !important}body.no-filetree .graph,body.no-filetree .graph-container,body.no-filetree .local-graph{order:2 !important;background:rgba(0,0,0,0) !important;color:var(--muted-text) !important}body.no-filetree .graph{display:block !important;visibility:visible !important;width:100% !important;max-width:100% !important;margin:2.25rem auto 0 auto !important;padding-top:0 !important;border-top:none !important;box-sizing:border-box !important}body.no-filetree .graph::before,body.no-filetree .graph::after,body.no-filetree .graph-container::before,body.no-filetree .graph-container::after,body.no-filetree .local-graph::before,body.no-filetree .local-graph::after{display:none !important;content:none !important;border:none !important}body.no-filetree .graph>*,body.no-filetree .graph .graph-view,body.no-filetree .graph .graph-container,body.no-filetree .graph .local-graph,body.no-filetree .graph .graph-wrapper{width:100% !important;max-width:100% !important;margin-left:auto !important;margin-right:auto !important;box-sizing:border-box !important}body.no-filetree .graph h2,body.no-filetree .graph h3,body.no-filetree .graph-title,body.no-filetree .local-graph-title{color:var(--muted-text) !important;font-family:var(--ui-font) !important;font-size:.78rem !important;font-weight:700 !important;letter-spacing:.04em !important;text-transform:uppercase !important;margin:0 0 .85rem 0 !important;padding:0 !important;border:none !important;opacity:1 !important}body.no-filetree .graph canvas,body.no-filetree .graph svg{display:block !important;width:100% !important;max-width:100% !important;margin:0 auto !important;background:var(--paper-soft) !important;border:1px solid var(--border-soft) !important;border-radius:8px !important;box-shadow:none !important;box-sizing:border-box !important}body.no-filetree .graph svg,body.no-filetree .graph svg *{color:var(--muted-text) !important}body.no-filetree .graph svg circle,body.no-filetree .graph svg ellipse,body.no-filetree .graph svg .node,body.no-filetree .graph svg [class*=node]{fill:var(--link-color) !important;stroke:var(--paper) !important;stroke-width:1.5px !important}body.no-filetree .graph svg .active,body.no-filetree .graph svg .current,body.no-filetree .graph svg [class*=active],body.no-filetree .graph svg [class*=current]{fill:var(--accent-blue-dark) !important;stroke:var(--body-text) !important}body.no-filetree .graph svg line,body.no-filetree .graph svg path,body.no-filetree .graph svg .link,body.no-filetree .graph svg [class*=link],body.no-filetree .graph svg [class*=edge]{stroke:var(--border-color) !important;stroke-opacity:.9 !important;fill:none !important}body.no-filetree .graph svg text,body.no-filetree .graph svg .label,body.no-filetree .graph svg [class*=label]{fill:var(--muted-text) !important;color:var(--muted-text) !important;font-family:var(--ui-font) !important;font-size:.75rem !important;font-weight:500 !important}body.no-filetree .graph button,body.no-filetree .graph .graph-control,body.no-filetree .graph [class*=control]{background:var(--paper) !important;color:var(--muted-text) !important;border:1px solid var(--border-soft) !important;border-radius:6px !important;font-family:var(--ui-font) !important;box-shadow:none !important}body.no-filetree .graph button:hover,body.no-filetree .graph .graph-control:hover,body.no-filetree .graph [class*=control]:hover{background:var(--paper-soft) !important;color:var(--body-text) !important;border-color:var(--border-color) !important}@media(min-width: 1500px){body.no-filetree .sidebar{width:min(920px,100vw - 96px) !important;max-width:920px !important}}@media(max-width: 800px){body.no-filetree .sidebar{width:calc(100vw - 32px) !important;max-width:calc(100vw - 32px) !important;margin-top:2.5rem !important;padding:1.25rem 16px 2rem 16px !important}body.no-filetree .graph{overflow-x:hidden !important}}body{--lm-graph-node-color: #123d63;--lm-graph-current-node-color: #183f63;--lm-graph-node-muted-color: #8f877d;--lm-graph-link-color: #c9c0b3;--lm-graph-link-active-color: #24537d;--lm-graph-label-color: #3f3a35}/*# sourceMappingURL=custom-style.css.map */