:root{--sans:"Inter", sans-serif;--serif:"Times New Roman", serif;--heading:"Inter", sans-serif;--mono:ui-monospace, Consolas, monospace;--body-font-size:.938rem;--h1-font-size:2.5rem;--h2-font-size:1.75rem;--font-scale-factor:.93}#root{box-sizing:border-box;flex-direction:column;width:100%;max-width:100%;min-height:100dvh;margin:0 auto;display:flex}body{font-size:var(--body-font-size);line-height:140%;font-family:var(--sans);letter-spacing:.18px;color:#e1e1e1;background-color:#202020}@media (width<=720px){body{font-size:calc(var(--body-font-size)*var(--font-scale-factor))}}body{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light dark;text-rendering:optimizelegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;min-width:0;margin:0}h1,h2{font-family:var(--heading);font-weight:500}h1{letter-spacing:-1px;margin:24px 0 20px;font-size:2.5rem;line-height:118%}@media (width<=720px){h1{font-size:calc(var(--h1-font-size)*var(--font-scale-factor))}}h2{letter-spacing:-.2px;margin:0 0 15px;font-size:1.75rem;line-height:112%}@media (width<=720px){h2{font-size:calc(var(--h2-font-size)*var(--font-scale-factor))}}p{margin:12px 0}p:first-of-type{margin-top:0}p:last-of-type{margin-bottom:0}@media (width<=720px){p{font-size:calc(var(--body-font-size)*var(--font-scale-factor))}}code,.counter{font-family:var(--mono);color:var(--text-h);border-radius:4px;display:inline-flex}code{background:var(--code-bg);padding:4px 8px;font-size:15px;line-height:135%}main{box-sizing:border-box;width:100%;min-width:0;max-width:1280px;min-height:0;margin-left:auto;margin-right:auto;padding:18px 24px}main>div:first-child h1{margin-top:0}.landing{flex-direction:column;min-height:max(455px,100dvh - 45px);display:flex;overflow:hidden}.hero-landing{text-align:center}.hero-landing h1{text-align:center;font-size:3rem;line-height:136%}@media (width<=720px),(height<=640px){.hero-landing h1{font-size:calc(2.5rem*var(--font-scale-factor))}}.hero-landing h1{color:#eee;margin:6% 18% 4%;font-weight:400}@media (height<=500px),(height<=640px){.hero-landing h1{margin:4% 8% 3%}}.hero-landing h2{margin:0 12% 4%;font-size:1.5rem;font-weight:400;line-height:136%}@media (width<=720px),(height<=640px){.hero-landing h2{font-size:calc(1.25rem*var(--font-scale-factor));margin:0 8% 3%}}.learn-content h2{margin-top:24px}.learn-content ul{margin-top:4px}.learn-content ul li{margin-top:8px}.learn-content ol{margin-top:4px}.learn-content ol li{margin-top:8px}.navbar ul{background-color:#3c3c3c;justify-content:flex-start;align-items:baseline;margin:0;padding:0;list-style-type:none;display:flex;overflow:hidden}.navbar a{color:#e1e1e1;font-size:1.15rem}@media (width<=720px){.navbar a{font-size:calc(1.2rem*var(--font-scale-factor))}}.navbar a{text-align:center;align-items:center;height:20px;padding:12px 12px 11px;text-decoration:none;display:flex;position:relative}.navbar a:before,.navbar a:after{content:"";visibility:hidden;background-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 20 20' xml:space='preserve'%3E%3Cpath style='fill:%23202020;' d='M0,20h20V0C20,11,11,20,0,20z' /%3E%3C/svg%3E");background-position:0 100%;background-repeat:no-repeat;background-size:contain;width:100%;height:10px;display:block;position:absolute;bottom:0;left:0}.navbar a:before{left:-11px}.navbar a:after{left:auto;right:-11px;transform:scaleX(-1)}.navbar li{margin-left:0;margin-right:14px}.navbar li:first-child{margin-left:8px}@media (width<=720px){.navbar li:first-child{margin-left:0}}.navbar li:first-child a{font-size:1.35rem}@media (width<=720px){.navbar li:first-child a{font-size:calc(1.35rem*var(--font-scale-factor))}}.navbar li:first-child a:hover{box-shadow:none;background-color:#3c3c3c;border-radius:0}.navbar li:first-child a:hover:before,.navbar li:first-child a:hover:after{visibility:hidden}.navbar li:last-of-type{margin-left:auto;margin-right:10px}@media (width<=720px){.navbar li{margin-right:2px}}.navbar a:hover,a.selected{color:#eee;background-color:#202020;border-radius:10px 10px 0 0;box-shadow:-1.5px 0 #202020,1.5px 0 #202020}:is(.navbar a:hover,a.selected):before,:is(.navbar a:hover,a.selected):after{visibility:visible}.graph-container{flex:1;min-height:100px;position:relative}.overview-box{background-color:#3c3c3c;border-radius:12px;flex-direction:column;width:340px;max-height:calc(100vh - 234px);padding:10px 8px 12px 18px;display:flex;position:absolute;top:20px;right:20px}@media (width<=720px){.overview-box{max-width:260px;top:60px}}.overview-box h1{margin:0 24px 10px 0;font-size:1.5rem;line-height:124%}@media (width<=720px){.overview-box h1{font-size:calc(1.5rem*var(--font-scale-factor))}}.overview-box h2{margin:14px 0 6px;font-size:1.375rem;line-height:118%}@media (width<=720px){.overview-box h2{font-size:calc(1.375rem*var(--font-scale-factor))}}.overview-box h2:first-of-type{margin-top:8px}.overview-box p{font-size:.875rem}@media (width<=720px){.overview-box p{font-size:calc(.875rem*var(--font-scale-factor))}}.overview-box ul{margin:0 0 8px;padding:0}.overview-tab{flex-direction:column;min-height:0}.overview-tab-markdown{font-size:.875rem}@media (width<=720px){.overview-tab-markdown{font-size:calc(.875rem*var(--font-scale-factor))}}.overview-tab-markdown{scrollbar-color:#575757 #202020;scrollbar-width:thin;flex:auto;min-height:0;padding-right:18px;overflow-y:auto}.overview-tab-markdown ul,.overview-tab-markdown ol{padding-left:32px}.attributes-tab{padding:6px 18px 0 0;font-size:.938rem}@media (width<=720px){.attributes-tab{font-size:calc(.938rem*var(--font-scale-factor))}}.attributes-tab ul{font-size:.875rem}@media (width<=720px){.attributes-tab ul{font-size:calc(.875rem*var(--font-scale-factor))}}.attributes-tab ul{margin:0 0 8px;padding:4px 0 0 24px}.attributes-tab ul li{margin-bottom:3px;padding-top:0}.attributes-tab{scrollbar-color:#575757 #202020;scrollbar-width:thin;flex:auto;min-height:0;overflow-y:auto}.overview-box-tabs{font-family:var(--sans);color:#e1e1e1;cursor:pointer;background:#575757;border-radius:16px;margin-bottom:10px;margin-left:-6px;margin-right:14px;padding:6px 10px}.overview-box-tabs:hover{color:#eee;background-color:#474747}.notes-exercises{justify-content:left;list-style-type:none;display:flex}.notes-exercises li{padding:0 12px 0 0}.notes-exercises a{color:inherit;cursor:pointer;background-color:#575757;border:0;border-radius:6px;font-size:1rem;text-decoration:none;display:inline-block}@media (width<=720px){.notes-exercises a{font-size:.938rem}}.notes-exercises a{padding:3px 8px}.notes-exercises a:hover{color:#eee;background-color:#474747}.attributes-box{position:absolute;top:20px;right:20px}.attributes-box.selected{right:400px}@media (width<=720px){.attributes-box.selected{right:320px}}.attributes-box{width:180px;max-height:220px}@media (width<=720px){.attributes-box{width:140px}}.attributes-box{pointer-events:none;background-color:#474747dd;border-radius:12px;flex-direction:column;padding:8px 12px;font-size:.8rem;display:flex}@media (width<=720px){.attributes-box{font-size:calc(.8rem*var(--font-scale-factor))}}.attributes-box h3{margin-top:0;margin-bottom:4px;padding:0;font-weight:400}.attributes-box ul{font-size:.775rem;line-height:1.085rem}@media (width<=720px){.attributes-box ul{font-size:calc(.775rem*var(--font-scale-factor));line-height:calc(.775rem*var(--font-scale-factor) * 1.4)}}.attributes-box ul{margin:0;padding:0 0 0 24px}.attributes-box ul li{margin-bottom:4px;padding-top:0}.attributes-box-preview{width:175px;max-height:190px;position:absolute}@media (width<=720px){.attributes-box-preview{width:150px}}.attributes-box-preview{pointer-events:none;background-color:#474747aa;border-radius:12px;flex-direction:column;flex:1;padding:8px 10px;font-size:.775rem;display:flex;overflow:hidden}@media (width<=720px){.attributes-box-preview{font-size:calc(.775rem*var(--font-scale-factor))}}.attributes-box-preview h3{margin-top:0;margin-bottom:4px;padding:0;font-weight:400;line-height:124%}.attributes-box-preview ul{font-size:.75rem;line-height:1.05rem}@media (width<=720px){.attributes-box-preview ul{font-size:calc(.75rem*var(--font-scale-factor));line-height:calc(.75rem*var(--font-scale-factor) * 1.4)}}.attributes-box-preview ul{margin:0;padding:0 0 0 18px}.attributes-box-preview ul li{margin-bottom:4px;padding-top:0}.read-more-attributes{margin-top:4px;font-size:.813rem;font-style:italic;line-height:122%}@media (width<=720px){.read-more-attributes{font-size:.775rem}}.explore-config-button{width:31px;height:31px;font-family:var(--sans);color:#e1e1e1;cursor:pointer;background-color:#575757dd;border:none;border-radius:6px;margin:0;padding:1px 6px 3px;font-size:1.25rem;position:absolute;top:20px;left:186px}.explore-config-button:hover{color:#eee;background-color:#474747dd}.explore-config-modal{background-color:#575757;border:none;border-radius:12px;width:min(560px,78vw);height:min(440px,80vh);padding:0;overflow:hidden}.explore-config-modal::backdrop{background:#00000080}.explore-config-modal-container{grid-template-rows:32px 1fr;width:100%;height:100%;display:grid}.explore-config-modal header{color:#e1e1e1;justify-content:space-between;align-items:center;padding-left:10px;display:flex}.explore-config-modal-main{grid-template-columns:120px 1fr;display:grid}@media (width<=720px){.explore-config-modal-main{grid-template-columns:100px 1fr}}.explore-config-modal-main{min-height:0}.explore-config-modal nav{background-color:#202020;justify-content:flex-end;padding:0 0 20px 12px;display:flex}.explore-config-modal nav ul{flex-direction:column;align-items:flex-end;margin:0;padding:0;list-style-type:none;display:flex}.explore-config-modal nav ul li button{font-family:var(--sans);font-size:1rem}@media (width<=720px){.explore-config-modal nav ul li button{font-size:calc(1rem * var(--font-scale-factor))}}.explore-config-modal nav ul li button{cursor:pointer;border:none;border-top-left-radius:8px;border-bottom-left-radius:8px;margin-top:4px;padding:4px 8px}.explore-config-modal nav ul li button:hover{color:#eee!important;background-color:#3c3c3c!important}.explore-config-modal section{color:#e1e1e1;background-color:#3c3c3c;flex-grow:1;min-height:0;padding:8px 12px 0 18px;position:relative}.explore-config-modal section h3{margin-top:0;margin-bottom:12px;padding:0;font-weight:400}.explore-config-appearance-tab{scrollbar-color:#575757 #202020;scrollbar-width:thin;padding:12px 18px 12px 12px;display:inline-block;position:absolute;inset:0;overflow-y:auto}.explore-config-appearance-tab .toggle-text{min-width:0;padding-right:20px;display:inline-block;position:relative}.explore-config-appearance-tab .toggle-cell{place-items:center;display:grid}.explore-config-appearance-tab ul{width:100%;margin:0;padding:0;list-style-type:none}.explore-config-appearance-tab ul li{grid-template-columns:340px 1fr;align-items:stretch;width:100%;margin-bottom:8px;display:grid}.explore-config-help-tab{scrollbar-color:#575757 #202020;scrollbar-width:thin;padding:12px 18px 0 12px;position:absolute;inset:0;overflow-y:auto}.explore-config-help-tab ul{margin:8px 0 8px 36px;padding:0}.explore-config-help-tab ul li{margin-bottom:6px}.explore-config-help-tab img{width:100px;margin-bottom:-10px;margin-right:12px;padding-bottom:0}.search-bar{width:140px;height:20px;font-family:var(--sans);background-color:#575757dd;border:1px solid #575757;border-radius:6px;outline:none;padding:5px 8px;position:absolute;top:20px;left:20px}.search-bar::placeholder{color:#aaa}.search-bar.focused{border:1px solid #eee}.search-bar.focused.filled{border-bottom:none;border-bottom-right-radius:0;border-bottom-left-radius:0}.search-results{scrollbar-color:#575757 #202020;scrollbar-width:thin;border:1px solid #e1e1e1;border-top:none;border-bottom-right-radius:6px;border-bottom-left-radius:6px;width:156px;min-height:0;max-height:250px;position:absolute;top:51px;left:20px;overflow-y:auto}.search-results button{cursor:pointer;color:#e1e1e1;width:100%;font-family:var(--sans);text-align:left;background-color:#575757dd;border:none;border-top:1px solid #575757;padding:5px 8px;font-size:.813rem}.search-results button:hover{color:#eee;background-color:#474747dd}.filter-button{position:absolute;top:20px;left:225px}@media (width<=720px){.filter-button{left:auto;right:20px}}.filter-button{width:31px;height:31px;font-size:1.25rem;font-family:var(--sans);color:#e1e1e1;cursor:pointer;background-color:#575757dd;border:none;border-radius:6px;justify-content:center;margin:0;padding:0;display:flex}.filter-button:hover{background-color:#474747dd;border-bottom-right-radius:0;border-bottom-left-radius:0}.filter-button img{width:18px;position:absolute;top:7px}.filter-panel{border-radius:0 6px 6px;width:280px;height:160px;position:absolute;top:31px;left:0}@media (width<=720px){.filter-panel{border-radius:6px 0 6px 6px;width:250px;left:auto;right:0}}.filter-panel{z-index:1;background-color:#474747dd;padding:8px 12px 12px;font-size:.813rem}@media (width<=720px){.filter-panel{font-size:calc(.813rem * var(--font-scale-factor))}}.filter-panel{scrollbar-color:#575757 #202020;scrollbar-width:thin;flex-direction:column;justify-content:flex-start;align-items:start;min-height:0;display:flex;overflow-y:auto}.filter-panel h3{margin-top:0;margin-bottom:8px;padding:0;font-weight:400}.filter-checks{width:100%}.filter-checks ul{grid-template-columns:repeat(2,minmax(0,1fr));gap:10px;width:100%;margin:0 0 4px;padding:0;list-style-type:none;display:grid}.filter-checks ul li{flex-direction:row;align-items:flex-start;min-width:0;display:flex}.filter-checks ul li input{accent-color:#e1e1e1;margin-right:6px}.filter-checks label{overflow-wrap:break-word;text-align:left}.Xclose-button{cursor:pointer;background:0 0;border:0;margin:2px 9px 0 0;padding:0;font-size:18px;position:absolute;top:0;right:0}.Xclose-button:hover{opacity:.8}.toggle-switch{cursor:pointer;background-color:#a5a5a5;border:none;border-radius:34px;width:40px;height:22px;padding:0;transition:background-color .3s;position:relative}.toggle-switch .toggle-switch-thumb{background-color:#eee;border-radius:50%;width:18px;height:18px;transition:transform .3s;position:absolute;top:2px;left:3px;box-shadow:0 2px 5px #0003}.toggle-switch.on{background-color:#a07df1}.toggle-switch.on .toggle-switch-thumb{transform:translate(16.4px)}.information-icon{margin-left:8px;display:inline-block;position:relative}.information-popup{color:#e1e1e1;z-index:99;pointer-events:none;text-align:left;background:#202020dd;border-radius:12px;width:134px;padding:6px 10px;font-size:.75rem;line-height:118%;position:absolute;top:-15px;left:95px;transform:translate(-50%)}@media (width<=720px){.information-popup{font-size:calc(.75rem * var(--font-scale-factor));width:120px;left:85px}}.got-it-close{flex-direction:column;align-items:center;margin-top:12px;margin-bottom:18px;display:flex}.got-it-close button{width:80px;height:28px;font-family:var(--sans);color:#e1e1e1;cursor:pointer;background-color:#8d6ed4;border:none;border-radius:8px;font-size:1.063rem}.got-it-close button:hover{color:#eee}.content-not-available h2{margin-bottom:24px;font-size:1.5rem;font-weight:400}.content-not-available h3{margin-bottom:0;font-size:1.183rem;font-weight:400}.content-not-available ul li{margin-bottom:8px}.email-corrections{text-align:right;font-size:.875rem}@media (width<=720px){.email-corrections{font-size:calc(.875rem * var(--font-scale-factor))}}.email-corrections{margin-top:36px;font-style:italic}.about{flex-direction:column;min-height:calc(100vh - 45px);display:flex;overflow-y:auto}.faq-question{font-family:inherit;font-size:inherit;color:inherit;font-weight:inherit;cursor:pointer;text-align:left;background:#474747;border:none;border-top-left-radius:4px;border-top-right-radius:4px;justify-content:space-between;align-items:center;width:100%;padding:10px 10px 10px 12px;display:flex}.faq-item{max-width:640px;margin-bottom:10px}.faq-answer{text-align:left;background:#3c3c3c;border-bottom-right-radius:4px;border-bottom-left-radius:4px;padding:8px 18px 10px 12px}.privacy-policy{margin-top:auto;margin-bottom:8px}.privacy-policy p{font-size:.813rem;line-height:146%}@media (width<=720px){.privacy-policy p{font-size:calc(.813rem*var(--font-scale-factor))}}.privacy-policy h2{margin-top:20px;margin-bottom:10px;font-size:1.25rem}@media (width<=720px){.privacy-policy h2{font-size:calc(1.25rem*var(--font-scale-factor))}}.copyright-and-contacts{border-top:1px solid #3c3c3c;flex-direction:row;justify-content:space-between;align-items:center;margin:0;padding-top:4px;padding-right:8px;font-size:.813rem;display:flex}@media (width<=720px){.copyright-and-contacts{font-size:calc(.813rem*var(--font-scale-factor))}}.math-environment--definition{border-left:2px solid #007af9;margin:12px 0;padding-left:10px;scroll-margin-top:12px}.math-environment--theorem,.math-environment--proposition,.math-environment--corollary,.math-environment--lemma{border-left:2px solid #8a5cf2;margin:12px 0;padding-left:10px;scroll-margin-top:12px}:is(.math-environment--theorem,.math-environment--proposition,.math-environment--corollary,.math-environment--lemma) .math-environment-body{font-style:italic}.math-environment--remark{border-left:2px solid #feee87;margin:12px 0;padding-left:10px;scroll-margin-top:12px}.math-environment--example,.math-environment--exercise{border-left:2px solid #999;margin:12px 0;padding-left:10px;scroll-margin-top:12px}.math-environment--proof,.math-environment--solution{scroll-margin-top:12px}:is(.math-environment--proof,.math-environment--solution) .math-environment-header{justify-content:space-between;align-items:center;width:100%;display:flex}:is(.math-environment--proof,.math-environment--solution) button{color:#e1e1e1;cursor:pointer;background:#20202000;border:none;padding-left:0;padding-right:0;font-size:1rem}