html.reveal-ready [data-reveal]{opacity:0;visibility:hidden;will-change:opacity, transform}html.reveal-ready [data-reveal].is-revealed{opacity:1;visibility:visible}html.reveal-ready [data-reveal=fadeInUp].is-revealed{animation-duration:var(--reveal-duration,1.25s);animation-name:deepmathFadeInUp;animation-fill-mode:both}@keyframes deepmathFadeInUp{0%{opacity:0;transform:translateY(100%)}to{opacity:1;transform:none}}@media (prefers-reduced-motion:reduce){html.reveal-ready [data-reveal]{opacity:1;visibility:visible;will-change:auto;animation:none;transform:none}}:root{--dm-section-nav-clearance-right:calc(72px * var(--dm-global-fit-scale,1))}.section-dots{--section-dot-color:#032139;--section-dot-active-color:var(--deepmath-accent);--section-dot-source-scale:var(--dm-global-fit-scale,1);--section-dot-overflow-fit-scale:1;--section-dot-scale:calc(var(--section-dot-source-scale) * var(--section-dot-overflow-fit-scale));top:0;right:calc(25px * var(--section-dot-scale));z-index:9999;gap:calc(16px * var(--section-dot-scale));pointer-events:none;flex-direction:column;justify-content:center;height:100%;display:flex;position:fixed}.bullet{pointer-events:auto;justify-content:flex-end;align-items:center;display:flex;position:relative}.bullet>span{right:calc(20px * var(--section-dot-scale));width:max-content;height:fit-content;padding:calc(5px * var(--section-dot-scale)) calc(15px * var(--section-dot-scale));border-radius:calc(3px * var(--section-dot-scale));background:var(--section-dot-color);color:#fff;font-size:calc(16px * var(--section-dot-scale));line-height:calc(20px * var(--section-dot-scale));text-align:right;justify-content:flex-end;display:none;position:absolute}.bullet:hover>span,.bullet:focus-within>span{display:flex}.dot{width:calc(17px * var(--section-dot-scale));height:calc(17px * var(--section-dot-scale));border:calc(1px * var(--section-dot-scale)) solid #fff;background:var(--section-dot-color);box-shadow:0 0 0 calc(4px * var(--section-dot-scale)) #fff3, 0 calc(10px * var(--section-dot-scale)) calc(22px * var(--section-dot-scale)) #0321392e;opacity:1;border-radius:50%;transition:background .25s,box-shadow .25s,transform .25s;display:flex;position:relative}.dot:hover,.dot:focus{background:var(--section-dot-active-color);opacity:1;border-color:#fff;transform:scale(1.08)}.dot.is-active{background:var(--section-dot-active-color);box-shadow:0 0 0 calc(3px * var(--section-dot-scale)) #e6b84a8a, 0 0 calc(10px * var(--section-dot-scale)) #daac415c, 0 calc(12px * var(--section-dot-scale)) calc(26px * var(--section-dot-scale)) #0321393d;border-color:#fff}.dot-anchor-text{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}@media (max-width:767px),(max-width:1024px) and (orientation:portrait),(max-width:1280px) and (max-height:760px) and (orientation:landscape){:root{--dm-section-nav-clearance-right:64px}.section-dots{--section-dot-source-scale:1;right:calc(10px * var(--section-dot-scale));gap:calc(18px * var(--section-dot-scale));height:var(--dm-viewport-height,100vh)}.bullet>span{right:calc(24px * var(--section-dot-scale));font-size:calc(.7em * var(--section-dot-overflow-fit-scale))}.dot{width:calc(15px * var(--section-dot-scale));height:calc(15px * var(--section-dot-scale));border-width:calc(1.25px * var(--section-dot-scale))}}@media (min-width:768px) and (max-width:1024px) and (orientation:portrait){:root{--dm-section-nav-clearance-right:calc(64px * var(--dm-tablet-portrait-gap-scale,1))}.section-dots{--section-dot-source-scale:var(--dm-tablet-portrait-figure-scale,1);right:calc(10px * var(--dm-tablet-portrait-gap-scale,1) * var(--section-dot-overflow-fit-scale));gap:calc(18px * var(--dm-tablet-portrait-gap-scale,1) * var(--section-dot-overflow-fit-scale))}.bullet>span{right:calc(24px * var(--dm-tablet-portrait-gap-scale,1) * var(--section-dot-overflow-fit-scale));padding:calc(5px * var(--dm-tablet-portrait-gap-scale,1) * var(--section-dot-overflow-fit-scale)) calc(15px * var(--dm-tablet-portrait-gap-scale,1) * var(--section-dot-overflow-fit-scale));border-radius:calc(3px * var(--dm-tablet-portrait-figure-scale,1) * var(--section-dot-overflow-fit-scale));font-size:calc(11.2px * var(--dm-tablet-portrait-font-scale,1) * var(--section-dot-overflow-fit-scale));line-height:calc(14px * var(--dm-tablet-portrait-font-scale,1) * var(--section-dot-overflow-fit-scale))}.dot{width:calc(15px * var(--section-dot-scale));height:calc(15px * var(--section-dot-scale));border-width:calc(1.25px * var(--section-dot-scale));box-shadow:0 0 0 calc(4px * var(--section-dot-scale)) #fff3, 0 calc(10px * var(--section-dot-scale)) calc(22px * var(--section-dot-scale)) #0321392e}.dot.is-active{box-shadow:0 0 0 calc(3px * var(--section-dot-scale)) #e6b84a8a, 0 0 calc(10px * var(--section-dot-scale)) #daac415c, 0 calc(12px * var(--section-dot-scale)) calc(26px * var(--section-dot-scale)) #0321393d}}