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-fill-mode:both;animation-name:deepmathFadeInUp}@keyframes deepmathFadeInUp{0%{opacity:0;transform:translate3d(0,100%,0)}to{opacity:1;transform:none}}@media(prefers-reduced-motion:reduce){html.reveal-ready [data-reveal]{opacity:1;visibility:visible;transform:none;animation:none;will-change:auto}}: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));position:fixed;top:0;right:calc(25px * var(--section-dot-scale));z-index:9999;display:flex;height:100%;flex-direction:column;gap:calc(16px * var(--section-dot-scale));justify-content:center;pointer-events:none}.bullet{position:relative;display:flex;align-items:center;justify-content:flex-end;pointer-events:auto}.bullet>span{position:absolute;right:calc(20px * var(--section-dot-scale));display:none;width:max-content;height:fit-content;justify-content:flex-end;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}.bullet:hover>span,.bullet:focus-within>span{display:flex}.dot{position:relative;display:flex;width:calc(17px * var(--section-dot-scale));height:calc(17px * var(--section-dot-scale));border:calc(1px * var(--section-dot-scale)) solid #ffffff;border-radius:50%;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;transition:background .25s ease,box-shadow .25s ease,transform .25s ease}.dot:hover,.dot:focus{background:var(--section-dot-active-color);border-color:#fff;opacity:1;transform:scale(1.08)}.dot.is-active{background:var(--section-dot-active-color);border-color:#fff;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}.dot-anchor-text{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}@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}}