.reveal .stretch,.reveal .r-stretch{max-width:none;max-height:none}.reveal pre.stretch code,.reveal pre.r-stretch code{box-sizing:border-box;height:100%;max-height:100%}.reveal .r-fit-text{white-space:nowrap;display:inline-block}.reveal .r-stack{grid-template-rows:100%;display:grid}.reveal .r-stack>*{grid-area:1/1;margin:auto}.reveal .r-vstack,.reveal .r-hstack{display:flex}.reveal .r-vstack img,.reveal .r-vstack video,.reveal .r-hstack img,.reveal .r-hstack video{object-fit:contain;min-width:0;min-height:0}.reveal .r-vstack{flex-direction:column;justify-content:center;align-items:center}.reveal .r-hstack{flex-direction:row;justify-content:center;align-items:center}.reveal .items-stretch{align-items:stretch}.reveal .items-start{align-items:flex-start}.reveal .items-center{align-items:center}.reveal .items-end{align-items:flex-end}.reveal .justify-between{justify-content:space-between}.reveal .justify-around{justify-content:space-around}.reveal .justify-start{justify-content:flex-start}.reveal .justify-center{justify-content:center}.reveal .justify-end{justify-content:flex-end}html.reveal-full-page{width:100%;height:100vh;height:calc(var(--vh,1vh) * 100);height:100dvh;overflow:hidden}.reveal-viewport{color:#000;--r-controls-spacing:12px;--r-overlay-header-height:40px;--r-overlay-margin:0px;--r-overlay-padding:6px;--r-overlay-gap:5px;background-color:#fff;height:100%;margin:0;line-height:1;position:relative;overflow:hidden}@media screen and (width<=1024px),(height<=768px){.reveal-viewport{--r-overlay-header-height:26px}}.reveal-viewport:fullscreen{width:100%!important;height:100%!important;top:0!important;left:0!important;transform:none!important}.reveal .fragment{transition:all .2s}.reveal .fragment:not(.custom){opacity:0;visibility:hidden;will-change:opacity}.reveal .fragment.visible{opacity:1;visibility:inherit}.reveal .fragment.disabled{transition:none}.reveal .fragment.grow{opacity:1;visibility:inherit}.reveal .fragment.grow.visible{transform:scale(1.3)}.reveal .fragment.shrink{opacity:1;visibility:inherit}.reveal .fragment.shrink.visible{transform:scale(.7)}.reveal .fragment.zoom-in{transform:scale(.1)}.reveal .fragment.zoom-in.visible{transform:none}.reveal .fragment.fade-out{opacity:1;visibility:inherit}.reveal .fragment.fade-out.visible{opacity:0;visibility:hidden}.reveal .fragment.semi-fade-out{opacity:1;visibility:inherit}.reveal .fragment.semi-fade-out.visible{opacity:.5;visibility:inherit}.reveal .fragment.strike{opacity:1;visibility:inherit}.reveal .fragment.strike.visible{text-decoration:line-through}.reveal .fragment.fade-up{transform:translateY(40px)}.reveal .fragment.fade-up.visible{transform:translate(0)}.reveal .fragment.fade-down{transform:translateY(-40px)}.reveal .fragment.fade-down.visible{transform:translate(0)}.reveal .fragment.fade-right{transform:translate(-40px)}.reveal .fragment.fade-right.visible{transform:translate(0)}.reveal .fragment.fade-left{transform:translate(40px)}.reveal .fragment.fade-left.visible{transform:translate(0)}.reveal .fragment.fade-in-then-out,.reveal .fragment.current-visible{opacity:0;visibility:hidden}.reveal .fragment.fade-in-then-out.current-fragment,.reveal .fragment.current-visible.current-fragment{opacity:1;visibility:inherit}.reveal .fragment.fade-in-then-semi-out{opacity:0;visibility:hidden}.reveal .fragment.fade-in-then-semi-out.visible{opacity:.5;visibility:inherit}.reveal .fragment.fade-in-then-semi-out.current-fragment,.reveal .fragment.highlight-red,.reveal .fragment.highlight-current-red,.reveal .fragment.highlight-green,.reveal .fragment.highlight-current-green,.reveal .fragment.highlight-blue,.reveal .fragment.highlight-current-blue{opacity:1;visibility:inherit}.reveal .fragment.highlight-red.visible{color:#ff2c2d}.reveal .fragment.highlight-green.visible{color:#17ff2e}.reveal .fragment.highlight-blue.visible{color:#1b91ff}.reveal .fragment.highlight-current-red.current-fragment{color:#ff2c2d}.reveal .fragment.highlight-current-green.current-fragment{color:#17ff2e}.reveal .fragment.highlight-current-blue.current-fragment{color:#1b91ff}.reveal:after{content:"";font-style:italic}.reveal iframe{z-index:1}.reveal a{position:relative}@keyframes bounce-right{0%,10%,25%,40%,50%{transform:translate(0)}20%{transform:translate(10px)}30%{transform:translate(-5px)}}@keyframes bounce-left{0%,10%,25%,40%,50%{transform:translate(0)}20%{transform:translate(-10px)}30%{transform:translate(5px)}}@keyframes bounce-down{0%,10%,25%,40%,50%{transform:translateY(0)}20%{transform:translateY(10px)}30%{transform:translateY(-5px)}}.reveal .controls{top:auto;bottom:var(--r-controls-spacing);right:var(--r-controls-spacing);z-index:11;color:#000;pointer-events:none;font-size:10px;display:none;position:absolute;left:auto}.reveal .controls button{cursor:pointer;color:currentColor;z-index:2;pointer-events:auto;font-size:inherit;visibility:hidden;opacity:0;-webkit-appearance:none;-webkit-tap-highlight-color:#0000;background-color:#0000;border:0;outline:0;padding:0;transition:color .2s,opacity .2s,transform .2s;position:absolute;transform:scale(.9999)}.reveal .controls .controls-arrow:before,.reveal .controls .controls-arrow:after{content:"";transform-origin:.2em;will-change:transform;background-color:currentColor;border-radius:.25em;width:2.6em;height:.5em;transition:all .15s,background-color .8s;position:absolute;top:0;left:0}.reveal .controls .controls-arrow{width:3.6em;height:3.6em;position:relative}.reveal .controls .controls-arrow:before{transform:translate(.5em)translateY(1.55em)rotate(45deg)}.reveal .controls .controls-arrow:after{transform:translate(.5em)translateY(1.55em)rotate(-45deg)}.reveal .controls .controls-arrow:hover:before{transform:translate(.5em)translateY(1.55em)rotate(40deg)}.reveal .controls .controls-arrow:hover:after{transform:translate(.5em)translateY(1.55em)rotate(-40deg)}.reveal .controls .controls-arrow:active:before{transform:translate(.5em)translateY(1.55em)rotate(36deg)}.reveal .controls .controls-arrow:active:after{transform:translate(.5em)translateY(1.55em)rotate(-36deg)}.reveal .controls .navigate-left{bottom:3.2em;right:6.4em;transform:translate(-10px)}.reveal .controls .navigate-left.highlight{animation:2s ease-out 50 both bounce-left}.reveal .controls .navigate-right{bottom:3.2em;right:0;transform:translate(10px)}.reveal .controls .navigate-right .controls-arrow{transform:rotate(180deg)}.reveal .controls .navigate-right.highlight{animation:2s ease-out 50 both bounce-right}.reveal .controls .navigate-up{bottom:6.4em;right:3.2em;transform:translateY(-10px)}.reveal .controls .navigate-up .controls-arrow{transform:rotate(90deg)}.reveal .controls .navigate-down{padding-bottom:1.4em;bottom:-1.4em;right:3.2em;transform:translateY(10px)}.reveal .controls .navigate-down .controls-arrow{transform:rotate(-90deg)}.reveal .controls .navigate-down.highlight{animation:2s ease-out 50 both bounce-down}.reveal .controls[data-controls-back-arrows=faded] .navigate-up.enabled{opacity:.3}.reveal .controls[data-controls-back-arrows=faded] .navigate-up.enabled:hover{opacity:1}.reveal .controls[data-controls-back-arrows=hidden] .navigate-up.enabled{opacity:0;visibility:hidden}.reveal .controls .enabled{visibility:visible;opacity:.9;cursor:pointer;transform:none}.reveal .controls .enabled.fragmented{opacity:.5}.reveal .controls .enabled:hover,.reveal .controls .enabled.fragmented:hover{opacity:1}.reveal:not(.rtl) .controls[data-controls-back-arrows=faded] .navigate-left.enabled{opacity:.3}.reveal:not(.rtl) .controls[data-controls-back-arrows=faded] .navigate-left.enabled:hover{opacity:1}.reveal:not(.rtl) .controls[data-controls-back-arrows=hidden] .navigate-left.enabled{opacity:0;visibility:hidden}.reveal.rtl .controls[data-controls-back-arrows=faded] .navigate-right.enabled{opacity:.3}.reveal.rtl .controls[data-controls-back-arrows=faded] .navigate-right.enabled:hover{opacity:1}.reveal.rtl .controls[data-controls-back-arrows=hidden] .navigate-right.enabled{opacity:0;visibility:hidden}.reveal[data-navigation-mode=linear].has-horizontal-slides .navigate-up,.reveal[data-navigation-mode=linear].has-horizontal-slides .navigate-down{display:none}.reveal[data-navigation-mode=linear].has-horizontal-slides .navigate-left,.reveal:not(.has-vertical-slides) .controls .navigate-left{bottom:1.4em;right:5.5em}.reveal[data-navigation-mode=linear].has-horizontal-slides .navigate-right,.reveal:not(.has-vertical-slides) .controls .navigate-right{bottom:1.4em;right:.5em}.reveal:not(.has-horizontal-slides) .controls .navigate-up{bottom:5em;right:1.4em}.reveal:not(.has-horizontal-slides) .controls .navigate-down{bottom:.5em;right:1.4em}.reveal.has-dark-background .controls{color:#fff}.reveal.has-light-background .controls{color:#000}.reveal.no-hover .controls .controls-arrow:hover:before,.reveal.no-hover .controls .controls-arrow:active:before{transform:translate(.5em)translateY(1.55em)rotate(45deg)}.reveal.no-hover .controls .controls-arrow:hover:after,.reveal.no-hover .controls .controls-arrow:active:after{transform:translate(.5em)translateY(1.55em)rotate(-45deg)}@media screen and (width>=500px){.reveal-viewport{--r-controls-spacing:.8em}.reveal .controls[data-controls-layout=edges]{inset:0}.reveal .controls[data-controls-layout=edges] .navigate-left,.reveal .controls[data-controls-layout=edges] .navigate-right,.reveal .controls[data-controls-layout=edges] .navigate-up,.reveal .controls[data-controls-layout=edges] .navigate-down{bottom:auto;right:auto}.reveal .controls[data-controls-layout=edges] .navigate-left{top:50%;left:var(--r-controls-spacing);margin-top:-1.8em}.reveal .controls[data-controls-layout=edges] .navigate-right{top:50%;right:var(--r-controls-spacing);margin-top:-1.8em}.reveal .controls[data-controls-layout=edges] .navigate-up{top:var(--r-controls-spacing);margin-left:-1.8em;left:50%}.reveal .controls[data-controls-layout=edges] .navigate-down{bottom:calc(var(--r-controls-spacing) - 1.4em + .3em);margin-left:-1.8em;left:50%}}.reveal .progress{z-index:10;color:#fff;background-color:#0003;width:100%;height:3px;display:none;position:absolute;bottom:0;left:0}.reveal .progress:after{content:"";width:100%;height:10px;display:block;position:absolute;top:-10px}.reveal .progress span{transform-origin:0 0;background-color:currentColor;width:100%;height:100%;transition:transform .8s cubic-bezier(.26,.86,.44,.985);display:block;transform:scaleX(0)}.reveal .slide-number{z-index:31;color:#fff;background-color:#0006;padding:5px;font-family:Helvetica,sans-serif;font-size:12px;line-height:1;display:block;position:absolute;bottom:8px;right:8px}.reveal .slide-number a{color:currentColor}.reveal .slide-number-delimiter{margin:0 3px}.reveal{touch-action:pinch-zoom;width:100%;height:100%;position:relative;overflow:hidden}.reveal.embedded{touch-action:pan-y}.reveal.embedded.is-vertical-slide{touch-action:none}.reveal .slides{pointer-events:none;z-index:1;text-align:center;perspective:600px;perspective-origin:50% 40%;width:100%;height:100%;margin:auto;position:absolute;inset:0;overflow:visible}.reveal .slides>section{perspective:600px}.reveal .slides>section,.reveal .slides>section>section{pointer-events:auto;z-index:10;transform-style:flat;width:100%;transition:transform-origin .8s cubic-bezier(.26,.86,.44,.985),transform .8s cubic-bezier(.26,.86,.44,.985),visibility .8s cubic-bezier(.26,.86,.44,.985),opacity .8s cubic-bezier(.26,.86,.44,.985);display:none;position:absolute}.reveal[data-transition-speed=fast] .slides section{transition-duration:.4s}.reveal[data-transition-speed=slow] .slides section{transition-duration:1.2s}.reveal .slides section[data-transition-speed=fast]{transition-duration:.4s}.reveal .slides section[data-transition-speed=slow]{transition-duration:1.2s}.reveal .slides>section.stack{pointer-events:none;height:100%;padding-top:0;padding-bottom:0}.reveal .slides>section.present,.reveal .slides>section>section.present{z-index:11;opacity:1;display:block}.reveal .slides>section:empty,.reveal .slides>section>section:empty,.reveal .slides>section[data-background-interactive],.reveal .slides>section>section[data-background-interactive]{pointer-events:none}.reveal.center,.reveal.center .slides,.reveal.center .slides section{min-height:0!important}.reveal .slides>section:not(.present),.reveal .slides>section>section:not(.present){pointer-events:none}.reveal.overview .slides>section,.reveal.overview .slides>section>section{pointer-events:auto}.reveal .slides>section.past,.reveal .slides>section.future,.reveal .slides>section.past>section,.reveal .slides>section.future>section,.reveal .slides>section>section.past,.reveal .slides>section>section.future{opacity:0}.reveal .slides>section[data-transition=slide].past,.reveal .slides>section[data-transition~=slide-out].past,.reveal.slide .slides>section:not([data-transition]).past{transform:translate(-150%)}.reveal .slides>section[data-transition=slide].future,.reveal .slides>section[data-transition~=slide-in].future,.reveal.slide .slides>section:not([data-transition]).future{transform:translate(150%)}.reveal .slides>section>section[data-transition=slide].past,.reveal .slides>section>section[data-transition~=slide-out].past,.reveal.slide .slides>section>section:not([data-transition]).past{transform:translateY(-150%)}.reveal .slides>section>section[data-transition=slide].future,.reveal .slides>section>section[data-transition~=slide-in].future,.reveal.slide .slides>section>section:not([data-transition]).future{transform:translateY(150%)}.reveal .slides>section[data-transition=linear].past,.reveal .slides>section[data-transition~=linear-out].past,.reveal.linear .slides>section:not([data-transition]).past{transform:translate(-150%)}.reveal .slides>section[data-transition=linear].future,.reveal .slides>section[data-transition~=linear-in].future,.reveal.linear .slides>section:not([data-transition]).future{transform:translate(150%)}.reveal .slides>section>section[data-transition=linear].past,.reveal .slides>section>section[data-transition~=linear-out].past,.reveal.linear .slides>section>section:not([data-transition]).past{transform:translateY(-150%)}.reveal .slides>section>section[data-transition=linear].future,.reveal .slides>section>section[data-transition~=linear-in].future,.reveal.linear .slides>section>section:not([data-transition]).future{transform:translateY(150%)}.reveal .slides section[data-transition=default].stack,.reveal.default .slides section.stack{transform-style:preserve-3d}.reveal .slides>section[data-transition=default].past,.reveal .slides>section[data-transition~=default-out].past,.reveal.default .slides>section:not([data-transition]).past{transform:translate(-100%)rotateY(-90deg)translate(-100%)}.reveal .slides>section[data-transition=default].future,.reveal .slides>section[data-transition~=default-in].future,.reveal.default .slides>section:not([data-transition]).future{transform:translate(100%)rotateY(90deg)translate(100%)}.reveal .slides>section>section[data-transition=default].past,.reveal .slides>section>section[data-transition~=default-out].past,.reveal.default .slides>section>section:not([data-transition]).past{transform:translateY(-300px)rotateX(70deg)translateY(-300px)}.reveal .slides>section>section[data-transition=default].future,.reveal .slides>section>section[data-transition~=default-in].future,.reveal.default .slides>section>section:not([data-transition]).future{transform:translateY(300px)rotateX(-70deg)translateY(300px)}.reveal .slides section[data-transition=convex].stack,.reveal.convex .slides section.stack{transform-style:preserve-3d}.reveal .slides>section[data-transition=convex].past,.reveal .slides>section[data-transition~=convex-out].past,.reveal.convex .slides>section:not([data-transition]).past{transform:translate(-100%)rotateY(-90deg)translate(-100%)}.reveal .slides>section[data-transition=convex].future,.reveal .slides>section[data-transition~=convex-in].future,.reveal.convex .slides>section:not([data-transition]).future{transform:translate(100%)rotateY(90deg)translate(100%)}.reveal .slides>section>section[data-transition=convex].past,.reveal .slides>section>section[data-transition~=convex-out].past,.reveal.convex .slides>section>section:not([data-transition]).past{transform:translateY(-300px)rotateX(70deg)translateY(-300px)}.reveal .slides>section>section[data-transition=convex].future,.reveal .slides>section>section[data-transition~=convex-in].future,.reveal.convex .slides>section>section:not([data-transition]).future{transform:translateY(300px)rotateX(-70deg)translateY(300px)}.reveal .slides section[data-transition=concave].stack,.reveal.concave .slides section.stack{transform-style:preserve-3d}.reveal .slides>section[data-transition=concave].past,.reveal .slides>section[data-transition~=concave-out].past,.reveal.concave .slides>section:not([data-transition]).past{transform:translate(-100%)rotateY(90deg)translate(-100%)}.reveal .slides>section[data-transition=concave].future,.reveal .slides>section[data-transition~=concave-in].future,.reveal.concave .slides>section:not([data-transition]).future{transform:translate(100%)rotateY(-90deg)translate(100%)}.reveal .slides>section>section[data-transition=concave].past,.reveal .slides>section>section[data-transition~=concave-out].past,.reveal.concave .slides>section>section:not([data-transition]).past{transform:translateY(-80%)rotateX(-70deg)translateY(-80%)}.reveal .slides>section>section[data-transition=concave].future,.reveal .slides>section>section[data-transition~=concave-in].future,.reveal.concave .slides>section>section:not([data-transition]).future{transform:translateY(80%)rotateX(70deg)translateY(80%)}.reveal .slides section[data-transition=zoom],.reveal.zoom .slides section:not([data-transition]){transition-timing-function:ease}.reveal .slides>section[data-transition=zoom].past,.reveal .slides>section[data-transition~=zoom-out].past,.reveal.zoom .slides>section:not([data-transition]).past{visibility:hidden;transform:scale(16)}.reveal .slides>section[data-transition=zoom].future,.reveal .slides>section[data-transition~=zoom-in].future,.reveal.zoom .slides>section:not([data-transition]).future{visibility:hidden;transform:scale(.2)}.reveal .slides>section>section[data-transition=zoom].past,.reveal .slides>section>section[data-transition~=zoom-out].past,.reveal.zoom .slides>section>section:not([data-transition]).past{transform:scale(16)}.reveal .slides>section>section[data-transition=zoom].future,.reveal .slides>section>section[data-transition~=zoom-in].future,.reveal.zoom .slides>section>section:not([data-transition]).future{transform:scale(.2)}.reveal.cube .slides{perspective:1300px}.reveal.cube .slides section{backface-visibility:hidden;box-sizing:border-box;min-height:700px;transform-style:preserve-3d;padding:30px}.reveal.center.cube .slides section{min-height:0}.reveal.cube .slides section:not(.stack):before{content:"";background:#0000001a;border-radius:4px;width:100%;height:100%;display:block;position:absolute;top:0;left:0;transform:translateZ(-20px)}.reveal.cube .slides section:not(.stack):after{content:"";z-index:1;background:0 0;border-radius:4px;width:90%;height:30px;display:block;position:absolute;bottom:0;left:5%;transform:translateZ(-90px)rotateX(65deg);box-shadow:0 95px 25px #0003}.reveal.cube .slides>section.stack{background:0 0;padding:0}.reveal.cube .slides>section.past{transform-origin:100% 0;transform:translate(-100%)rotateY(-90deg)}.reveal.cube .slides>section.future{transform-origin:0 0;transform:translate(100%)rotateY(90deg)}.reveal.cube .slides>section>section.past{transform-origin:0 100%;transform:translateY(-100%)rotateX(90deg)}.reveal.cube .slides>section>section.future{transform-origin:0 0;transform:translateY(100%)rotateX(-90deg)}.reveal.page .slides{perspective-origin:0%;perspective:3000px}.reveal.page .slides section{box-sizing:border-box;min-height:700px;transform-style:preserve-3d;padding:30px}.reveal.page .slides section.past{z-index:12}.reveal.page .slides section:not(.stack):before{content:"";background:#0000001a;width:100%;height:100%;display:block;position:absolute;top:0;left:0;transform:translateZ(-20px)}.reveal.page .slides section:not(.stack):after{content:"";z-index:1;background:0 0;border-radius:4px;width:90%;height:30px;display:block;position:absolute;bottom:0;left:5%;transform:translateZ(-90px)rotateX(65deg);box-shadow:0 95px 25px #0003}.reveal.page .slides>section.stack{background:0 0;padding:0}.reveal.page .slides>section.past{transform-origin:0 0;transform:translate(-40%)rotateY(-80deg)}.reveal.page .slides>section.future{transform-origin:100% 0;transform:translate(0)}.reveal.page .slides>section>section.past{transform-origin:0 0;transform:translateY(-40%)rotateX(80deg)}.reveal.page .slides>section>section.future{transform-origin:0 100%;transform:translate(0)}.reveal .slides section[data-transition=fade],.reveal.fade .slides section:not([data-transition]),.reveal.fade .slides>section>section:not([data-transition]){transition:opacity .5s;transform:none}.reveal.fade.overview .slides section,.reveal.fade.overview .slides>section>section{transition:none}.reveal .slides section[data-transition=none],.reveal.none .slides section:not([data-transition]){transition:none;transform:none}.reveal .pause-overlay{visibility:hidden;opacity:0;z-index:100;background:#000;width:100%;height:100%;transition:all 1s;position:absolute;top:0;left:0}.reveal .pause-overlay .resume-button{color:#ccc;cursor:pointer;background:0 0;border:2px solid #ccc;border-radius:2px;padding:6px 14px;font-size:16px;position:absolute;bottom:20px;right:20px}.reveal .pause-overlay .resume-button:hover{color:#fff;border-color:#fff}.reveal.paused .pause-overlay{visibility:visible;opacity:1}.reveal .no-transition,.reveal .no-transition *,.reveal .slides.disable-slide-transitions section{transition:none!important}.reveal .slides.disable-slide-transitions section{transform:none!important}.reveal .backgrounds{perspective:600px;width:100%;height:100%;position:absolute;top:0;left:0}.reveal .slide-background{opacity:0;visibility:hidden;background-color:#0000;width:100%;height:100%;transition:all .8s cubic-bezier(.26,.86,.44,.985);display:none;position:absolute;overflow:hidden}.reveal .slide-background-content{background-position:50%;background-repeat:no-repeat;background-size:cover;width:100%;height:100%;position:absolute}.reveal .slide-background.stack{display:block}.reveal .slide-background.present{opacity:1;visibility:visible;z-index:2}.print-pdf .reveal .slide-background{opacity:1!important;visibility:visible!important}.reveal .slide-background video{object-fit:cover;width:100%;max-width:none;height:100%;max-height:none;position:absolute;top:0;left:0}.reveal .slide-background[data-background-size=contain] video{object-fit:contain}.reveal[data-background-transition=none]>.backgrounds .slide-background:not([data-background-transition]),.reveal>.backgrounds .slide-background[data-background-transition=none]{transition:none}.reveal[data-background-transition=slide]>.backgrounds .slide-background:not([data-background-transition]),.reveal>.backgrounds .slide-background[data-background-transition=slide]{opacity:1}.reveal[data-background-transition=slide]>.backgrounds .slide-background.past:not([data-background-transition]),.reveal>.backgrounds .slide-background.past[data-background-transition=slide]{transform:translate(-100%)}.reveal[data-background-transition=slide]>.backgrounds .slide-background.future:not([data-background-transition]),.reveal>.backgrounds .slide-background.future[data-background-transition=slide]{transform:translate(100%)}.reveal[data-background-transition=slide]>.backgrounds .slide-background>.slide-background.past:not([data-background-transition]),.reveal>.backgrounds .slide-background>.slide-background.past[data-background-transition=slide]{transform:translateY(-100%)}.reveal[data-background-transition=slide]>.backgrounds .slide-background>.slide-background.future:not([data-background-transition]),.reveal>.backgrounds .slide-background>.slide-background.future[data-background-transition=slide]{transform:translateY(100%)}.reveal[data-background-transition=convex]>.backgrounds .slide-background.past:not([data-background-transition]),.reveal>.backgrounds .slide-background.past[data-background-transition=convex]{opacity:0;transform:translate(-100%)rotateY(-90deg)translate(-100%)}.reveal[data-background-transition=convex]>.backgrounds .slide-background.future:not([data-background-transition]),.reveal>.backgrounds .slide-background.future[data-background-transition=convex]{opacity:0;transform:translate(100%)rotateY(90deg)translate(100%)}.reveal[data-background-transition=convex]>.backgrounds .slide-background>.slide-background.past:not([data-background-transition]),.reveal>.backgrounds .slide-background>.slide-background.past[data-background-transition=convex]{opacity:0;transform:translateY(-100%)rotateX(90deg)translateY(-100%)}.reveal[data-background-transition=convex]>.backgrounds .slide-background>.slide-background.future:not([data-background-transition]),.reveal>.backgrounds .slide-background>.slide-background.future[data-background-transition=convex]{opacity:0;transform:translateY(100%)rotateX(-90deg)translateY(100%)}.reveal[data-background-transition=concave]>.backgrounds .slide-background.past:not([data-background-transition]),.reveal>.backgrounds .slide-background.past[data-background-transition=concave]{opacity:0;transform:translate(-100%)rotateY(90deg)translate(-100%)}.reveal[data-background-transition=concave]>.backgrounds .slide-background.future:not([data-background-transition]),.reveal>.backgrounds .slide-background.future[data-background-transition=concave]{opacity:0;transform:translate(100%)rotateY(-90deg)translate(100%)}.reveal[data-background-transition=concave]>.backgrounds .slide-background>.slide-background.past:not([data-background-transition]),.reveal>.backgrounds .slide-background>.slide-background.past[data-background-transition=concave]{opacity:0;transform:translateY(-100%)rotateX(-90deg)translateY(-100%)}.reveal[data-background-transition=concave]>.backgrounds .slide-background>.slide-background.future:not([data-background-transition]),.reveal>.backgrounds .slide-background>.slide-background.future[data-background-transition=concave]{opacity:0;transform:translateY(100%)rotateX(90deg)translateY(100%)}.reveal[data-background-transition=zoom]>.backgrounds .slide-background:not([data-background-transition]),.reveal>.backgrounds .slide-background[data-background-transition=zoom]{transition-timing-function:ease}.reveal[data-background-transition=zoom]>.backgrounds .slide-background.past:not([data-background-transition]),.reveal>.backgrounds .slide-background.past[data-background-transition=zoom]{opacity:0;visibility:hidden;transform:scale(16)}.reveal[data-background-transition=zoom]>.backgrounds .slide-background.future:not([data-background-transition]),.reveal>.backgrounds .slide-background.future[data-background-transition=zoom]{opacity:0;visibility:hidden;transform:scale(.2)}.reveal[data-background-transition=zoom]>.backgrounds .slide-background>.slide-background.past:not([data-background-transition]),.reveal>.backgrounds .slide-background>.slide-background.past[data-background-transition=zoom]{opacity:0;visibility:hidden;transform:scale(16)}.reveal[data-background-transition=zoom]>.backgrounds .slide-background>.slide-background.future:not([data-background-transition]),.reveal>.backgrounds .slide-background>.slide-background.future[data-background-transition=zoom]{opacity:0;visibility:hidden;transform:scale(.2)}.reveal[data-transition-speed=fast]>.backgrounds .slide-background{transition-duration:.4s}.reveal[data-transition-speed=slow]>.backgrounds .slide-background{transition-duration:1.2s}.reveal [data-auto-animate-target^=unmatched]{will-change:opacity}.reveal section[data-auto-animate]:not(.stack):not([data-auto-animate=running]) [data-auto-animate-target^=unmatched]{opacity:0}.reveal.overview{perspective-origin:50%;perspective:700px}.reveal.overview .slides section{cursor:pointer;box-sizing:border-box;height:100%;overflow:hidden;opacity:1!important;visibility:visible!important;top:0!important}.reveal.overview .slides section:hover,.reveal.overview .slides section.present{outline-offset:10px;outline:10px solid #96969699}.reveal.overview .slides section.present{outline:10px solid var(--r-link-color)}.reveal.overview .slides section .fragment{opacity:1;transition:none}.reveal.overview .slides section:after,.reveal.overview .slides section:before{display:none!important}.reveal.overview .slides>section.stack{background:0 0;outline:none;padding:0;overflow:visible;top:0!important}.reveal.overview .backgrounds{perspective:inherit}.reveal.overview .backgrounds .slide-background{opacity:1;visibility:visible;outline-offset:10px;outline:10px solid #9696961a}.reveal.overview .backgrounds .slide-background.stack{overflow:visible}.reveal.overview .slides section,.reveal.overview-deactivating .slides section,.reveal.overview .backgrounds .slide-background,.reveal.overview-deactivating .backgrounds .slide-background{transition:none}.reveal.rtl .slides,.reveal.rtl .slides h1,.reveal.rtl .slides h2,.reveal.rtl .slides h3,.reveal.rtl .slides h4,.reveal.rtl .slides h5,.reveal.rtl .slides h6{direction:rtl;font-family:sans-serif}.reveal.rtl pre,.reveal.rtl code{direction:ltr}.reveal.rtl ol,.reveal.rtl ul{text-align:right}.reveal.rtl .progress span{transform-origin:100% 0}.reveal.has-parallax-background .backgrounds{transition:all .8s}.reveal.has-parallax-background[data-transition-speed=fast] .backgrounds{transition-duration:.4s}.reveal.has-parallax-background[data-transition-speed=slow] .backgrounds{transition-duration:1.2s}@keyframes fade-in{0%{opacity:0}to{opacity:1}}@keyframes scale-up{0%{transform:scale(.95)}to{transform:scale(1)}}.reveal [data-preview-image],.reveal [data-preview-video],.reveal [data-preview-link]:not(a):not([data-preview-link=false]){cursor:zoom-in}.r-overlay{top:var(--r-overlay-margin);right:var(--r-overlay-margin);bottom:var(--r-overlay-margin);left:var(--r-overlay-margin);border-radius:min(var(--r-overlay-margin), 6px);z-index:99;-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);color:#fff;background:#000000f2;font-family:ui-sans-serif,system-ui,-apple-system,Helvetica,sans-serif;transition:all .3s;animation:.3s fade-in;position:absolute}.r-overlay-viewport{top:var(--r-overlay-padding);right:var(--r-overlay-padding);bottom:var(--r-overlay-padding);left:var(--r-overlay-padding);gap:var(--r-overlay-gap);flex-direction:column;display:flex;position:absolute}.r-overlay-header{z-index:2;box-sizing:border-box;height:var(--r-overlay-header-height);justify-content:flex-end;align-items:center;gap:6px;display:flex}.r-overlay-header .r-overlay-header-button{all:unset;min-width:var(--r-overlay-header-height);min-height:var(--r-overlay-header-height);padding:0 calc(var(--r-overlay-header-height) / 4);opacity:1;cursor:pointer;box-sizing:border-box;border-radius:6px;justify-content:center;align-items:center;gap:8px;font-size:18px;display:flex}.r-overlay-header .r-overlay-header-button:hover{opacity:1;background-color:#ffffff26}.r-overlay-header .icon{background-position:50%;background-repeat:no-repeat;background-size:100%;width:20px;height:20px;display:inline-block}.r-overlay-close .icon{background-image:url(data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIxNSIgaGVpZ2h0PSIxNSIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI2ZmZiIgZmlsbC1ydWxlPSJldmVub2RkIiBkPSJNMTIuODU0IDIuODU0YS41LjUgMCAwIDAtLjcwOC0uNzA4TDcuNSA2Ljc5MyAyLjg1NCAyLjE0NmEuNS41IDAgMSAwLS43MDguNzA4TDYuNzkzIDcuNWwtNC42NDcgNC42NDZhLjUuNSAwIDAgMCAuNzA4LjcwOEw3LjUgOC4yMDdsNC42NDYgNC42NDdhLjUuNSAwIDAgMCAuNzA4LS43MDhMOC4yMDcgNy41bDQuNjQ3LTQuNjQ2WiIgY2xpcC1ydWxlPSJldmVub2RkIi8+PC9zdmc+)}.r-overlay-external .icon{background-image:url(data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIxNSIgaGVpZ2h0PSIxNSIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI2ZmZiIgZmlsbC1ydWxlPSJldmVub2RkIiBkPSJNMyAyYTEgMSAwIDAgMC0xIDF2OWExIDEgMCAwIDAgMSAxaDlhMSAxIDAgMCAwIDEtMVY4LjVhLjUuNSAwIDAgMC0xIDBWMTJIM1YzaDMuNWEuNS41IDAgMCAwIDAtMUgzWm05Ljg1NC4xNDZhLjUuNSAwIDAgMSAuMTQ2LjM1MVY1LjVhLjUuNSAwIDAgMS0xIDBWMy43MDdMNi44NTQgOC44NTRhLjUuNSAwIDEgMS0uNzA4LS43MDhMMTEuMjkzIDNIOS41YS41LjUgMCAwIDEgMC0xaDNhLjQ5OS40OTkgMCAwIDEgLjM1NC4xNDZaIiBjbGlwLXJ1bGU9ImV2ZW5vZGQiLz48L3N2Zz4=)}.r-overlay-content{background-color:#141414cc;border-radius:6px;flex-grow:1;place-items:center;animation:.5s cubic-bezier(.26,.86,.44,.985) scale-up;display:grid;position:relative;overflow:hidden}.r-overlay-spinner{z-index:10;visibility:hidden;opacity:0;background-image:url(data:image/gif;base64,R0lGODlhIAAgAPMAAJmZmf%2F%2F%2F6%2Bvr8nJybW1tcDAwOjo6Nvb26ioqKOjo7Ozs%2FLy8vz8%2FAAAAAAAAAAAACH%2FC05FVFNDQVBFMi4wAwEAAAAh%2FhpDcmVhdGVkIHdpdGggYWpheGxvYWQuaW5mbwAh%2BQQJCgAAACwAAAAAIAAgAAAE5xDISWlhperN52JLhSSdRgwVo1ICQZRUsiwHpTJT4iowNS8vyW2icCF6k8HMMBkCEDskxTBDAZwuAkkqIfxIQyhBQBFvAQSDITM5VDW6XNE4KagNh6Bgwe60smQUB3d4Rz1ZBApnFASDd0hihh12BkE9kjAJVlycXIg7CQIFA6SlnJ87paqbSKiKoqusnbMdmDC2tXQlkUhziYtyWTxIfy6BE8WJt5YJvpJivxNaGmLHT0VnOgSYf0dZXS7APdpB309RnHOG5gDqXGLDaC457D1zZ%2FV%2FnmOM82XiHRLYKhKP1oZmADdEAAAh%2BQQJCgAAACwAAAAAIAAgAAAE6hDISWlZpOrNp1lGNRSdRpDUolIGw5RUYhhHukqFu8DsrEyqnWThGvAmhVlteBvojpTDDBUEIFwMFBRAmBkSgOrBFZogCASwBDEY%2FCZSg7GSE0gSCjQBMVG023xWBhklAnoEdhQEfyNqMIcKjhRsjEdnezB%2BA4k8gTwJhFuiW4dokXiloUepBAp5qaKpp6%2BHo7aWW54wl7obvEe0kRuoplCGepwSx2jJvqHEmGt6whJpGpfJCHmOoNHKaHx61WiSR92E4lbFoq%2BB6QDtuetcaBPnW6%2BO7wDHpIiK9SaVK5GgV543tzjgGcghAgAh%2BQQJCgAAACwAAAAAIAAgAAAE7hDISSkxpOrN5zFHNWRdhSiVoVLHspRUMoyUakyEe8PTPCATW9A14E0UvuAKMNAZKYUZCiBMuBakSQKG8G2FzUWox2AUtAQFcBKlVQoLgQReZhQlCIJesQXI5B0CBnUMOxMCenoCfTCEWBsJColTMANldx15BGs8B5wlCZ9Po6OJkwmRpnqkqnuSrayqfKmqpLajoiW5HJq7FL1Gr2mMMcKUMIiJgIemy7xZtJsTmsM4xHiKv5KMCXqfyUCJEonXPN2rAOIAmsfB3uPoAK%2B%2BG%2Bw48edZPK%2BM6hLJpQg484enXIdQFSS1u6UhksENEQAAIfkECQoAAAAsAAAAACAAIAAABOcQyEmpGKLqzWcZRVUQnZYg1aBSh2GUVEIQ2aQOE%2BG%2BcD4ntpWkZQj1JIiZIogDFFyHI0UxQwFugMSOFIPJftfVAEoZLBbcLEFhlQiqGp1Vd140AUklUN3eCA51C1EWMzMCezCBBmkxVIVHBWd3HHl9JQOIJSdSnJ0TDKChCwUJjoWMPaGqDKannasMo6WnM562R5YluZRwur0wpgqZE7NKUm%2BFNRPIhjBJxKZteWuIBMN4zRMIVIhffcgojwCF117i4nlLnY5ztRLsnOk%2BaV%2BoJY7V7m76PdkS4trKcdg0Zc0tTcKkRAAAIfkECQoAAAAsAAAAACAAIAAABO4QyEkpKqjqzScpRaVkXZWQEximw1BSCUEIlDohrft6cpKCk5xid5MNJTaAIkekKGQkWyKHkvhKsR7ARmitkAYDYRIbUQRQjWBwJRzChi9CRlBcY1UN4g0%2FVNB0AlcvcAYHRyZPdEQFYV8ccwR5HWxEJ02YmRMLnJ1xCYp0Y5idpQuhopmmC2KgojKasUQDk5BNAwwMOh2RtRq5uQuPZKGIJQIGwAwGf6I0JXMpC8C7kXWDBINFMxS4DKMAWVWAGYsAdNqW5uaRxkSKJOZKaU3tPOBZ4DuK2LATgJhkPJMgTwKCdFjyPHEnKxFCDhEAACH5BAkKAAAALAAAAAAgACAAAATzEMhJaVKp6s2nIkolIJ2WkBShpkVRWqqQrhLSEu9MZJKK9y1ZrqYK9WiClmvoUaF8gIQSNeF1Er4MNFn4SRSDARWroAIETg1iVwuHjYB1kYc1mwruwXKC9gmsJXliGxc%2BXiUCby9ydh1sOSdMkpMTBpaXBzsfhoc5l58Gm5yToAaZhaOUqjkDgCWNHAULCwOLaTmzswadEqggQwgHuQsHIoZCHQMMQgQGubVEcxOPFAcMDAYUA85eWARmfSRQCdcMe0zeP1AAygwLlJtPNAAL19DARdPzBOWSm1brJBi45soRAWQAAkrQIykShQ9wVhHCwCQCACH5BAkKAAAALAAAAAAgACAAAATrEMhJaVKp6s2nIkqFZF2VIBWhUsJaTokqUCoBq%2BE71SRQeyqUToLA7VxF0JDyIQh%2FMVVPMt1ECZlfcjZJ9mIKoaTl1MRIl5o4CUKXOwmyrCInCKqcWtvadL2SYhyASyNDJ0uIiRMDjI0Fd30%2FiI2UA5GSS5UDj2l6NoqgOgN4gksEBgYFf0FDqKgHnyZ9OX8HrgYHdHpcHQULXAS2qKpENRg7eAMLC7kTBaixUYFkKAzWAAnLC7FLVxLWDBLKCwaKTULgEwbLA4hJtOkSBNqITT3xEgfLpBtzE%2FjiuL04RGEBgwWhShRgQExHBAAh%2BQQJCgAAACwAAAAAIAAgAAAE7xDISWlSqerNpyJKhWRdlSAVoVLCWk6JKlAqAavhO9UkUHsqlE6CwO1cRdCQ8iEIfzFVTzLdRAmZX3I2SfZiCqGk5dTESJeaOAlClzsJsqwiJwiqnFrb2nS9kmIcgEsjQydLiIlHehhpejaIjzh9eomSjZR%2BipslWIRLAgMDOR2DOqKogTB9pCUJBagDBXR6XB0EBkIIsaRsGGMMAxoDBgYHTKJiUYEGDAzHC9EACcUGkIgFzgwZ0QsSBcXHiQvOwgDdEwfFs0sDzt4S6BK4xYjkDOzn0unFeBzOBijIm1Dgmg5YFQwsCMjp1oJ8LyIAACH5BAkKAAAALAAAAAAgACAAAATwEMhJaVKp6s2nIkqFZF2VIBWhUsJaTokqUCoBq%2BE71SRQeyqUToLA7VxF0JDyIQh%2FMVVPMt1ECZlfcjZJ9mIKoaTl1MRIl5o4CUKXOwmyrCInCKqcWtvadL2SYhyASyNDJ0uIiUd6GGl6NoiPOH16iZKNlH6KmyWFOggHhEEvAwwMA0N9GBsEC6amhnVcEwavDAazGwIDaH1ipaYLBUTCGgQDA8NdHz0FpqgTBwsLqAbWAAnIA4FWKdMLGdYGEgraigbT0OITBcg5QwPT4xLrROZL6AuQAPUS7bxLpoWidY0JtxLHKhwwMJBTHgPKdEQAACH5BAkKAAAALAAAAAAgACAAAATrEMhJaVKp6s2nIkqFZF2VIBWhUsJaTokqUCoBq%2BE71SRQeyqUToLA7VxF0JDyIQh%2FMVVPMt1ECZlfcjZJ9mIKoaTl1MRIl5o4CUKXOwmyrCInCKqcWtvadL2SYhyASyNDJ0uIiUd6GAULDJCRiXo1CpGXDJOUjY%2BYip9DhToJA4RBLwMLCwVDfRgbBAaqqoZ1XBMHswsHtxtFaH1iqaoGNgAIxRpbFAgfPQSqpbgGBqUD1wBXeCYp1AYZ19JJOYgH1KwA4UBvQwXUBxPqVD9L3sbp2BNk2xvvFPJd%2BMFCN6HAAIKgNggY0KtEBAAh%2BQQJCgAAACwAAAAAIAAgAAAE6BDISWlSqerNpyJKhWRdlSAVoVLCWk6JKlAqAavhO9UkUHsqlE6CwO1cRdCQ8iEIfzFVTzLdRAmZX3I2SfYIDMaAFdTESJeaEDAIMxYFqrOUaNW4E4ObYcCXaiBVEgULe0NJaxxtYksjh2NLkZISgDgJhHthkpU4mW6blRiYmZOlh4JWkDqILwUGBnE6TYEbCgevr0N1gH4At7gHiRpFaLNrrq8HNgAJA70AWxQIH1%2BvsYMDAzZQPC9VCNkDWUhGkuE5PxJNwiUK4UfLzOlD4WvzAHaoG9nxPi5d%2BjYUqfAhhykOFwJWiAAAIfkECQoAAAAsAAAAACAAIAAABPAQyElpUqnqzaciSoVkXVUMFaFSwlpOCcMYlErAavhOMnNLNo8KsZsMZItJEIDIFSkLGQoQTNhIsFehRww2CQLKF0tYGKYSg%2BygsZIuNqJksKgbfgIGepNo2cIUB3V1B3IvNiBYNQaDSTtfhhx0CwVPI0UJe0%2Bbm4g5VgcGoqOcnjmjqDSdnhgEoamcsZuXO1aWQy8KAwOAuTYYGwi7w5h%2BKr0SJ8MFihpNbx%2B4Erq7BYBuzsdiH1jCAzoSfl0rVirNbRXlBBlLX%2BBP0XJLAPGzTkAuAOqb0WT5AH7OcdCm5B8TgRwSRKIHQtaLCwg1RAAAOwAAAAAAAAAAAA%3D%3D);width:32px;height:32px;margin:-16px 0 0 -16px;display:block;position:absolute;top:50%;left:50%}.r-overlay-preview .r-overlay-content iframe{opacity:0;visibility:hidden;border:0;width:100%;max-width:100%;height:100%;max-height:100%;transition:all .3s}.r-overlay-preview[data-state=loaded] iframe{opacity:1;visibility:visible}.r-overlay-preview .r-overlay-content img,.r-overlay-preview .r-overlay-content video{object-fit:scale-down;width:100%;max-width:100%;height:100%;max-height:100%;margin:0;position:absolute}.r-overlay-preview[data-preview-fit=none] img,.r-overlay-preview[data-preview-fit=none] video{object-fit:none}.r-overlay-preview[data-preview-fit=scale-down] img,.r-overlay-preview[data-preview-fit=scale-down] video{object-fit:scale-down}.r-overlay-preview[data-preview-fit=contain] img,.r-overlay-preview[data-preview-fit=contain] video{object-fit:contain}.r-overlay-preview[data-preview-fit=cover] img,.r-overlay-preview[data-preview-fit=cover] video{object-fit:cover}.r-overlay-preview[data-state=loaded] .r-overlay-content-inner{z-index:-1;text-align:center;letter-spacing:normal;width:100%;position:absolute;top:45%;left:0}.r-overlay-preview .r-overlay-error{color:orange;font-size:18px}.r-overlay-preview .x-frame-error{opacity:0;transition:opacity .3s .3s}.r-overlay-preview[data-state=loaded] .x-frame-error{opacity:1}.r-overlay-preview[data-state=loading] .r-overlay-spinner{opacity:.6;visibility:visible}.r-overlay-help .r-overlay-content{overflow:auto}.r-overlay-help-content{text-align:center;letter-spacing:normal;max-width:560px;margin:auto;padding:20px 0}.r-overlay-help-content .title{margin-top:0;font-size:20px}.r-overlay-help .r-overlay-help-content table{border-collapse:collapse;text-align:left;border:1px solid #fff;font-size:16px}.r-overlay-help .r-overlay-help-content table th,.r-overlay-help .r-overlay-help-content table td{vertical-align:middle;border:1px solid #fff;width:240px;padding:14px}.r-overlay-help .r-overlay-help-content table th{padding-top:20px;padding-bottom:20px}.reveal .playback{z-index:30;cursor:pointer;-webkit-tap-highlight-color:#0000;transition:all .4s;position:absolute;bottom:20px;left:15px}.reveal.overview .playback{opacity:0;visibility:hidden}.reveal .hljs{min-height:100%}.reveal .hljs table{margin:initial}.reveal .hljs-ln-code,.reveal .hljs-ln-numbers{border:0;padding:0}.reveal .hljs-ln-numbers{opacity:.6;text-align:right;vertical-align:top;padding-right:.75em}.reveal .hljs.has-highlights tr:not(.highlight-line){opacity:.4}.reveal .hljs.has-highlights.fragment{transition:all .2s}.reveal .hljs:not(:first-child).fragment{box-sizing:border-box;width:100%;position:absolute;top:0;left:0}.reveal pre[data-auto-animate-target]{overflow:hidden}.reveal pre[data-auto-animate-target] code{height:100%}.reveal .roll{vertical-align:top;perspective:400px;perspective-origin:50%;line-height:1.2;display:inline-block;overflow:hidden}.reveal .roll:hover{text-shadow:none;background:0 0}.reveal .roll span{pointer-events:none;transform-origin:50% 0;transform-style:preserve-3d;backface-visibility:hidden;padding:0 2px;transition:all .4s;display:block;position:relative}.reveal .roll:hover span{background:#00000080;transform:translateZ(-45px)rotateX(90deg)}.reveal .roll span:after{content:attr(data-title);backface-visibility:hidden;transform-origin:50% 0;padding:0 2px;display:block;position:absolute;top:0;left:0;transform:translateY(110%)rotateX(-90deg)}.reveal aside.notes{display:none}.reveal .speaker-notes{z-index:1;color:#222;box-sizing:border-box;text-align:left;-webkit-overflow-scrolling:touch;background-color:#f5f5f5;border:1px solid #0000000d;width:33.3333%;height:100%;padding:14px 18px;font-family:Helvetica,sans-serif;font-size:18px;line-height:1.4;display:none;position:absolute;top:0;left:100%;overflow:auto}.reveal .speaker-notes .notes-placeholder{color:#ccc;font-style:italic}.reveal .speaker-notes:focus{outline:none}.reveal .speaker-notes:before{content:"Speaker notes";opacity:.5;margin-bottom:10px;display:block}.reveal.show-notes{max-width:75%;overflow:visible}.reveal.show-notes .speaker-notes{display:block}@media screen and (width>=1600px){.reveal .speaker-notes{font-size:20px}}@media screen and (width<=1024px){.reveal.show-notes{border-left:0;max-width:none;max-height:70vh;overflow:visible}.reveal.show-notes .speaker-notes{border:0;width:100%;height:30vh;top:100%;left:0}}@media screen and (width<=600px){.reveal.show-notes{max-height:60vh}.reveal.show-notes .speaker-notes{height:40vh;top:100%}.reveal .speaker-notes{font-size:14px}}.reveal .jump-to-slide{z-index:30;-webkit-tap-highlight-color:#0000;font-size:32px;position:absolute;top:15px;left:15px}.reveal .jump-to-slide-input{font-size:inherit;color:currentColor;background:0 0;border:0;padding:8px}.reveal .jump-to-slide-input::placeholder{color:currentColor;opacity:.5}.reveal.has-dark-background .jump-to-slide-input{color:#fff}.reveal.has-light-background .jump-to-slide-input{color:#222}.reveal .jump-to-slide-input:focus{outline:none}.reveal .r-overlay-button{all:unset;z-index:30;cursor:pointer;-webkit-tap-highlight-color:#0000;appearance:none;color:#fff;background:#000000b3;border-radius:5px;justify-content:center;align-items:center;padding:10px;font-size:.4em;display:flex;position:absolute}.reveal .r-overlay-button:hover{background:#000000e6}.reveal.has-light-background .r-overlay-button{color:#222;background:#ffffffb3}.reveal.has-light-background .r-overlay-button:hover{background:#ffffffe6}.reveal .r-media-play-button{bottom:20px;left:15px}.zoomed .reveal *,.zoomed .reveal :before,.zoomed .reveal :after{backface-visibility:visible!important}.zoomed .reveal .progress,.zoomed .reveal .controls{opacity:0}.zoomed .reveal .roll span{background:0 0}.zoomed .reveal .roll span:after,.reveal-viewport.loading-scroll-mode{visibility:hidden}.reveal-viewport.reveal-scroll{z-index:1;--r-scrollbar-width:7px;--r-scrollbar-trigger-size:5px;--r-controls-spacing:8px;margin:0 auto;overflow:hidden auto}@media screen and (width<=500px){.reveal-viewport.reveal-scroll{--r-scrollbar-width:3px;--r-scrollbar-trigger-size:3px}}.reveal-viewport.reveal-scroll .controls,.reveal-viewport.reveal-scroll .progress,.reveal-viewport.reveal-scroll .playback,.reveal-viewport.reveal-scroll .backgrounds,.reveal-viewport.reveal-scroll .slide-number,.reveal-viewport.reveal-scroll .speaker-notes{display:none!important}.reveal-viewport.reveal-scroll .r-overlay,.reveal-viewport.reveal-scroll .pause-overlay,.reveal-viewport.reveal-scroll .r-media-play-button{position:fixed}.reveal-viewport.reveal-scroll .reveal{touch-action:manipulation;overflow:visible}.reveal-viewport.reveal-scroll .slides{pointer-events:initial;perspective:none;perspective-origin:50%;margin:0;padding:0;display:block;position:static;top:auto;left:auto;overflow:visible;width:100%!important}.reveal-viewport.reveal-scroll .scroll-page{width:100%;height:calc(var(--page-height) + var(--page-scroll-padding));z-index:1;position:relative;overflow:visible}.reveal-viewport.reveal-scroll .scroll-page-sticky{height:var(--page-height);position:sticky;top:0}.reveal-viewport.reveal-scroll .scroll-page-content{width:100%;height:100%;position:absolute;top:0;left:0;overflow:hidden}.reveal-viewport.reveal-scroll .scroll-page section{visibility:visible!important;width:var(--slide-width)!important;height:var(--slide-height)!important;opacity:1!important;transform:scale(var(--slide-scale)) translate(-50%, -50%)!important;transform-style:flat!important;transform-origin:0 0!important;display:block!important;position:absolute!important;top:50%!important;left:50%!important}.reveal-viewport.reveal-scroll .slide-background{visibility:visible;opacity:1;touch-action:manipulation;width:100%;height:100%;position:absolute;top:0;left:0;z-index:auto!important;display:block!important}.reveal-viewport.reveal-scroll[data-scrollbar=true]::-webkit-scrollbar{display:none}.reveal-viewport.reveal-scroll[data-scrollbar=auto]::-webkit-scrollbar{display:none}.reveal-viewport.reveal-scroll[data-scrollbar=true],.reveal-viewport.reveal-scroll[data-scrollbar=auto]{scrollbar-width:none}.reveal.has-dark-background,.reveal-viewport.has-dark-background{--r-overlay-element-bg-color:240, 240, 240;--r-overlay-element-fg-color:0, 0, 0}.reveal.has-light-background,.reveal-viewport.has-light-background{--r-overlay-element-bg-color:0, 0, 0;--r-overlay-element-fg-color:240, 240, 240}.reveal-viewport.reveal-scroll .scrollbar{z-index:20;opacity:0;transition:all .3s;position:sticky;top:50%}.reveal-viewport.reveal-scroll .scrollbar.visible,.reveal-viewport.reveal-scroll .scrollbar:hover{opacity:1}.reveal-viewport.reveal-scroll .scrollbar .scrollbar-inner{width:var(--r-scrollbar-width);height:calc(var(--viewport-height) - var(--r-controls-spacing) * 2);right:var(--r-controls-spacing);border-radius:var(--r-scrollbar-width);z-index:10;position:absolute;top:0;transform:translateY(-50%)}.reveal-viewport.reveal-scroll .scrollbar .scrollbar-playhead{width:var(--r-scrollbar-width);height:var(--r-scrollbar-width);border-radius:var(--r-scrollbar-width);background-color:rgba(var(--r-overlay-element-bg-color), 1);z-index:11;transition:background-color .2s;position:absolute;top:0;left:0}.reveal-viewport.reveal-scroll .scrollbar .scrollbar-slide{background-color:rgba(var(--r-overlay-element-bg-color), .2);width:100%;box-shadow:0 0 0px 1px rgba(var(--r-overlay-element-fg-color), .1);border-radius:var(--r-scrollbar-width);transition:background-color .2s;position:absolute}.reveal-viewport.reveal-scroll .scrollbar .scrollbar-slide:after{content:"";z-index:-1;background:0 0;width:200%;height:100%;position:absolute;top:0;left:-50%}.reveal-viewport.reveal-scroll .scrollbar .scrollbar-slide:hover,.reveal-viewport.reveal-scroll .scrollbar .scrollbar-slide.active{background-color:rgba(var(--r-overlay-element-bg-color), .4)}.reveal-viewport.reveal-scroll .scrollbar .scrollbar-trigger{width:100%;transition:background-color .2s;position:absolute}.reveal-viewport.reveal-scroll .scrollbar .scrollbar-slide.active.has-triggers{background-color:rgba(var(--r-overlay-element-bg-color), .4);z-index:10}.reveal-viewport.reveal-scroll .scrollbar .scrollbar-slide.active .scrollbar-trigger:after{content:"";width:var(--r-scrollbar-trigger-size);height:var(--r-scrollbar-trigger-size);background-color:rgba(var(--r-overlay-element-bg-color), 1);opacity:.4;border-radius:20px;transition:transform .2s,opacity .2s;position:absolute;top:50%;left:50%;transform:translate(-50%,-50%)}.reveal-viewport.reveal-scroll .scrollbar .scrollbar-slide.active .scrollbar-trigger.active:after,.reveal-viewport.reveal-scroll .scrollbar .scrollbar-slide.active .scrollbar-trigger.active~.scrollbar-trigger:after{opacity:1}.reveal-viewport.reveal-scroll .scrollbar .scrollbar-slide.active .scrollbar-trigger~.scrollbar-trigger.active:after{transform:translate(calc(var(--r-scrollbar-width) * -2), 0);background-color:rgba(var(--r-overlay-element-bg-color), 1)}html.reveal-print *{-webkit-print-color-adjust:exact}html.reveal-print{width:100%;height:100%;overflow:visible}html.reveal-print body{border:0;padding:0;overflow:visible;float:none!important;margin:0 auto!important}html.reveal-print .nestedarrow,html.reveal-print .reveal .controls,html.reveal-print .reveal .progress,html.reveal-print .reveal .playback,html.reveal-print .reveal.overview,html.reveal-print .state-background{display:none!important}html.reveal-print .reveal pre code{overflow:hidden!important}html.reveal-print .reveal{width:auto!important;height:auto!important;overflow:hidden!important}html.reveal-print .reveal .slides{pointer-events:initial;perspective:none;perspective-origin:50%;display:block;position:static;top:auto;left:auto;overflow:visible;zoom:1!important;width:100%!important;height:auto!important;margin:0!important;padding:0!important}html.reveal-print .reveal .slides .pdf-page{z-index:1;page-break-after:always;position:relative;overflow:hidden}html.reveal-print .reveal .slides .pdf-page:last-of-type{page-break-after:avoid}html.reveal-print .reveal .slides section{min-height:1px;visibility:visible!important;box-sizing:border-box!important;opacity:1!important;transform-style:flat!important;margin:0!important;padding:0!important;display:block!important;position:absolute!important;transform:none!important}html.reveal-print .reveal section.stack{page-break-after:avoid!important;height:auto!important;min-height:auto!important;margin:0!important;padding:0!important;position:relative!important}html.reveal-print .reveal img{box-shadow:none}html.reveal-print .reveal .backgrounds{display:none}html.reveal-print .reveal .slide-background{width:100%;height:100%;position:absolute;top:0;left:0;z-index:auto!important;display:block!important}html.reveal-print .reveal.show-notes{max-width:none;max-height:none}html.reveal-print .reveal .speaker-notes-pdf{z-index:100;width:100%;height:auto;max-height:none;display:block;inset:auto}html.reveal-print .reveal .speaker-notes-pdf[data-layout=separate-page]{color:inherit;page-break-after:always;background-color:#0000;border:0;padding:20px;position:relative}html.reveal-print .reveal .slide-number-pdf{visibility:visible;font-size:14px;display:block;position:absolute}html.reveal-print .aria-status{display:none}@media print{html:not(.print-pdf){width:auto;height:auto;overflow:visible}html:not(.print-pdf) body{margin:0;padding:0;overflow:visible}html:not(.print-pdf) .reveal{background:#fff;font-size:20pt}html:not(.print-pdf) .reveal .controls,html:not(.print-pdf) .reveal .state-background,html:not(.print-pdf) .reveal .progress,html:not(.print-pdf) .reveal .backgrounds,html:not(.print-pdf) .reveal .slide-number{display:none!important}html:not(.print-pdf) .reveal p,html:not(.print-pdf) .reveal td,html:not(.print-pdf) .reveal li{color:#000;font-size:20pt!important}html:not(.print-pdf) .reveal h1,html:not(.print-pdf) .reveal h2,html:not(.print-pdf) .reveal h3,html:not(.print-pdf) .reveal h4,html:not(.print-pdf) .reveal h5,html:not(.print-pdf) .reveal h6{text-align:left;letter-spacing:normal;height:auto;line-height:normal;color:#000!important}html:not(.print-pdf) .reveal h1{font-size:28pt!important}html:not(.print-pdf) .reveal h2{font-size:24pt!important}html:not(.print-pdf) .reveal h3{font-size:22pt!important}html:not(.print-pdf) .reveal h4{font-variant:small-caps;font-size:22pt!important}html:not(.print-pdf) .reveal h5{font-size:21pt!important}html:not(.print-pdf) .reveal h6{font-style:italic;font-size:20pt!important}html:not(.print-pdf) .reveal a:link,html:not(.print-pdf) .reveal a:visited{font-weight:700;text-decoration:underline;color:#000!important}html:not(.print-pdf) .reveal ul,html:not(.print-pdf) .reveal ol,html:not(.print-pdf) .reveal div,html:not(.print-pdf) .reveal p{visibility:visible;width:auto;height:auto;margin:0;display:block;position:static;overflow:visible;text-align:left!important}html:not(.print-pdf) .reveal pre,html:not(.print-pdf) .reveal table{margin-left:0;margin-right:0}html:not(.print-pdf) .reveal pre code{padding:20px}html:not(.print-pdf) .reveal blockquote{margin:20px 0}html:not(.print-pdf) .reveal .slides{perspective:none;perspective-origin:50%;zoom:1!important;text-align:left!important;width:auto!important;height:auto!important;margin-top:0!important;margin-left:0!important;padding:0!important;display:block!important;position:static!important;top:0!important;left:0!important;overflow:visible!important;transform:none!important}html:not(.print-pdf) .reveal .slides section{visibility:visible!important;z-index:auto!important;opacity:1!important;page-break-after:always!important;transform-style:flat!important;width:auto!important;height:auto!important;margin-top:0!important;margin-left:0!important;padding:60px 20px!important;transition:none!important;display:block!important;position:static!important;top:0!important;left:0!important;overflow:visible!important;transform:none!important}html:not(.print-pdf) .reveal .slides section.stack{padding:0!important}html:not(.print-pdf) .reveal .slides section:last-of-type{page-break-after:avoid!important}html:not(.print-pdf) .reveal .slides section .fragment{opacity:1!important;visibility:visible!important;transform:none!important}html:not(.print-pdf) .reveal .r-fit-text{white-space:normal!important}html:not(.print-pdf) .reveal section img{box-shadow:none;background:#fff;border:1px solid #666;margin:15px 0;display:block}html:not(.print-pdf) .reveal section small{font-size:.8em}html:not(.print-pdf) .reveal .hljs{white-space:pre-wrap;word-wrap:break-word;word-break:break-word;max-height:100%;font-size:15pt}html:not(.print-pdf) .reveal .hljs .hljs-ln-numbers{white-space:nowrap}html:not(.print-pdf) .reveal .hljs td{font-size:inherit!important;color:inherit!important}}.hljs{color:#ddd;background:#272822;padding:.5em;display:block;overflow-x:auto}.hljs-tag,.hljs-keyword,.hljs-selector-tag,.hljs-literal,.hljs-strong,.hljs-name{color:#f92672}.hljs-code{color:#66d9ef}.hljs-class .hljs-title{color:#fff}.hljs-attribute,.hljs-symbol,.hljs-regexp,.hljs-link{color:#bf79db}.hljs-string,.hljs-bullet,.hljs-subst,.hljs-title,.hljs-section,.hljs-emphasis,.hljs-type,.hljs-built_in,.hljs-builtin-name,.hljs-selector-attr,.hljs-selector-pseudo,.hljs-addition,.hljs-variable,.hljs-template-tag,.hljs-template-variable{color:#a6e22e}.hljs-comment,.hljs-quote,.hljs-deletion,.hljs-meta{color:#75715e}.hljs-keyword,.hljs-selector-tag,.hljs-literal,.hljs-doctag,.hljs-title,.hljs-section,.hljs-type,.hljs-selector-id{font-weight:700}:root{--ink:#13253a;--muted:#5f7082;--blue:#1768ac;--teal:#16877a;--warm:#b56b2f;--line:#d8e0e7;--soft:#eef3f7;--pale-blue:#eaf2f9;--pale-teal:#e8f4f1;--paper:#fff;--sans:"Inter", "Aptos", "Segoe UI", Arial, sans-serif;--mono:"JetBrains Mono", "Cascadia Code", Consolas, monospace}*{box-sizing:border-box}html,body{background:var(--paper)}.reveal{color:var(--ink);font-family:var(--sans);font-size:25px;font-weight:400}.reveal .slides{text-align:left}.reveal .slides section.talk-slide{background:var(--paper);width:100%;height:100%;padding:58px 74px 48px;overflow:hidden}.reveal .slides section.talk-slide:before{content:"";background:var(--blue);height:5px;position:absolute;top:0;left:0;right:0}.reveal .slides section.backup-slide:before{background:var(--teal)}.reveal h1,.reveal h2,.reveal h3,.reveal p,.reveal ul,.reveal ol,.reveal pre{margin:0}.reveal h1,.reveal h2,.reveal h3{color:var(--ink);font-family:var(--sans);text-transform:none;letter-spacing:-.025em;text-shadow:none}.reveal h2{width:1320px;margin-top:30px;font-size:48px;font-weight:700;line-height:1.08}.reveal h3{font-size:25px;font-weight:700;line-height:1.16}.reveal p,.reveal li{line-height:1.35}.reveal strong,.reveal b{font-weight:700}.reveal code{font-family:var(--mono)}.slide-meta{color:var(--blue);letter-spacing:.12em;justify-content:space-between;font-size:14px;font-weight:700;display:flex;position:absolute;top:24px;left:74px;right:74px}.backup-slide .slide-meta{color:var(--teal)}.slide-lead{width:1240px;color:var(--muted);font-size:23px;margin-top:16px!important;line-height:1.3!important}.panel-label,.choice-label,.model-label,.direction-label{color:var(--blue);letter-spacing:.12em;font-size:14px;font-weight:800;display:block}.bottom-line,.research-question,.scope-note,.technical-bridge,.authorship-note,.open-gap,.open-questions{border-top:2px solid var(--line);align-items:center;min-height:54px;padding-top:15px;font-size:20px;display:flex;position:absolute;bottom:46px;left:74px;right:74px}.bottom-line strong,.research-question span,.scope-note b,.technical-bridge span,.open-gap span,.open-questions span{color:var(--blue);letter-spacing:.1em;flex:none;margin-right:22px;font-size:13px;font-weight:800}.research-question strong{font-size:25px}.scope-note{color:var(--muted);font-size:18px}.scope-note b{color:var(--teal)}.reveal .slides section.title-slide{padding:0}.reveal .slides section.title-slide:before{display:none}.minimal-title{text-align:center;flex-direction:column;justify-content:center;align-items:center;padding-bottom:12px;display:flex;position:absolute;inset:0}.minimal-title h1{max-width:1120px;font-size:68px;font-weight:720;line-height:1.12}.title-person{margin-top:72px;font-size:28px;font-weight:650}.title-affiliation{color:var(--muted);margin-top:12px;font-size:21px}.trajectory{grid-template-columns:1fr 34px 1fr 34px 1fr 34px 1fr;align-items:stretch;margin-top:66px;display:grid}.trajectory article{border-top:4px solid var(--line);min-height:310px;padding:0 24px 0 0}.trajectory article:first-of-type{border-color:#275d8f}.trajectory article:nth-of-type(2){border-color:#3f7f9a}.trajectory article:nth-of-type(3){border-color:#16877a}.trajectory article:nth-of-type(4){border-color:#765b9e}.trajectory .step-no{color:#9aa8b5;margin-top:16px;font-size:16px;font-weight:700;display:block}.trajectory small{color:var(--muted);letter-spacing:.12em;margin-top:24px;font-size:13px;display:block}.trajectory h3{margin-top:10px;font-size:27px}.trajectory p{color:var(--muted);margin-top:17px;font-size:19px}.trajectory strong{color:var(--blue);margin-top:38px;font-size:18px;display:block}.trajectory-link{color:#a5b1bb;align-items:center;font-size:28px;display:flex}.failure-list{gap:22px;margin-top:52px;display:grid}.failure-list article{border-top:1px solid var(--line);grid-template-columns:420px 1fr;align-items:center;min-height:122px;display:grid}.failure-code{background:var(--ink);color:#fff;width:360px;font:19px/1.25 var(--mono);padding:18px 20px}.failure-list h3{font-size:26px}.failure-list p{color:var(--muted);margin-top:8px;font-size:20px}.type-system{grid-template-columns:1fr 140px 1fr;align-items:stretch;margin-top:54px;display:grid}.type-lane{border-top:5px solid var(--blue);min-height:440px;padding-top:20px}.state-lane{border-color:var(--teal)}.type-name{align-items:baseline;gap:18px;display:flex}.type-name code{color:var(--blue);font-size:34px;font-weight:800}.state-lane .type-name code{color:var(--teal)}.type-name span{color:var(--muted);font-size:18px}.type-lane pre{width:100%;box-shadow:none;background:#13253a;margin-top:24px;padding:22px 24px;font-size:18px;line-height:1.35}.type-lane pre code{background:0 0;max-height:none;padding:0}.type-lane p{color:var(--muted);margin-top:20px;font-size:18px}.type-divider{color:#a1aebb;flex-direction:column;justify-content:center;align-items:center;font-size:28px;display:flex}.type-divider span{color:var(--muted);letter-spacing:.08em;font-size:14px}.language-rule{border-top:2px solid var(--line);align-items:center;padding-top:14px;font-size:18px;display:flex;position:absolute;bottom:42px;left:74px;right:74px}.language-rule span{color:var(--blue);letter-spacing:.1em;margin-right:22px;font-size:13px;font-weight:800}.theorem-layout{grid-template-columns:1fr 100px 1fr;align-items:stretch;margin-top:60px;display:grid}.proof-direction{border-top:5px solid var(--blue);padding-top:20px}.proof-direction:last-child{border-color:var(--teal)}.proof-direction:last-child .direction-label{color:var(--teal)}.direction-arrow{margin-top:18px;font-size:26px}.proof-direction ul{color:var(--muted);margin:28px 0 0 26px;font-size:19px}.proof-direction li{margin:13px 0}.theorem-mark{color:#98a7b4;justify-content:center;align-items:center;font-size:52px;display:flex}.result-statement{border-top:2px solid var(--blue);text-align:center;padding-top:16px;position:absolute;bottom:46px;left:280px;right:280px}.result-statement span{color:var(--blue);letter-spacing:.12em;font-size:13px;font-weight:800;display:block}.result-statement strong{margin-top:8px;font-size:21px;display:block}.choice-pair{grid-template-columns:1fr 1fr;gap:90px;margin-top:66px;display:grid}.choice-pair>article{border-top:5px solid var(--blue);min-height:380px;padding-top:22px}.choice-pair>article:last-child{border-color:var(--teal)}.choice-pair>article:last-child .choice-label{color:var(--teal)}.choice-fork{grid-template-rows:1fr 1fr;grid-template-columns:100px 150px 100px;justify-content:center;align-items:center;width:390px;height:180px;margin:42px auto 0;display:grid}.choice-fork>b{border:3px solid var(--ink);border-radius:50%;place-items:center;width:68px;height:68px;font-size:22px;display:grid}.choice-fork>.source-node{grid-row:1/3;align-self:center}.choice-fork>.branch{color:var(--blue);justify-content:center;align-items:center;gap:10px;display:flex}.choice-fork>.branch>i{font-size:34px;font-style:normal}.choice-fork>.branch>small{font-size:15px}.choice-pair p{max-width:520px;color:var(--muted);text-align:center;margin:56px auto 0;font-size:20px}.distribution-shift{grid-template-columns:1fr 260px 1fr;align-items:center;margin-top:42px;display:grid}.history-tree{grid-template-rows:repeat(3,1fr);grid-template-columns:90px 70px 90px;justify-content:center;align-items:center;height:180px;display:grid}.history-tree>span,.history-tree>b{border:2px solid var(--ink);border-radius:50%;place-items:center;width:52px;height:52px;display:grid}.history-tree>b{grid-column:3}.history-tree>i{color:var(--blue);font-size:16px}.compress-arrow{color:var(--muted);text-align:center;font-size:18px}.distribution-state{border-left:5px solid var(--teal);padding:30px 36px}.distribution-state small{color:var(--teal);letter-spacing:.12em;font-size:13px;font-weight:800;display:block}.distribution-state strong{margin-top:18px;font-size:28px;display:block}.transition-equation{text-align:center;margin-top:28px;font-size:28px}.linearity{grid-template-columns:1fr;gap:8px;margin-top:18px;display:grid}.linearity>div{border-top:1px solid var(--line);grid-template-columns:170px 1fr;align-items:center;min-height:52px;padding-top:7px;font-size:22px;display:grid}.linearity>div>span{color:var(--blue);letter-spacing:.1em;font-size:13px;font-weight:800}.outcome-layout{grid-template-columns:1.05fr .95fr;gap:80px;margin-top:52px;display:grid}.outcome-layout>article:first-child{border-top:5px solid var(--blue);padding-top:20px}.outcome-axis{height:110px;margin:50px 45px 0;position:relative}.outcome-axis i{background:var(--blue);height:5px;position:absolute;top:37px;left:0;right:0}.outcome-axis:before,.outcome-axis:after{color:var(--muted);font-size:16px;position:absolute;top:56px}.outcome-axis:before{content:"0";left:-4px}.outcome-axis:after{content:"1";right:-4px}.open-dot,.solid-dot{border:5px solid var(--blue);z-index:2;background:#fff;border-radius:50%;width:28px;height:28px;position:absolute;top:25px}.solid-dot{background:var(--blue)}.outcome-axis em{color:var(--muted);text-align:center;font-size:16px;position:absolute;top:82px;left:0;right:0}.outcome-symbol{text-align:center;margin-top:16px;font-size:25px}.observation-orders{gap:24px;display:grid}.observation-orders div{border-top:5px solid var(--teal);padding-top:20px}.observation-orders>div>span{color:var(--teal);letter-spacing:.12em;font-size:13px;font-weight:800;display:block}.observation-orders strong{margin-top:22px;font-size:23px;display:block}.correspondence{grid-template-columns:1fr 1fr;gap:36px;margin-top:40px;display:grid}.correspondence>div{border-top:1px solid var(--line);grid-template-columns:240px 1fr;align-items:center;min-height:62px;padding-top:10px;display:grid}.correspondence>div>span{color:var(--muted);letter-spacing:.08em;font-size:12px;font-weight:800}.correspondence>div>strong{color:var(--blue);text-align:center;font-size:25px}.vas-layout{grid-template-columns:520px 1fr;gap:80px;margin-top:46px;display:grid}.definition-stack{border-top:5px solid var(--blue);gap:0;display:grid}.definition-stack div{border-bottom:1px solid var(--line);grid-template-columns:140px 1fr;align-items:center;min-height:98px;display:grid}.definition-stack>div>span{color:var(--blue);letter-spacing:.1em;font-size:12px;font-weight:800}.definition-stack strong{font-size:26px}.definition-stack>div>small{color:var(--muted);grid-column:2;font-size:14px}.state-plane{border-left:2px solid var(--ink);border-bottom:2px solid var(--ink);height:420px;position:relative}.state-plane svg{width:calc(100% - 50px);height:calc(100% - 70px);position:absolute;inset:25px 25px 45px;overflow:visible}.state-plane polyline{fill:none;stroke:var(--blue);stroke-width:5px;stroke-linecap:round;stroke-linejoin:round}.state-plane circle{fill:#fff;stroke:var(--blue);stroke-width:4px}.state-plane .target-point{fill:var(--blue)}.state-plane text{fill:var(--ink);font:20px var(--sans);font-style:italic}.state-plane small{color:var(--muted);font-size:15px;position:absolute;bottom:-38px;left:30px}.model-compare{grid-template-columns:1fr 180px 1fr;align-items:center;margin-top:55px;display:grid}.model-compare>article{border-top:5px solid var(--blue);text-align:center;min-height:420px;padding-top:20px}.model-compare>article:last-child{border-color:var(--teal)}.model-compare>article:last-child .model-label{color:var(--teal)}.control-graph,.single-state{height:190px;margin-top:25px;position:relative}.control-graph i{z-index:2;border:3px solid var(--ink);background:#fff;border-radius:50%;width:34px;height:34px;position:absolute}.control-graph i:first-child{top:65px;left:20%}.control-graph i:nth-child(2){top:18px;left:42%}.control-graph i:nth-child(3){top:68px;right:18%}.control-graph i:nth-child(4){bottom:5px;left:42%}.control-graph svg{width:80%;height:100%}.control-graph path,.single-state path{fill:none;stroke:var(--blue);stroke-width:3px}.single-state i{z-index:2;border:4px solid var(--ink);background:#fff;border-radius:50%;width:48px;height:48px;position:absolute;top:55px;left:45%}.single-state svg{width:50%;height:100%}.single-state em{color:var(--teal);font-size:20px;position:absolute;top:20px;left:66%}.model-compare p{color:var(--muted);font-size:18px}.model-compare strong{margin-top:26px;font-size:21px;display:block}.compare-arrow{color:var(--muted);text-align:center;font-size:15px}.pump-layout{grid-template-columns:1.05fr .95fr;gap:80px;margin-top:52px;display:grid}.pump-definition{border-top:5px solid var(--blue);padding-top:20px}.pump-equation{margin-top:42px;font-size:26px}.pump-visual{text-align:center;grid-template-columns:120px 1fr 120px;align-items:center;margin-top:52px;display:grid}.pump-visual>span{border:3px solid var(--ink);border-radius:50%;place-items:center;height:86px;font-size:21px;display:grid}.pump-visual>i{color:var(--blue);font-size:17px;position:relative}.pump-visual>i:after{content:"→";font-size:40px;display:block}.pump-visual>b{color:var(--teal);letter-spacing:.08em;grid-column:2;font-size:14px}.dichotomy{gap:26px;display:grid}.dichotomy>div{border-top:5px solid var(--teal);grid-template-columns:80px 1fr;align-content:center;min-height:170px;display:grid}.dichotomy-sign{color:var(--teal);grid-row:1/span 2;font-size:48px}.dichotomy h3{font-size:24px}.dichotomy p{color:var(--muted);margin-top:8px;font-size:17px}.threshold-run{border-top:5px solid var(--blue);margin-top:40px;padding-top:24px}.timeline{text-align:center;grid-template-columns:90px 1fr 90px 1fr 90px 1fr 90px;align-items:center;display:grid}.timeline>span{font-size:18px;font-weight:700}.timeline>i{background:var(--line);height:3px}.counter-snapshots{gap:8px;margin-top:22px;display:grid}.counter-snapshots>div{border-bottom:1px solid var(--line);text-align:center;grid-template-columns:210px repeat(4,1fr);align-items:center;min-height:55px;display:grid}.counter-snapshots>div>small{text-align:left;color:var(--muted);font-size:15px}.counter-snapshots>div>b{font-size:14px}.counter-snapshots .high{color:var(--blue)}.counter-snapshots .wide{color:var(--teal)}.extraction-logic{grid-template-columns:repeat(3,1fr);gap:42px;margin-top:32px;display:grid}.extraction-logic div{grid-template-columns:40px 1fr;align-items:start;display:grid}.extraction-logic>div>span{color:var(--blue);font-size:28px;font-weight:800}.extraction-logic>div>p{color:var(--muted);font-size:17px}.dimension-flow{grid-template-columns:1fr 36px 1fr 36px 1fr 36px 1fr;align-items:stretch;margin-top:68px;display:grid}.dimension-flow>article{border-top:5px solid var(--blue);min-height:290px;padding:20px 16px 0 0}.dimension-flow>article:nth-of-type(2),.dimension-flow>article:nth-of-type(4){border-color:var(--teal)}.dimension-flow small{color:var(--muted);letter-spacing:.09em;font-size:12px;font-weight:700}.dimension-flow h3{margin-top:28px;font-size:23px;line-height:1.22}.dimension-flow p{color:var(--muted);margin-top:22px;font-size:16px}.dimension-flow>i{color:#a5b1bb;place-items:center;font-size:28px;font-style:normal;display:grid}.result-cluster{grid-template-columns:1.4fr .6fr;gap:80px;margin-top:64px;display:grid}.main-result{border-top:6px solid var(--blue);flex-direction:column;justify-content:center;min-height:330px;display:flex}.main-result>span{color:var(--blue);letter-spacing:.12em;font-size:14px;font-weight:800}.main-result strong{margin-top:32px;font-size:37px}.special-cases{gap:28px;display:grid}.special-cases div{border-top:5px solid var(--teal);padding-top:18px}.special-cases>div>span{color:var(--teal);letter-spacing:.1em;font-size:14px;font-weight:800}.special-cases strong{margin-top:18px;font-size:35px;display:block}.special-cases>div>small{color:var(--muted);margin-top:8px;font-size:15px;display:block}.technical-bridge{font-size:18px}.recurrence-layout{grid-template-columns:1.15fr .85fr;gap:90px;margin-top:58px;display:grid}.old-bound{border-top:5px solid var(--blue);padding-top:20px}.bound-expression{text-align:center;margin-top:55px;font-size:42px}.old-bound p{max-width:620px;color:var(--muted);margin:45px auto 0;font-size:19px}.cost-stack{justify-items:stretch;display:grid}.cost-stack div{border-top:3px solid var(--teal);justify-content:space-between;align-items:center;padding:15px 0;display:flex}.cost-stack>div>span{color:var(--muted);font-size:16px}.cost-stack>div>b{font-size:21px}.cost-stack>i{color:var(--teal);text-align:center;padding:12px 0;font-size:14px}.hierarchy-layout{margin-top:56px}.hierarchy{grid-template-columns:1fr 44px 1.3fr 44px 1fr 44px 1.35fr 44px .9fr;align-items:center;display:grid}.hierarchy>span{border-top:5px solid var(--blue);background:var(--soft);place-items:center;height:86px;font-size:21px;font-weight:750;display:grid}.hierarchy>span:nth-of-type(n+3){border-color:var(--teal)}.hierarchy>i{color:#9aa8b5;text-align:center;font-size:24px;font-style:normal}.hierarchy-details{grid-template-columns:repeat(3,1fr);gap:45px;margin-top:38px;display:grid}.hierarchy-details>article{border-top:1px solid var(--line);padding-top:14px}.hierarchy-details>article>span{color:var(--blue);letter-spacing:.1em;font-size:12px;font-weight:800}.hierarchy-details p{color:var(--muted);margin-top:9px;font-size:16px}.hierarchy-rule{grid-template-columns:1fr 1fr;gap:40px;margin-top:40px;display:grid}.hierarchy-rule div{border-top:3px solid var(--teal);grid-template-columns:auto 1fr;padding-top:14px;font-size:17px;display:grid}.hierarchy-rule>div>b{color:var(--teal)}.hierarchy-rule>div>span{color:var(--muted);margin-left:18px}.hierarchy-rule strong{grid-column:1/-1;margin-top:10px;font-size:22px}.self-reduction{grid-template-columns:260px 1fr 260px;align-items:center;margin-top:54px;display:grid}.instance-node{border:4px solid var(--blue);flex-direction:column;justify-content:center;align-items:center;min-height:165px;display:flex}.instance-node.reduced{border-color:var(--teal)}.instance-node>span{color:var(--muted);font-size:14px}.instance-node strong{margin-top:8px;font-size:42px}.instance-node small{color:var(--muted);margin-top:8px;font-size:15px}.reduction-arrow{text-align:center;color:var(--blue)}.reduction-arrow b{font-size:24px}.reduction-arrow i{color:var(--muted);margin-top:10px;font-size:14px;display:block}.reduction-arrow:after{content:"";background:var(--line);height:4px;margin:14px 30px 0;display:block}.contract{grid-template-columns:1fr 1fr;gap:55px;margin-top:42px;display:grid}.contract div{border-top:4px solid var(--blue);padding-top:16px}.contract div:last-child{border-color:var(--teal)}.contract>div>span{color:var(--muted);letter-spacing:.1em;font-size:12px;font-weight:800}.contract strong{margin-top:8px;font-size:20px;display:block}.witness-result{grid-template-columns:1fr 70px 1fr 70px 1fr;align-items:stretch;margin-top:82px;display:grid}.witness-result>div{border-top:6px solid var(--blue);flex-direction:column;justify-content:center;min-height:310px;display:flex}.witness-result>div:nth-of-type(2){border-color:var(--teal)}.witness-result>div:nth-of-type(3){border-color:#765b9e}.witness-result>div>span{color:var(--blue);letter-spacing:.1em;font-size:12px;font-weight:800}.witness-result strong{margin-top:28px;font-size:27px;line-height:1.25;display:block}.witness-result>div>small{color:var(--muted);margin-top:18px;font-size:15px;display:block}.witness-result>i{color:#9aa8b5;place-items:center;font-size:32px;font-style:normal;display:grid}.open-gap{font-size:16px}.open-gap b{margin-right:26px}.open-gap em{color:var(--muted)}.synthesis-table,.backup-matrix{margin-top:10px}.synthesis-table>div,.backup-matrix>div{border-bottom:1px solid var(--line);grid-template-columns:280px 1fr 380px;align-items:center;min-height:66px;display:grid}.synthesis-table .table-head,.backup-matrix .table-head{min-height:24px;color:var(--muted);letter-spacing:.1em;font-size:12px;font-weight:800}.synthesis-table>div>b{color:var(--blue);font-size:15px}.synthesis-table>div>span{font-size:15px}.synthesis-table strong{color:var(--ink);font-size:15px}.synthesis-line{text-align:center;color:var(--blue);margin-top:45px;font-size:22px;font-weight:700}.synthesis-line i{color:#a5b1bb;margin:0 22px;font-style:normal}.research-workflow{grid-template-columns:repeat(4,1fr);gap:58px;margin-top:76px;display:grid;position:relative}.research-workflow:before{content:"";background:var(--line);height:3px;position:absolute;top:16px;left:18px;right:18px}.research-workflow article{min-height:300px;padding-top:62px;position:relative}.research-workflow article:not(:last-child):after{content:"→";color:#a5b1bb;font-size:24px;position:absolute;top:3px;right:-40px}.research-workflow>article>span{z-index:1;background:var(--paper);width:36px;height:36px;color:var(--blue);border:2px solid var(--blue);border-radius:50%;place-items:center;font-size:13px;font-weight:800;display:grid;position:absolute;top:0;left:0}.research-workflow article:nth-child(2n)>span{color:var(--teal);border-color:var(--teal)}.research-workflow h3{margin-top:34px;font-size:25px}.research-workflow p{color:var(--muted);margin-top:22px;font-size:18px}.authorship-note{color:var(--muted);font-size:16px}.closing-slide:before{display:none}.closing-minimal{text-align:center;flex-direction:column;justify-content:center;align-items:center;display:flex;position:absolute;inset:0}.closing-minimal>span{color:var(--blue);letter-spacing:.14em;font-size:14px;font-weight:800}.closing-minimal h2{width:1180px;margin-top:34px;font-size:52px;line-height:1.16}.closing-minimal p{color:var(--muted);margin-top:32px;font-size:20px}.closing-minimal div{border-top:3px solid var(--blue);width:180px;margin-top:80px;padding-top:16px;font-size:25px;font-weight:700}.backup-matrix>div{grid-template-columns:380px 440px 1fr}.backup-matrix>div>b{color:var(--teal);font-size:18px}.backup-matrix>div>span,.backup-matrix>div>em{font-size:17px}.backup-matrix em{color:var(--muted);font-style:normal}.proof-architecture{grid-template-columns:1fr 1fr;gap:80px;margin-top:60px;display:grid}.proof-architecture>article{border-top:5px solid var(--teal);padding-top:20px}.proof-architecture>article>span{color:var(--teal);letter-spacing:.12em;font-size:13px;font-weight:800}.proof-architecture ol{margin:35px 0 0 32px;font-size:21px}.proof-architecture li{margin:18px 0;padding-left:10px}.formula-stack{grid-template-columns:1fr 1fr;gap:70px;margin-top:58px;display:grid}.formula-stack>div{border-top:5px solid var(--teal);min-height:330px;padding-top:20px}.formula-stack>div>span{color:var(--teal);letter-spacing:.12em;font-size:13px;font-weight:800}.formula-stack strong{margin-top:42px;font-size:24px;display:block}.formula-stack p{color:var(--muted);margin-top:40px;font-size:19px}.spectrum{grid-template-columns:1fr 50px 1fr 50px 1fr 50px 1.4fr;align-items:center;margin-top:80px;display:grid}.spectrum.exact-spectrum{grid-template-columns:1fr 70px 1fr 70px 1fr}.spectrum>span{border-top:5px solid var(--teal);background:var(--soft);text-align:center;place-items:center;height:90px;font-size:22px;font-weight:700;display:grid}.spectrum>i{color:#9aa8b5;text-align:center;font-size:25px;font-style:normal}.backup-points{grid-template-columns:repeat(3,1fr);gap:38px;margin-top:54px;display:grid}.backup-points p{border-top:1px solid var(--line);color:var(--muted);padding-top:15px;font-size:17px}.backup-points b{color:var(--teal)}.case-tree{margin-top:42px}.case-root{border-top:5px solid var(--teal);background:var(--soft);text-align:center;width:520px;margin:0 auto;padding:18px;font-weight:700}.case-branches{grid-template-columns:repeat(4,1fr);gap:35px;margin-top:46px;display:grid}.case-branches>article{border-top:3px solid var(--teal);min-height:230px;padding-top:16px}.case-branches>article>span{color:var(--teal);letter-spacing:.08em;font-size:12px;font-weight:800}.case-branches p{color:var(--muted);margin-top:26px;font-size:17px}.pump-compare{grid-template-columns:1fr 1fr;gap:80px;margin-top:72px;display:grid}.pump-compare>article{border-top:5px solid var(--teal);min-height:330px;padding-top:20px}.pump-compare>article>span{color:var(--teal);letter-spacing:.12em;font-size:13px;font-weight:800}.pump-compare strong{margin-top:52px;font-size:24px;display:block}.pump-compare p{color:var(--muted);margin-top:42px;font-size:19px}.open-questions{font-size:18px}.reveal .progress{height:4px;color:var(--blue)}.reveal .controls{color:var(--blue);transform:scale(.75)}.reveal .slide-number{color:#8c99a5;font:12px var(--sans);background:0 0;padding:0;bottom:18px;right:24px}:is(.reveal:has(.title-slide.present) .controls,.reveal:has(.title-slide.present) .progress,.reveal:has(.title-slide.present) .slide-number){display:none!important}.reveal .speaker-notes{font-family:var(--sans)}.reveal .katex{font-size:1em}.reveal .hljs{background:0 0}@media print{.reveal .slides section.talk-slide{page-break-after:always}}.research-map{grid-template-columns:repeat(4,1fr);gap:34px;margin-top:54px;display:grid;position:relative}.research-map article{border-top:5px solid var(--blue);flex-direction:column;min-height:332px;padding:22px 14px 0 0;display:flex}.research-map article:nth-child(2){border-color:#3f7f9a}.research-map article:nth-child(3){border-color:var(--teal)}.research-map article:nth-child(4){border-color:#765b9e}.research-map small,.before-after article>span,.code-triptych article>span,.positive-code>span,.semantic-comparison article>span,.elevator-rules>span,.elevator-run>span,.vas-generalization article>span,.complexity-gap article>span,.run-dichotomy article>span,.hierarchy-definitions article>span{color:var(--blue);letter-spacing:.11em;font-size:13px;font-weight:800}.research-map article:nth-child(2) small,.research-map article:nth-child(2) strong{color:#3f7f9a}.research-map article:nth-child(3) small,.research-map article:nth-child(3) strong{color:var(--teal)}.research-map article:nth-child(4) small,.research-map article:nth-child(4) strong{color:#765b9e}.research-map h3{min-height:68px;margin-top:26px;font-size:29px;line-height:1.14}.research-map p{min-height:58px;color:var(--muted);margin-top:12px;font-size:19px;line-height:1.35}.research-map strong{min-height:58px;color:var(--blue);margin-top:auto;font-size:20px;line-height:1.35;display:block}.research-map strong em{margin-top:3px;font-size:16px;font-style:normal;font-weight:600;display:block}.map-connection{color:var(--teal);letter-spacing:.025em;grid-column:3/5;grid-template-columns:1fr auto 1fr;align-items:center;gap:12px;margin-top:-4px;font-size:14px;font-weight:700;display:grid}.map-connection i{background:var(--teal);opacity:.55;height:1px}.map-connection i:last-child:after{content:"›";float:right;font-size:20px;position:relative;top:-11px}.before-after{grid-template-columns:1fr 1fr;gap:80px;margin-top:54px;display:grid}.before-after article{border-top:5px solid var(--blue);min-height:400px;padding-top:20px}.before-after article:last-child{border-color:var(--teal)}.before-after article:last-child>span{color:var(--teal)}.process-chain{grid-template-columns:1fr 44px 1fr;align-items:center;min-height:110px;margin-top:44px;display:grid}.process-chain b{background:var(--soft);text-align:center;place-items:center;height:96px;font-size:20px;display:grid}.process-chain i{color:#9aa8b5;text-align:center;font-size:27px;font-style:normal}.before-after ul{color:var(--muted);margin:36px 0 0 27px;font-size:19px}.before-after li{margin:15px 0;padding-left:8px}.code-triptych{grid-template-columns:repeat(3,1fr);gap:34px;margin-top:52px;display:grid}.code-triptych article{border-top:5px solid var(--blue);min-height:470px;padding-top:19px}.code-triptych article:nth-child(2){border-color:var(--warm)}.code-triptych article:nth-child(3){border-color:var(--teal)}.code-triptych pre,.positive-code pre{background:var(--ink);width:100%;box-shadow:none;margin-top:24px;padding:22px 24px;font-size:17px;line-height:1.35}.code-triptych pre code,.positive-code pre code{background:0 0;max-height:none;padding:0}.code-triptych p{color:var(--muted);margin-top:27px;font-size:18px}.mechanism-layout{grid-template-columns:.88fr 1.12fr;gap:72px;margin-top:50px;display:grid}.rule-stack{gap:22px;display:grid}.rule-stack>div{border-top:4px solid var(--blue);min-height:122px;padding:17px 0 0}.rule-stack>div:nth-child(2){border-color:var(--teal)}.rule-stack>div:nth-child(3){border-color:var(--warm)}.rule-stack b{font-size:24px;display:block}.rule-stack p{color:var(--muted);margin-top:9px;font-size:18px}.positive-code{border-top:5px solid var(--teal);padding-top:18px}.positive-code>span{color:var(--teal)}.positive-code pre{margin-top:18px;font-size:16px}.positive-code p{color:var(--muted);margin-top:17px;font-size:17px}.compact-proof{margin-top:46px}.compact-proof .proof-direction ol{color:var(--muted);margin:27px 0 0 29px;font-size:18px}.compact-proof .proof-direction li{margin:16px 0;padding-left:6px}.compact-proof .direction-label{line-height:1.25}.contribution-sheet{grid-template-columns:1fr 1fr;gap:30px 54px;margin-top:48px;display:grid}.contribution-sheet article{border-top:4px solid var(--blue);min-height:210px;padding:16px 8px 0 0}.contribution-sheet article:nth-child(2),.contribution-sheet article:nth-child(4){border-color:var(--teal)}.contribution-sheet article>span{color:var(--blue);letter-spacing:.11em;font-size:13px;font-weight:800}.contribution-sheet article:nth-child(2)>span,.contribution-sheet article:nth-child(4)>span{color:var(--teal)}.contribution-sheet p{color:var(--muted);margin-top:14px;font-size:19px}.contribution-sheet p b{color:var(--ink)}.observer-scene{grid-template-columns:230px 70px 230px 1fr;align-items:center;width:1060px;margin:52px auto 0;display:grid}.observer-node{border:4px solid var(--blue);flex-direction:column;justify-content:center;align-items:center;min-height:150px;display:flex}.observer-node.test{border-color:var(--teal)}.observer-node span{color:var(--muted);letter-spacing:.1em;font-size:12px;font-weight:800}.observer-node strong{margin-top:10px;font-size:42px}.parallel-mark{color:#9aa8b5;text-align:center;font-size:38px}.success-arrow{color:var(--muted);margin-left:36px;font-size:17px}.success-arrow i{color:#9aa8b5;margin:0 18px;font-size:26px;font-style:normal}.success-arrow b{color:var(--warm);font-size:42px}.testing-cards{grid-template-columns:repeat(3,1fr);gap:36px;margin-top:46px;display:grid}.testing-cards article{border-top:4px solid var(--blue);padding-top:14px}.testing-cards article:nth-child(2){border-color:var(--warm)}.testing-cards article:nth-child(3){border-color:var(--teal)}.testing-cards span{color:var(--blue);letter-spacing:.1em;font-size:13px;font-weight:800}.testing-cards article:nth-child(2) span{color:var(--warm)}.testing-cards article:nth-child(3) span{color:var(--teal)}.testing-cards p{color:var(--muted);margin-top:12px;font-size:18px}.formula-card{text-align:center;margin-top:75px;font-size:27px}.alternative-card{grid-template-columns:1fr 60px 1fr;align-items:center;margin-top:70px;display:grid}.alternative-card b{background:var(--soft);text-align:center;padding:26px 10px;font-size:25px}.alternative-card span{color:var(--muted);text-align:center;font-size:16px}.choice-pair>article>p{margin-top:54px}.semantic-comparison{grid-template-columns:1fr 1fr;gap:74px;margin-top:46px;display:grid}.semantic-comparison article{border-top:5px solid var(--blue);min-height:445px;padding-top:19px}.semantic-comparison article:last-child{border-color:var(--teal)}.semantic-comparison article:last-child>span{color:var(--teal)}.semantic-comparison ul{color:var(--muted);margin:42px 0 0 28px;font-size:18px}.semantic-comparison li{margin:18px 0;padding-left:8px}.mixture-step{background:var(--pale-teal);text-align:center;margin-top:34px;padding:20px 10px;font-size:21px}.refined-outcome{margin-top:58px}.refined-outcome .observation-orders strong{font-size:18px}.equivalence-strip{border-top:2px solid var(--line);justify-content:center;align-items:center;gap:30px;padding-top:12px;display:flex;position:absolute;bottom:34px;left:330px;right:330px}.equivalence-strip span{color:var(--blue);letter-spacing:.1em;font-size:12px;font-weight:800}.equivalence-strip strong{font-size:21px}.probabilistic-results,.vas-results,.vass-results{gap:23px 52px;margin-top:38px}.probabilistic-results article,.vas-results article,.vass-results article{min-height:194px}.probabilistic-results p,.vas-results p,.vass-results p{font-size:17px}.elevator-layout{grid-template-columns:.66fr 1.34fr;gap:70px;margin-top:48px;display:grid}.elevator-rules{border-top:5px solid var(--blue);padding-top:18px}.elevator-rules>div{border-bottom:1px solid var(--line);justify-content:space-between;gap:20px;padding:17px 0;display:flex}.elevator-rules b{color:var(--muted);font-size:15px;font-weight:600}.elevator-rules strong{font-size:20px}.elevator-run{border-top:5px solid var(--teal);padding-top:18px}.elevator-run>span{color:var(--teal)}.floor-sequence{align-items:center;margin-top:74px;display:flex}.floor-sequence b{border:3px solid var(--teal);border-radius:50%;place-items:center;width:58px;height:58px;font-size:19px;display:grid}.floor-sequence i{width:49px;color:var(--muted);text-align:center;font-size:13px;font-style:normal}.elevator-run p{color:var(--muted);margin-top:62px;font-size:18px}.vas-generalization{grid-template-columns:1fr 1fr;gap:80px;margin-top:52px;display:grid}.vas-generalization article{border-top:5px solid var(--blue);min-height:435px;padding-top:18px}.vas-generalization article:last-child{border-color:var(--teal)}.vas-generalization article:last-child>span{color:var(--teal)}.vector-equation{background:var(--soft);text-align:center;margin-top:34px;padding:14px;font-size:24px}.vas-generalization p{color:var(--muted);margin-top:30px;font-size:18px}.vas-generalization ul{color:var(--muted);margin:38px 0 0 29px;font-size:19px}.vas-generalization li{margin:17px 0;padding-left:8px}.complexity-gap{grid-template-columns:1fr 170px 1fr;align-items:center;margin-top:52px;display:grid}.complexity-gap article{border-top:5px solid var(--blue);text-align:center;min-height:210px;padding-top:18px}.complexity-gap article:last-child{border-color:var(--teal)}.complexity-gap article:last-child>span{color:var(--teal)}.complexity-gap strong{margin-top:28px;font-size:42px;display:block}.complexity-gap p{color:var(--muted);margin-top:12px;font-size:17px}.gap-line{background:var(--line);text-align:center;height:3px}.gap-line b{color:var(--muted);background:#fff;padding:0 10px;font-size:13px;position:relative;top:-13px}.model-facts{grid-template-columns:repeat(3,1fr);gap:30px;margin-top:34px;display:grid}.model-facts>div{border-top:2px solid var(--line);padding-top:13px}.model-facts b{color:var(--blue);text-transform:uppercase;letter-spacing:.08em;font-size:13px;display:block}.model-facts span{color:var(--muted);margin-top:8px;font-size:16px;display:block}.exact-pump{grid-template-columns:1.05fr .95fr;gap:75px;margin-top:52px}.pump-role{gap:17px;display:grid}.pump-role>div{border-top:3px solid var(--teal);padding-top:13px}.pump-role span{color:var(--teal);letter-spacing:.1em;font-size:12px;font-weight:800}.pump-role p{color:var(--muted);margin-top:8px;font-size:17px}.run-dichotomy{grid-template-columns:1fr 1fr;gap:72px;margin-top:43px;display:grid}.run-dichotomy article{border-top:5px solid var(--blue);min-height:430px;padding-top:18px}.run-dichotomy article:last-child{border-color:var(--teal)}.run-dichotomy article:last-child>span{color:var(--teal)}.run-dichotomy h3{margin-top:22px;font-size:24px;line-height:1.25}.run-dichotomy ol{color:var(--muted);margin:28px 0 0 29px;font-size:17px}.run-dichotomy li{margin:17px 0;padding-left:8px}.special-result-strip{grid-template-columns:1fr 1fr;gap:70px;display:grid;position:absolute;bottom:30px;left:360px;right:360px}.special-result-strip>div{border-top:2px solid var(--line);grid-template-columns:auto 1fr;align-items:baseline;padding-top:10px;display:grid}.special-result-strip span{color:var(--blue);letter-spacing:.1em;font-size:13px;font-weight:800}.special-result-strip b{justify-self:end;font-size:22px}.special-result-strip small{color:var(--muted);grid-column:1/-1;margin-top:2px;font-size:13px}.dimension-landscape{grid-template-columns:repeat(3,1fr);gap:38px;margin-top:44px;display:grid}.dimension-landscape article{border-top:5px solid var(--line);min-height:285px;padding:17px 18px 0 0}.dimension-landscape article.focus{border-color:var(--blue);background:var(--pale-blue);padding-left:18px}.dimension-landscape span{color:var(--blue);letter-spacing:.1em;font-size:15px;font-weight:800}.dimension-landscape strong{margin-top:25px;font-size:27px;display:block}.dimension-landscape small{color:var(--muted);margin-top:3px;font-size:14px;display:block}.bound-history{border-top:2px solid var(--line);grid-template-columns:2fr 1fr 40px 1fr 40px 1.4fr 40px 1.4fr;align-items:center;width:1050px;margin:34px auto 0;padding-top:15px;display:grid}.bound-history span{color:var(--blue);letter-spacing:.1em;font-size:12px;font-weight:800}.bound-history b{text-align:center;font-size:19px}.bound-history b.current{color:var(--teal)}.bound-history i{color:#9aa8b5;text-align:center;font-style:normal}.exact-hierarchy{grid-template-columns:1fr 34px 1.25fr 34px 1fr 34px 1.3fr 34px .9fr;align-items:center;margin-top:54px;display:grid}.exact-hierarchy>span{border-top:5px solid var(--blue);background:var(--soft);text-align:center;place-items:center;min-height:92px;font-size:16px;font-weight:700;display:grid}.exact-hierarchy>i{color:#9aa8b5;text-align:center;font-size:22px;font-style:normal}.hierarchy-definitions{grid-template-columns:repeat(3,1fr);gap:40px;margin-top:38px;display:grid}.hierarchy-definitions article{border-top:2px solid var(--line);padding-top:13px}.hierarchy-definitions p{color:var(--muted);margin-top:8px;font-size:16px}.classical-test-example{grid-template-columns:.72fr 1.28fr;gap:66px;margin-top:38px;display:grid}.test-definitions,.test-executions{border-top:5px solid var(--blue);min-height:330px;padding-top:16px}.test-definitions>span{color:var(--blue);letter-spacing:.11em;font-size:13px;font-weight:800}.test-definitions strong{margin-top:10px;font-size:20px;display:block}.test-definitions .observer-formula{border-top:1px solid var(--line);color:var(--teal);margin-top:20px;padding-top:12px}.test-executions{border-color:var(--teal)}.test-path{border-bottom:1px solid var(--line);text-align:center;grid-template-columns:1fr 90px 1fr 90px 1fr;align-items:center;min-height:88px;font-size:18px;display:grid}.test-path i{color:var(--muted);font-style:normal}.test-path b{color:var(--teal)}.test-path.divergence b{color:var(--warm)}.testing-verdict{grid-template-columns:1fr 1fr 1.1fr;align-items:center;gap:38px;margin-top:24px;display:grid}.testing-verdict>div{border-top:3px solid var(--blue);padding-top:11px}.testing-verdict>div:nth-child(2){border-color:var(--teal)}.testing-verdict span{color:var(--blue);letter-spacing:.1em;font-size:12px;font-weight:800}.testing-verdict>div:nth-child(2) span{color:var(--teal)}.testing-verdict p{color:var(--muted);margin-top:6px;font-size:16px}.testing-verdict>strong{text-align:center;font-size:20px}.linearity-pair{gap:14px;margin-top:25px;display:grid}.linearity-pair>div{border-top:2px solid var(--teal);padding-top:10px}.linearity-pair b{color:var(--teal);letter-spacing:.1em;font-size:12px;display:block}.linearity-pair span{color:var(--ink);margin-top:7px;font-size:16px;line-height:1.35;display:block}.semantic-comparison .linearity-pair+ul{margin-top:23px}.outcome-definition{text-align:center;margin-top:24px;font-size:22px}.outcome-linearity{background:var(--pale-blue);text-align:center;margin-top:10px;padding:12px 8px;font-size:17px}.outcome-axis.half-open{height:86px;margin-top:22px}.outcome-axis.half-open i{right:24%}.outcome-axis.half-open .solid-dot{left:-2px}.outcome-axis.half-open .open-dot{left:calc(76% - 14px)}.outcome-axis.half-open:after{content:"1/2";right:21%}.outcome-axis.half-open em{top:72px}.floor-sequence{justify-content:center}.floor-sequence i{width:72px;font-size:15px}.illegal-move{border-top:2px solid #d9b18e;grid-template-columns:145px 1fr;align-items:center;margin-top:34px;padding-top:12px;display:grid}.illegal-move>span{color:var(--warm);letter-spacing:.1em;font-size:12px;font-weight:800}.illegal-move strong{font-size:21px}.illegal-move small{color:var(--muted);grid-column:2;margin-top:4px;font-size:14px}.elevator-run .illegal-move+p{margin-top:28px}.vas-slide-13 .slide-lead{white-space:nowrap;max-width:none;font-size:20px}.vas-slide-13 .elevator-layout{grid-template-columns:.86fr 1.14fr;gap:62px;margin-top:22px}.vas-slide-13 .elevator-rules,.vas-slide-13 .elevator-run{padding-top:12px}.vas-slide-13 .elevator-rules>div{grid-template-columns:158px 1fr;align-items:center;gap:18px;min-height:48px;padding:8px 0;display:grid}.vas-slide-13 .elevator-rules b{color:var(--muted);font-size:14px;font-weight:650}.vas-slide-13 .elevator-rules strong{text-align:right;font-size:19px}.vas-slide-13 .elevator-rules>div:nth-of-type(3) strong{font-size:16px}.vas-slide-13 .elevator-reachability{align-items:start!important;min-height:105px!important;padding-top:10px!important}.vas-slide-13 .elevator-reachability>b{color:var(--blue);letter-spacing:.1em;padding-top:3px;font-size:12px;font-weight:800}.vas-slide-13 .elevator-reachability section{text-align:right}.vas-slide-13 .elevator-reachability section>p{color:var(--ink);font-size:14px;line-height:1.25}.vas-slide-13 .elevator-reachability section>strong{margin-top:3px;font-size:22px;display:block}.vas-slide-13 .elevator-reachability .katex-display,.vas-slide-13 .elevator-run-confirm .katex-display,.vas-slide-13 .transition-disabled .katex-display{margin:.05em 0}.vas-slide-13 .elevator-reachability section>small{color:var(--muted);margin-top:2px;font-size:12px;line-height:1.23;display:block}.vas-slide-13 .floor-sequence{justify-content:center;margin-top:44px}.vas-slide-13 .floor-sequence b{width:52px;height:52px;font-size:18px}.vas-slide-13 .floor-sequence i{border-top:2px solid var(--teal);width:72px;height:1px;color:var(--ink);font-size:14px;position:relative}.vas-slide-13 .floor-sequence i:after{content:"▶";color:var(--teal);font-size:13px;position:absolute;top:-10px;right:-3px}.vas-slide-13 .floor-sequence i>span{white-space:nowrap;position:absolute;top:-27px;left:50%;transform:translate(-50%)}.vas-slide-13 .elevator-run-confirm{text-align:center;margin-top:11px;font-size:23px}.vas-slide-13 .transition-disabled{border-top:2px solid #d9b18e;grid-template-columns:200px 150px 1fr;align-items:center;gap:14px;margin-top:13px;padding-top:10px;display:grid}.vas-slide-13 .transition-disabled>span{color:var(--warm);letter-spacing:.1em;font-size:12px;font-weight:800}.vas-slide-13 .transition-disabled>strong{font-size:21px}.vas-slide-13 .transition-disabled>p{color:var(--muted);margin:0;font-size:13px;line-height:1.26}.vas-slide-13 .elevator-bottom{border-top:2px solid var(--teal);grid-template-columns:.95fr 1.25fr;gap:58px;margin-top:17px;padding-top:10px;display:grid}.vas-slide-13 .elevator-bottom section>span{color:var(--teal);letter-spacing:.1em;font-size:12px;font-weight:800}.vas-slide-13 .elevator-key-point>strong{margin-top:8px;font-size:16px;line-height:1.28;display:block}.vas-slide-13 .elevator-key-point>p{color:var(--muted);margin-top:5px;font-size:14px}.vas-slide-13 .elevator-many-counters>div{grid-template-columns:1fr 32px 1.15fr;align-items:center;margin-top:6px;display:grid}.vas-slide-13 .elevator-many-counters>div p{color:var(--muted);font-size:14px}.vas-slide-13 .elevator-many-counters>div strong{color:var(--ink);margin-top:3px;font-size:18px;display:block}.vas-slide-13 .elevator-many-counters>div i{color:var(--teal);text-align:center;font-size:21px;font-style:normal}.vas-slide-13 .elevator-many-counters>b{color:var(--ink);margin-top:7px;font-size:15px;display:block}.vas-slide-14 .slide-lead{white-space:nowrap;max-width:none;font-size:20px}.vas-slide-14 .vas-dimension-bridge{border-top:1px solid var(--line);border-bottom:1px solid var(--line);flex-direction:column;align-items:center;gap:1px;margin-top:15px;padding:6px 0 7px;display:flex}.vas-slide-14 .vas-dimension-bridge div{justify-content:center;align-items:baseline;gap:13px;display:flex}.vas-slide-14 .vas-dimension-bridge span,.vas-slide-14 .vas-definition-layout article>span,.vas-slide-14 .vas-reachability-conclusion>span{color:var(--blue);letter-spacing:.1em;white-space:nowrap;font-size:12px;font-weight:800}.vas-slide-14 .vas-dimension-bridge strong{white-space:nowrap;font-size:18px}.vas-slide-14 .vas-dimension-bridge i{min-height:18px;color:var(--teal);text-align:center;font-size:21px;font-style:normal;line-height:1}.vas-slide-14 .vas-dimension-bridge p{color:var(--muted);text-align:center;margin-top:1px;font-size:14px}.vas-slide-14 .vas-definition-layout{grid-template-columns:1fr 1fr;gap:58px;margin-top:14px;display:grid}.vas-slide-14 .vas-definition-layout article{border-top:4px solid var(--blue);min-height:240px;padding-top:10px}.vas-slide-14 .vas-definition-layout article:last-child{border-color:var(--teal)}.vas-slide-14 .vas-definition-layout article:last-child>span{color:var(--teal)}.vas-slide-14 .vas-definition-row{border-bottom:1px solid var(--line);grid-template-columns:138px 1fr auto;align-items:center;gap:12px;min-height:48px;display:grid}.vas-slide-14 .vas-definition-row>b{color:var(--muted);font-size:13px;font-weight:650}.vas-slide-14 .vas-definition-row>strong{text-align:center;font-size:18px}.vas-slide-14 .vas-definition-row>small{color:var(--muted);font-size:12px}.vas-slide-14 .vas-transition-rule{grid-template-columns:1fr 116px 1.42fr;align-items:center;gap:12px;margin-top:10px;display:grid}.vas-slide-14 .vas-transition-rule>strong{text-align:center;font-size:19px}.vas-slide-14 .vas-transition-rule>p{color:var(--muted);text-align:center;font-size:12px}.vas-slide-14 .vas-transition-rule>b{text-align:center;font-size:15px}.vas-slide-14 .vas-rule-interpretation{color:var(--muted);text-align:center;margin-top:8px;font-size:14px}.vas-slide-14 .vas-resource-example{grid-template-rows:auto 43px 52px auto 47px auto;align-content:start;row-gap:4px;display:grid}.vas-slide-14 .vas-resource-example>div{text-align:center}.vas-slide-14 .vas-example-setup{margin-top:5px;font-size:17px}.vas-slide-14 .vas-example-step{color:var(--teal);font-size:22px;font-weight:700}.vas-slide-14 .vas-example-disabled{color:var(--warm);margin-top:5px;font-size:18px}.vas-slide-14 .vas-resource-example>p{color:var(--muted);text-align:center;font-size:13px;line-height:1.25}.vas-slide-14 .katex-display{margin:.08em 0}.vas-slide-14 .vas-reachability-conclusion{border-top:3px solid var(--teal);grid-template-columns:145px 245px 1fr;align-items:center;gap:24px;margin-top:13px;padding-top:10px;display:grid}.vas-slide-14 .vas-reachability-conclusion>span{color:var(--teal)}.vas-slide-14 .vas-reachability-conclusion>strong{text-align:center;font-size:25px}.vas-slide-14 .vas-reachability-conclusion p{color:var(--ink);font-size:14px;line-height:1.28}.vas-slide-14 .vas-reachability-conclusion small{color:var(--muted);margin-top:3px;font-size:12px;display:block}.vas-slide-14 .vas-run-notation{border-top:1px solid var(--line);grid-column:2/4;align-items:center;gap:30px;margin-top:5px;padding-top:7px;display:flex}.vas-slide-14 .vas-run-notation>strong{text-align:center;min-width:560px;font-size:17px}.vas-slide-14 .vas-run-notation>p{color:var(--muted);white-space:nowrap;font-size:13px}.vas-slide-15 .slide-lead{white-space:nowrap;max-width:none;font-size:20px}.vas-slide-15 .vas-vass-merged{grid-template-columns:.9fr 1.1fr;gap:56px;margin-top:22px;display:grid}.vas-slide-15 .vas-vass-merged>article{border-top:5px solid var(--blue);flex-direction:column;justify-content:space-between;min-height:540px;padding-top:13px;display:flex}.vas-slide-15 .vas-vass-merged>article:last-child{border-color:var(--teal)}.vas-slide-15 .vas-vass-merged article>span{color:var(--blue);letter-spacing:.1em;font-size:13px;font-weight:800}.vas-slide-15 .vas-vass-merged article:last-child>span{color:var(--teal)}.vas-slide-15 .vass-definition-line{border-bottom:1px solid var(--line);grid-template-columns:150px 1fr auto;align-items:center;gap:12px;min-height:55px;display:grid}.vas-slide-15 .vass-definition-line>b{color:var(--muted);font-size:13px;font-weight:650}.vas-slide-15 .vass-definition-line>strong{text-align:center;font-size:19px}.vas-slide-15 .vass-definition-line>small{color:var(--muted);font-size:12px}.vas-slide-15 .vass-transition-definition{border-bottom:1px solid var(--line);text-align:center;margin-top:10px;padding-bottom:9px}.vas-slide-15 .vass-transition-definition>strong{font-size:21px;display:block}.vas-slide-15 .vass-transition-definition>p{color:var(--muted);margin:3px 0;font-size:12px}.vas-slide-15 .vass-transition-definition>b{font-size:16px;display:block}.vas-slide-15 .vass-symbol-meaning{grid-template-columns:1fr 1fr;gap:20px;margin-top:9px;display:grid}.vas-slide-15 .vass-symbol-meaning p{color:var(--muted);font-size:14px}.vas-slide-15 .vass-dimension-note{border-left:3px solid var(--warm);color:var(--ink);margin-top:10px;padding-left:10px;font-size:15px;font-weight:700}.vas-slide-15 .vas-one-state{border-top:2px solid var(--blue);text-align:center;margin-top:10px;padding-top:8px;font-size:20px;font-weight:700}.vas-slide-15 .reaction-configuration{text-align:center;margin-top:5px;font-size:18px}.vas-slide-15 .atomic-reaction-list{grid-template-columns:1fr 1fr;gap:20px;margin-top:2px;display:grid}.vas-slide-15 .atomic-reaction-list>div{border-bottom:1px solid var(--line);grid-template-columns:42px 1fr;align-items:center;padding:7px 0;display:grid}.vas-slide-15 .atomic-reaction-list b{color:var(--teal);grid-row:1/3;font-size:16px}.vas-slide-15 .atomic-reaction-list strong{font-size:16px}.vas-slide-15 .atomic-reaction-list em{color:var(--muted);font-size:14px;font-style:normal}.vas-slide-15 .reaction-phase-intro{color:var(--muted);text-align:center;margin-top:8px;font-size:13px}.vas-slide-15 .reaction-path-formula{border-bottom:1px solid var(--line);min-height:49px;color:var(--ink);place-items:center;font-size:17px;display:grid}.vas-slide-15 .pending-state-reason{margin-top:9px}.vas-slide-15 .pending-state-reason>b{color:var(--warm);letter-spacing:.1em;font-size:12px;font-weight:800}.vas-slide-15 .pending-state-reason>p{color:var(--muted);margin-top:4px;font-size:13px;line-height:1.25}.vas-slide-15 .vas-vass-conclusion{border-top:3px solid var(--teal);color:var(--ink);text-align:center;margin-top:13px;padding-top:10px;font-size:18px;font-weight:700}.vas-slide-15 .katex-display{margin:.08em 0}.vas-slide-16 .slide-lead{white-space:nowrap;max-width:none;font-size:20px}.vas-slide-16 .vas-vass-structural{grid-template-columns:1fr 1fr;gap:58px;margin-top:18px;display:grid}.vas-slide-16 .vas-vass-structural article{border-top:4px solid var(--blue);min-height:135px;padding-top:9px}.vas-slide-16 .vas-vass-structural article:last-child{border-color:var(--teal)}.vas-slide-16 .vas-vass-structural article>span,.vas-slide-16 .fixed-dimensional-relationship>span,.vas-slide-16 .known-upper-bounds>span{color:var(--blue);letter-spacing:.1em;font-size:12px;font-weight:800}.vas-slide-16 .vas-vass-structural article:last-child>span{color:var(--teal)}.vas-slide-16 .vas-vass-structural h3{margin-top:5px;font-size:21px}.vas-slide-16 .vas-vass-structural p{color:var(--muted);margin-top:5px;font-size:14px;line-height:1.24}.vas-slide-16 .fixed-dimensional-relationship{border-top:2px solid var(--line);margin-top:14px;padding-top:8px}.vas-slide-16 .fixed-dimension-relations{grid-template-columns:1fr 1fr;gap:58px;margin-top:4px;display:grid}.vas-slide-16 .fixed-dimension-relations>div{text-align:center}.vas-slide-16 .fixed-dimension-relations strong{font-size:24px;display:block}.vas-slide-16 .fixed-dimension-relations p{color:var(--muted);font-size:13px;line-height:1.24}.vas-slide-16 .fixed-dimensional-relationship>b{color:var(--warm);text-align:center;margin-top:7px;font-size:15px;display:block}.vas-slide-16 .fixed-dimensional-relationship>p{color:var(--muted);text-align:center;margin-top:4px;font-size:13px}.vas-slide-16 .known-upper-bounds{border-top:3px solid var(--blue);margin-top:13px;padding-top:8px}.vas-slide-16 .known-upper-bounds>.known-bound-grid{text-align:center;grid-template-columns:1fr 1.18fr 1fr;align-items:center;gap:28px;margin-top:5px;display:grid}.vas-slide-16 .known-bound-grid>b{color:var(--muted);letter-spacing:.07em;font-size:11px}.vas-slide-16 .known-bound-grid>strong{font-size:16px}.vas-slide-16 .known-bound-grid>small{color:var(--muted);font-size:11px}.vas-slide-16 .known-bound-grid>.new-vas-bound{color:var(--teal)}.vas-slide-16 .known-upper-bounds>p{color:var(--muted);text-align:center;margin-top:5px;font-size:11px}.vas-slide-16 .katex-display{margin:.06em 0}.vas-slide-16 .vas-gap-question{white-space:nowrap;align-items:baseline;gap:18px;margin-top:11px;display:flex}.vas-slide-16 .vas-gap-question>strong{font-size:17px}.coupled-example{border-top:2px solid var(--teal);text-align:center;margin-top:25px;padding-top:12px;font-size:21px}.coupled-example span{color:var(--muted);margin-top:4px;font-size:15px;display:block}.term-list{margin-top:28px}.term-list p{border-bottom:1px solid var(--line);grid-template-columns:180px 1fr;align-items:center;min-height:72px;display:grid}.term-list b{color:var(--teal);text-transform:uppercase;letter-spacing:.08em;font-size:15px}.term-list span{color:var(--ink);font-size:18px}.vas-vass-compare{grid-template-columns:1fr 1fr;gap:72px;margin-top:42px;display:grid}.vas-vass-compare article{border-top:5px solid var(--blue);min-height:195px;padding-top:17px}.vas-vass-compare article:last-child{border-color:var(--teal)}.vas-vass-compare span{color:var(--blue);letter-spacing:.1em;font-size:13px;font-weight:800}.vas-vass-compare article:last-child span{color:var(--teal)}.vas-vass-compare strong{margin-top:24px;font-size:27px;display:block}.vas-vass-compare p{color:var(--muted);margin-top:15px;font-size:17px}.inherited-bounds{grid-template-columns:1fr 1fr;gap:24px 48px;margin-top:28px;display:grid}.inherited-bounds>div{border-top:2px solid var(--line);padding-top:10px}.inherited-bounds span{color:var(--muted);letter-spacing:.09em;font-size:12px;font-weight:800;display:block}.inherited-bounds strong{margin-top:8px;font-size:20px;display:block}.inherited-bounds>p{color:var(--muted);grid-column:1/-1;font-size:15px}.reaction-layout{grid-template-columns:.88fr 1.12fr;gap:76px;margin-top:44px;display:grid}.reaction-system,.reaction-example{border-top:5px solid var(--blue);min-height:430px;padding-top:17px}.reaction-example{border-color:var(--teal)}.reaction-system>span,.reaction-example>span,.control-meaning>span{color:var(--blue);letter-spacing:.1em;font-size:13px;font-weight:800}.reaction-example>span{color:var(--teal)}.reaction-system>strong{margin-top:25px;font-size:22px;display:block}.reaction-system>div{border-top:1px solid var(--line);grid-template-columns:60px 1fr 170px;align-items:center;min-height:95px;display:grid}.reaction-system>div>b{color:var(--blue);font-size:20px}.reaction-system>div>p{font-size:19px}.reaction-system>div>em{color:var(--muted);font-size:18px;font-style:normal}.reaction-run{text-align:center;grid-template-columns:1fr 120px 1fr 120px 1fr;align-items:center;margin-top:55px;display:grid}.reaction-run b{border:3px solid var(--teal);place-items:center;min-height:74px;font-size:19px;display:grid}.reaction-run i{color:var(--muted);font-size:18px;font-style:normal}.reaction-example>p{color:var(--muted);margin-top:48px;font-size:18px}.model-classification{border-top:2px solid var(--teal);color:var(--teal);margin-top:40px;padding-top:15px;font-size:21px;display:block}.finite-control-layout{grid-template-columns:.45fr .55fr;gap:70px;margin-top:44px;display:grid}.control-meaning,.reaction-control{border-top:5px solid var(--blue);min-height:445px;padding-top:18px}.reaction-control{border-color:var(--teal)}.control-meaning>strong{margin-top:32px;font-size:38px;display:block}.control-meaning>p{color:var(--muted);margin-top:27px;font-size:18px}.control-meaning>p>b{color:var(--ink)}.control-path{text-align:center;grid-template-columns:1fr 150px 1fr 150px 1fr;align-items:center;min-height:130px;display:grid}.control-path+.control-path{border-top:1px solid var(--line)}.control-path>span{border:3px solid var(--teal);place-items:center;min-height:66px;padding:0 8px;font-size:18px;display:grid}.control-path>i{color:var(--muted);font-size:17px;font-style:normal}.separate-state-warning{border-top:3px solid var(--warm);margin-top:26px;padding-top:13px}.separate-state-warning b{color:var(--warm);font-size:16px}.separate-state-warning span{color:var(--muted);margin-top:7px;font-size:16px;line-height:1.35;display:block}.sequential-note{width:1120px;color:var(--muted);text-align:center;font-size:16px;margin:24px auto 0!important}.dependency-note{color:var(--muted);font-size:16px;margin-top:24px!important}.dependency-note b{color:var(--blue)}.closing-minimal .closing-statement{width:980px;color:var(--ink);margin-top:34px;font-size:27px;line-height:1.35}.closing-minimal .closing-statement+p{margin-top:28px}.closing-minimal .closing-statement+p+div{margin-top:62px}.polyc-motivation{grid-template-columns:1fr 1fr;gap:80px;margin-top:36px;display:grid}.polyc-motivation article{border-top:5px solid var(--blue);min-height:315px;padding-top:17px}.polyc-motivation article:last-child{border-color:var(--teal)}.polyc-motivation article>span,.polyc-kicker{color:var(--blue);letter-spacing:.11em;font-size:13px;font-weight:800}.polyc-motivation article:last-child>span{color:var(--teal)}.polyc-flow{text-align:center;grid-template-rows:62px 24px 62px;align-items:center;margin-top:20px;display:grid}.polyc-flow b{background:var(--soft);place-items:center;height:62px;font-size:19px;display:grid}.polyc-flow i{color:#95a5b2;font-size:22px;font-style:normal}.polyc-motivation ul{color:var(--muted);margin:20px 0 0 27px;font-size:18px}.polyc-motivation li{margin:11px 0;padding-left:7px}.polyc-icc{align-items:baseline;gap:24px;margin-top:13px;display:flex}.polyc-icc>span{color:var(--teal);letter-spacing:.1em;flex:none;font-size:13px;font-weight:800}.polyc-icc p{color:var(--muted);font-size:18px}.polyc-question{border-top:2px solid var(--line);white-space:nowrap;align-items:baseline;gap:13px;min-height:48px;padding-top:13px;display:flex;position:absolute;bottom:46px;left:74px;right:74px}.polyc-question>span{color:var(--blue);letter-spacing:.1em;font-size:13px;font-weight:800}.polyc-question>i{color:var(--muted);font-size:19px;font-style:normal}.polyc-question>strong{font-size:22px}.polyc-size-definition{color:var(--muted);text-align:center;margin-top:16px;font-size:17px}.polyc-failures{grid-template-columns:repeat(3,1fr);gap:32px;margin-top:22px;display:grid}.polyc-failures article{border-top:5px solid var(--blue);grid-template-rows:24px 150px 60px 142px 76px;row-gap:11px;min-width:0;padding-top:15px;display:grid}.polyc-failures article:nth-child(2){border-color:var(--warm)}.polyc-failures article:nth-child(3){border-color:var(--teal)}.polyc-failures h3{letter-spacing:.08em;font-size:14px}.polyc-failures pre{box-sizing:border-box;background:var(--ink);width:100%;height:150px;box-shadow:none;margin:0;padding:17px 20px;font-size:15px;line-height:1.34}.polyc-failures pre code{background:0 0;max-height:none;padding:0}.failure-explanation{color:var(--muted);font-size:17px;line-height:1.35}.failure-effect,.failure-restriction{min-width:0}.failure-effect>b,.failure-restriction>b{color:var(--blue);font-size:15px;display:block}.polyc-failures article:nth-child(2) .failure-effect>b,.polyc-failures article:nth-child(2) .failure-restriction>b{color:var(--warm)}.polyc-failures article:nth-child(3) .failure-effect>b,.polyc-failures article:nth-child(3) .failure-restriction>b{color:var(--teal)}.failure-effect p,.failure-restriction p{color:var(--muted);margin-top:6px;font-size:16px;line-height:1.32}.failure-math{text-align:center;margin-top:5px;font-size:18px}.failure-math.compact{font-size:16px}.failure-flow{color:var(--muted);grid-template-columns:auto 18px auto 18px 1fr;align-items:center;gap:4px;margin-top:8px;font-size:14px;line-height:1.2;display:grid}.failure-flow i{color:var(--teal);font-style:normal}.polyc-slide-5>.slide-lead{white-space:nowrap;width:1452px;font-size:21px}.polyc-slide-5 .polyc-discipline{grid-template-columns:.48fr .52fr;gap:54px;margin-top:30px;display:grid}.polyc-slide-5 .polyc-type-side,.polyc-slide-5 .polyc-code-side{border-top:5px solid var(--blue);flex-direction:column;padding-top:17px;display:flex}.polyc-slide-5 .polyc-code-side{border-color:var(--teal)}.polyc-slide-5 .polyc-code-side>.polyc-kicker{color:var(--teal)}.polyc-slide-5 .polyc-type-list{gap:11px;margin:17px 0 0;padding-left:24px;list-style:outside;display:grid}.polyc-slide-5 .polyc-type-list li{color:var(--muted);font-size:16px;line-height:1.35}.polyc-slide-5 .polyc-type-list li::marker{color:var(--blue)}.polyc-slide-5 .polyc-type-list code{color:var(--ink);font-size:18px;font-weight:800}.polyc-slide-5 .polyc-iterable-definition{color:var(--ink);margin-top:14px;font-size:17px;line-height:1.35}.polyc-slide-5 .polyc-static-note{border-left:3px solid var(--teal);color:var(--muted);margin-top:12px;padding-left:13px;font-size:15px;line-height:1.32}.polyc-slide-5 .polyc-static-note b{color:var(--teal);font-size:16px;display:block}.polyc-slide-5 .polyc-static-note p{margin-top:3px}.polyc-slide-5 .polyc-restrictions{border-top:1px solid var(--line);margin-top:15px;padding-top:14px}.polyc-slide-5 .polyc-restriction-list{gap:14px;margin-top:13px;display:grid}.polyc-slide-5 .polyc-restriction-list>div{grid-template-columns:32px 1fr;align-items:start;gap:11px;display:grid}.polyc-slide-5 .polyc-restriction-list>div>span{color:var(--blue);letter-spacing:.06em;font-size:13px;font-weight:800}.polyc-slide-5 .polyc-restriction-list b{font-size:17px;display:block}.polyc-slide-5 .polyc-restriction-list p{color:var(--muted);margin-top:3px;font-size:15px;line-height:1.3}.polyc-slide-5 .polyc-code-side pre{background:var(--ink);width:100%;box-shadow:none;margin-top:19px;padding:20px 24px;font-size:18px;line-height:1.25}.polyc-slide-5 .polyc-code-side pre code{background:0 0;max-height:none;padding:0}.polyc-slide-5 .polyc-code-notes{gap:8px;margin-top:15px;display:grid}.polyc-slide-5 .polyc-code-notes p{color:var(--muted);font-size:16px;line-height:1.32}.polyc-slide-5 .polyc-code-notes b,.polyc-slide-5 .polyc-code-notes code{color:var(--ink);font-weight:750}.polyc-slide-5 .polyc-main-result,.polyc-slide-5 .polyc-design-tradeoff{box-sizing:border-box;height:118px}.polyc-slide-5 .polyc-main-result{border-top:1px solid var(--line);margin-top:auto;padding-top:12px}.polyc-slide-5 .polyc-main-result>span{color:var(--blue);letter-spacing:.12em;font-size:13px;font-weight:800}.polyc-slide-5 .polyc-main-result>div{text-align:center;margin-top:2px;font-size:30px}.polyc-slide-5 .polyc-main-result .katex-display{margin:.08em 0 .06em}.polyc-slide-5 .polyc-main-result>p{color:var(--muted);font-size:15px;line-height:1.3}.polyc-slide-5 .polyc-design-tradeoff{border-top:1px solid var(--line);margin-top:auto;padding-top:12px}.polyc-slide-5 .polyc-design-tradeoff>span{color:var(--teal);letter-spacing:.12em;font-size:13px;font-weight:800}.polyc-slide-5 .polyc-design-tradeoff p{color:var(--muted);margin-top:6px;font-size:16px;line-height:1.32}.polyc-slide-5 .polyc-design-tradeoff p+p{margin-top:8px}.polyc-slide-5 .polyc-design-tradeoff b,.polyc-slide-5 .polyc-design-tradeoff code{color:var(--ink);font-weight:750}.polyc-main-theorem{text-align:center;margin-top:18px}.polyc-main-theorem>span{color:var(--blue);letter-spacing:.12em;font-size:13px;font-weight:800}.polyc-main-equality{margin-top:3px;font-size:42px}.polyc-main-equality .katex-display{margin:.16em 0 .1em}.polyc-main-theorem>p{color:var(--muted);font-size:18px}.polyc-branch{width:710px;height:36px;margin:7px auto 0;position:relative}.polyc-branch:before{content:"";border-left:1px solid #9bb0bd;height:17px;position:absolute;top:0;left:50%}.polyc-branch:after{content:"";border-top:1px solid #9bb0bd;position:absolute;top:17px;left:0;right:0}.polyc-branch i:before,.polyc-branch i:after{content:"";border-left:1px solid #9bb0bd;height:19px;position:absolute;top:17px}.polyc-branch i:before{left:0}.polyc-branch i:after{right:0}.polyc-proof-grid{grid-template-columns:1fr 1fr;gap:90px;margin-top:0;display:grid}.polyc-proof-grid article{border-top:5px solid var(--blue);text-align:center;min-height:310px;padding-top:14px}.polyc-proof-grid article:last-child{border-color:var(--teal)}.polyc-proof-grid article>span{color:var(--blue);letter-spacing:.11em;font-size:13px;font-weight:800}.polyc-proof-grid article:last-child>span{color:var(--teal)}.polyc-inclusion{margin-top:3px;font-size:28px}.polyc-inclusion .katex-display{margin:.16em 0 .2em}.polyc-proof-chain{color:var(--ink);gap:6px;margin-top:8px;font-size:18px;display:grid}.polyc-proof-chain i{color:var(--blue);font-style:normal}.polyc-proof-grid article:last-child .polyc-proof-chain i{color:var(--teal)}.polyc-proof-grid small{color:var(--muted);margin-top:11px;font-size:15px;display:block}.prob-slide-6 .slide-lead,.prob-slide-7 .slide-lead,.prob-slide-8 .slide-lead,.prob-slide-9 .slide-lead,.prob-slide-10 .slide-lead,.prob-slide-11 .slide-lead,.prob-slide-12 .slide-lead{max-width:1420px}.prob-testing-experiment .slide-lead{letter-spacing:-.006em;white-space:nowrap;max-width:none;font-size:22px;margin-top:11px!important}.prob-equivalence-motivation{margin-top:18px}.prob-equivalence-motivation>span,.prob-structural-heading>span,.prob-bisim-verdict-grid>article>span,.prob-bisim-next>span,.prob-testing-next>span,.prob-formal-label{color:var(--blue);letter-spacing:.11em;font-size:13px;font-weight:800}.prob-equivalence-motivation ul{gap:3px;margin:8px 0 0;padding-left:22px;list-style:outside;display:grid}.prob-equivalence-motivation li{color:var(--muted);text-align:left;padding-left:3px;font-size:17px;line-height:1.28}.prob-equivalence-motivation li::marker{color:var(--blue)}.prob-equivalence-motivation>small{color:var(--muted);text-align:right;margin-top:10px;font-size:14px;display:block}.prob-structural-heading{margin-top:11px}.prob-shared-example{text-align:center;margin-top:5px}.prob-shared-trace{width:620px;margin:0 auto}.prob-shared-trace>div{grid-template-columns:52px 168px 52px 168px 52px;justify-content:center;align-items:center;height:53px;display:grid}.prob-shared-trace b{border:2px solid var(--ink);border-radius:50%;place-items:center;width:45px;height:45px;font-size:18px;display:grid}.prob-shared-trace i{border-top:3px solid var(--blue);height:1px;font-style:normal;position:relative}.prob-shared-trace i:after{content:"▶";color:var(--blue);font-size:15px;position:absolute;top:-10px;right:-3px}.prob-shared-trace i em{color:var(--ink);font-size:16px;font-style:normal;position:absolute;top:-25px;left:50%;transform:translate(-50%)}.prob-shared-trace>div:nth-child(2) b:first-child{grid-column:1}.prob-shared-trace i.direct{border-color:var(--teal);grid-column:2/5}.prob-shared-trace i.direct:after{color:var(--teal)}.prob-shared-trace>div:nth-child(2) b:last-child{grid-column:5}.prob-shared-example>p{color:var(--muted);justify-content:center;gap:48px;margin-top:3px;font-size:17px;display:flex}.prob-shared-example>p b{color:var(--ink)}.prob-bisim-verdict-grid{grid-template-columns:1fr 1fr;gap:64px;margin-top:10px;display:grid}.prob-bisim-verdict-grid>article{border-top:5px solid var(--blue);grid-template-rows:20px 43px 43px 38px 19px 23px;padding-top:10px;display:grid}.prob-bisim-verdict-grid>article:last-child{border-color:var(--teal)}.prob-bisim-verdict-grid>article:last-child>span{color:var(--teal)}.prob-bisim-verdict-grid>article>p{color:var(--muted);margin:0;font-size:16px;line-height:1.28}.prob-bisim-verdict{color:var(--ink);text-align:center;align-self:center;font-size:25px;line-height:1}.prob-bisim-verdict .katex-display{margin:0}.prob-bisim-verdict-grid small{color:var(--muted);text-align:center;align-self:start;font-size:14px}.prob-bisim-verdict-grid>article>strong{color:var(--ink);align-self:start;font-size:17px}.prob-bisim-next{border-top:2px solid var(--teal);white-space:nowrap;align-items:baseline;gap:18px;margin-top:11px;padding-top:10px;display:flex}.prob-bisim-next>span{color:var(--teal);flex:none}.prob-bisim-next>strong{font-size:19px}.prob-io-flow{border-top:1px solid var(--line);border-bottom:1px solid var(--line);min-height:54px;color:var(--ink);text-align:center;grid-template-columns:1fr 46px 1fr 46px 1.15fr 46px 1.55fr;align-items:center;margin-top:30px;font-size:18px;font-weight:700;display:grid}.prob-io-flow i{color:var(--blue);font-size:25px;font-style:normal}.prob-test-intro{grid-template-columns:.82fr 1.18fr;gap:58px;margin-top:28px;display:grid}.prob-test-intro>article{border-top:5px solid var(--blue);min-height:312px;padding-top:17px}.prob-test-intro>article:last-child{border-color:var(--teal)}.prob-io-examples>span,.prob-testing-notions b,.prob-classification>span,.prob-choice-comparison>article>span,.prob-linearity-grid>article>span,.prob-outcome-progression>article>span{color:var(--blue);letter-spacing:.11em;font-size:13px;font-weight:800}.prob-io-examples>small{color:var(--muted);margin-top:6px;font-size:14px;display:block}.prob-io-examples>div{border-bottom:1px solid var(--line);grid-template-columns:1fr 1.25fr 1.25fr 34px;align-items:center;min-height:61px;font-size:16px;display:grid}.prob-io-examples>small+div{margin-top:17px}.prob-io-examples i{color:var(--muted);font-style:normal}.prob-io-examples strong{color:var(--teal);font-size:22px}.prob-io-examples .failed strong{color:var(--warm)}.prob-formal-label{color:var(--teal);display:block}.prob-interactive-test>p{color:var(--muted);margin-top:6px;font-size:17px;line-height:1.35}.prob-interaction-diagram{text-align:center;grid-template-rows:94px 25px 65px;grid-template-columns:1fr 54px 1fr;align-items:start;margin-top:20px;display:grid}.prob-interaction-diagram>div:not(.prob-success-concept){min-width:0}.prob-interaction-diagram>div>b{border:2px solid var(--ink);padding:13px 10px;font-size:17px;display:block}.prob-interaction-diagram small{color:var(--muted);margin-top:7px;font-size:14px;line-height:1.25;display:block}.prob-interaction-diagram>i{color:var(--blue);align-self:start;margin-top:12px;font-size:29px;font-style:normal}.prob-interaction-diagram>span{color:var(--teal);grid-column:1/4;font-size:22px}.prob-interaction-diagram .prob-success-concept{grid-column:1/4}.prob-interaction-diagram strong{color:var(--teal);font-size:19px;display:block}.prob-testing-equivalence{text-align:center;margin-top:24px;padding-top:12px;font-size:19px;font-weight:700}.prob-testing-next{justify-content:center;align-items:baseline;gap:16px;margin-top:12px;display:flex}.prob-testing-next>span{color:var(--teal)}.prob-testing-next>strong{font-size:18px}.deck-slide-indicator{color:#8c99a5;font:12px var(--sans);line-height:1;position:absolute;bottom:18px;right:24px}.title-slide .deck-slide-indicator{display:none}.reveal:has(.talk-slide.present) .slide-number:not(.slide-number-pdf){display:none!important}@media print{.pdf-page:has(.talk-slide) .slide-number-pdf{display:none!important}}.prob-nondet-sources{color:var(--muted);letter-spacing:.025em;margin-top:7px;font-size:15px}.prob-pass-test{border-top:1px solid var(--line);grid-template-columns:.95fr 1.45fr;align-items:baseline;gap:32px;margin-top:14px;padding-top:9px;display:grid}.prob-pass-test>div{align-items:baseline;gap:13px;display:flex}.prob-pass-test b,.prob-pass-criteria b,.prob-pass-distinction>span{color:var(--blue);letter-spacing:.1em;font-size:12px;font-weight:800}.prob-pass-test span{color:var(--ink);font-size:17px}.prob-pass-test>p{color:var(--muted);text-align:right;white-space:nowrap;font-size:15px}.prob-pass-test i{color:var(--line);margin:0 8px;font-style:normal}.prob-pass-criteria{grid-template-columns:repeat(3,1fr);gap:32px;margin-top:15px;display:grid}.prob-pass-criteria article{border-top:3px solid var(--blue);min-height:58px;padding-top:8px}.prob-pass-criteria article:last-child{border-color:var(--teal)}.prob-pass-criteria article:last-child b{color:var(--teal)}.prob-pass-criteria p{color:var(--muted);margin-top:5px;font-size:16px;line-height:1.28}.prob-pass-processes{grid-template-columns:repeat(4,1fr);gap:24px;margin-top:16px;display:grid}.prob-pass-processes article{text-align:center;grid-template-rows:225px 50px 28px;min-width:0;display:grid}.prob-pass-diagram{box-sizing:border-box;width:100%;height:225px;position:relative}.prob-pass-diagram img{object-fit:contain;object-position:center;max-width:none;max-height:none;display:block;position:absolute;inset:6px 12px;width:calc(100% - 24px)!important;height:calc(100% - 12px)!important}.prob-pass-processes article>p{max-width:280px;color:var(--muted);align-self:start;margin:5px auto 0;font-size:15px;line-height:1.3}.prob-pass-outcome{border-top:1px solid var(--line);color:var(--ink);white-space:nowrap;grid-template-columns:repeat(3,1fr);align-self:end;padding-top:7px;font-size:14px;display:grid}.prob-pass-outcome span{text-align:center}.prob-pass-outcome b{color:var(--teal);margin-left:3px;font-size:16px}.prob-pass-distinction{border-top:2px solid var(--teal);grid-template-columns:165px 1fr;align-items:baseline;margin-top:17px;padding-top:10px;display:grid}.prob-pass-distinction>span{color:var(--teal);grid-row:1/3}.prob-pass-distinction>p{color:var(--ink);font-size:16px;font-weight:700;line-height:1.3}.prob-pass-distinction>small{color:var(--muted);margin-top:5px;font-size:14px;line-height:1.3}.prob-section-transition{color:var(--muted);text-align:center;margin-top:12px;font-size:15px;font-weight:650}.prob-slide-9 .slide-lead{max-width:1420px;font-size:20px;line-height:1.25}.prob-choice-notation{color:var(--muted);margin-top:7px;font-size:14px}.prob-choice-comparison{grid-template-columns:1fr 1fr;gap:64px;margin-top:14px;display:grid}.prob-choice-comparison>article{border-top:5px solid var(--blue);grid-template-rows:20px 22px 154px 42px 42px 28px;padding-top:10px;display:grid}.prob-choice-comparison>article:last-child{border-color:var(--teal)}.prob-choice-comparison>article:last-child>span{color:var(--teal)}.prob-choice-comparison>article>small{color:var(--muted);letter-spacing:.08em;font-size:12px;font-weight:750}.prob-choice-diagram{width:500px;height:146px;margin:0 auto;position:relative}.prob-choice-diagram>b{border:2px solid var(--ink);text-align:center;width:104px;padding:12px 7px;font-size:16px;position:absolute;top:50px;left:0}.prob-choice-diagram>i{border-top:3px solid var(--blue);transform-origin:0;width:128px;height:1px;font-style:normal;position:absolute;left:116px}.prob-choice-diagram>i:after{content:"▶";color:var(--blue);font-size:14px;position:absolute;top:-10px;right:-4px}.prob-choice-diagram>i.upper{top:63px;transform:rotate(-20deg)}.prob-choice-diagram>i.lower{top:82px;transform:rotate(20deg)}.prob-choice-diagram>i em{color:var(--ink);font-size:16px;font-style:normal;position:absolute;top:-27px;left:52%;transform:rotate(20deg)translate(-50%)}.prob-choice-diagram>i.lower em{top:7px;transform:rotate(-20deg)translate(-50%)}.prob-choice-diagram>p{border:1px solid var(--line);width:230px;color:var(--ink);text-align:center;padding:10px 8px;font-size:16px;position:absolute;right:0}.prob-choice-diagram>p.upper{top:7px}.prob-choice-diagram>p.lower{bottom:7px}.prob-choice-diagram.alternatives>i{border-color:var(--teal)}.prob-choice-diagram.alternatives>i:after{color:var(--teal)}.prob-choice-diagram.alternatives>em{width:28px;color:var(--muted);text-align:center;font-size:13px;font-style:normal;position:absolute;top:65px;left:252px}.prob-choice-claim{color:var(--ink);text-align:center;align-self:start;font-size:16px;font-weight:700;line-height:1.3}.prob-choice-detail{color:var(--muted);text-align:center;align-self:start;font-size:15px;line-height:1.3}.prob-choice-formula{color:var(--muted);text-align:center;align-self:start;font-size:17px}.prob-choice-core{border-top:2px solid var(--teal);grid-template-columns:170px 1fr;align-items:baseline;margin-top:7px;padding-top:8px;display:grid}.prob-choice-core>span,.prob-semantic-approaches>span,.prob-choice-next>span{color:var(--teal);letter-spacing:.1em;font-size:12px;font-weight:800}.prob-choice-core>p{font-size:17px;font-weight:700}.prob-semantic-approaches{border-top:2px solid var(--teal);margin-top:10px}.prob-semantic-approaches>div{grid-template-columns:1fr 1fr;gap:64px;margin-top:6px;display:grid}.prob-semantic-approaches article{border-top:1px solid var(--line);grid-template-rows:auto auto;grid-template-columns:150px 1fr;padding-top:7px;display:grid}.prob-semantic-approaches b{color:var(--blue);letter-spacing:.08em;grid-row:1/3;font-size:13px}.prob-semantic-approaches article:last-child b{color:var(--teal)}.prob-semantic-approaches p{color:var(--ink);font-size:14px;line-height:1.25}.prob-semantic-approaches small{color:var(--muted);margin-top:3px;font-size:13px;line-height:1.25}.prob-choice-next{border-top:1px solid var(--line);white-space:nowrap;align-items:baseline;gap:18px;margin-top:10px;padding-top:8px;display:flex}.prob-choice-next>strong{font-size:17px}.prob-slide-10 .slide-lead{white-space:nowrap;max-width:none;font-size:20px}.prob-ex3-rule{border-top:5px solid var(--teal);grid-template-columns:176px 1.15fr 1fr;align-items:center;gap:25px;min-height:68px;margin-top:17px;padding-top:9px;display:grid}.prob-ex3-rule>span,.prob-ex3-grid>article>span,.prob-ex3-limit>div:first-child>span,.prob-ex3-linearity-head>span{color:var(--teal);letter-spacing:.1em;font-size:12px;font-weight:800}.prob-ex3-rule-formulas{grid-template-columns:1fr 1.08fr;align-items:center;gap:15px;display:grid}.prob-ex3-rule-formulas>div{font-size:23px}.prob-ex3-rule-formulas>strong{font-size:29px;font-weight:700}.prob-ex3-rule p{color:var(--muted);font-size:15px;line-height:1.3}.prob-ex3-rule .katex-display,.prob-ex3-equations .katex-display,.prob-ex3-limit .katex-display{margin:.05em 0}.prob-ex3-grid{grid-template-columns:1fr 1fr;gap:50px;margin-top:13px;display:grid}.prob-ex3-grid>article{border-top:2px solid var(--line);min-height:236px;padding-top:8px}.prob-ex3-q1>span{color:var(--blue)!important}.prob-ex3-example-body{grid-template-columns:162px minmax(0,1fr);align-items:center;gap:17px;min-height:139px;margin-top:4px;display:grid}.prob-ex3-process-img{width:162px;height:134px;position:relative}.prob-ex3-process-img img{object-fit:contain;object-position:center;position:absolute;inset:2px;width:calc(100% - 4px)!important;max-width:none!important;height:calc(100% - 4px)!important;max-height:none!important}.prob-ex3-equations{text-align:center;min-width:0}.prob-ex3-equations>div:first-child{font-size:23px}.prob-ex3-equations>div:last-child{margin-top:7px;font-size:19px}.prob-ex3-q2 .prob-ex3-equations>div:last-child{font-size:17px}.prob-ex3-grid>article>p{min-height:38px;color:var(--ink);margin-top:5px;font-size:14px;line-height:1.28}.prob-ex3-evolution{border-top:2px solid var(--teal);margin-top:8px;padding-top:6px}.prob-ex3-stages{text-align:center;grid-template-columns:1fr 32px 1.45fr 32px 1fr;align-items:center;display:grid}.prob-ex3-stages article{border-top:1px solid var(--line);min-height:49px;padding-top:5px}.prob-ex3-stages b{color:var(--ink);font-size:14px}.prob-ex3-stages p{color:var(--ink);margin-top:2px;font-size:14px;font-weight:700}.prob-ex3-stages small{color:var(--muted);margin-top:1px;font-size:12px;display:block}.prob-ex3-stages>i{color:var(--teal);font-size:21px;font-style:normal}.prob-ex3-limit{border-top:1px solid var(--line);grid-template-columns:1.08fr 1fr;align-items:center;gap:44px;margin-top:7px;padding-top:6px;display:grid}.prob-ex3-limit>div:first-child{grid-template-columns:75px 1fr;align-items:center;display:grid}.prob-ex3-limit strong{font-size:24px}.prob-ex3-limit p{color:var(--ink);font-size:14px;line-height:1.25}.prob-ex3-limit small{color:var(--muted);margin-top:3px;font-size:12px;line-height:1.23;display:block}.prob-ex3-limit small b{color:var(--teal)}.prob-ex3-linearity{border-top:2px solid var(--teal);margin-top:7px;padding-top:6px}.prob-ex3-linearity-head{grid-template-columns:112px 1fr;align-items:baseline;display:grid}.prob-ex3-linearity-head>small{color:var(--muted);font-size:12px}.prob-ex3-linearity-grid{grid-template-columns:1fr 1fr;gap:46px;margin-top:4px;display:grid}.prob-ex3-linearity-grid>article{border-top:1px solid var(--line);grid-template-rows:24px 16px 27px 18px;grid-template-columns:116px 1fr;align-items:center;padding-top:3px;display:grid}.prob-ex3-linearity-grid b{color:var(--blue);letter-spacing:.08em;grid-row:1/5;font-size:12px}.prob-ex3-linearity-grid>article:last-child b{color:var(--teal)}.prob-ex3-linearity-grid>article>div{text-align:center;font-size:18px}.prob-ex3-linearity-grid>article>div.result{font-size:17px}.prob-ex3-linearity-grid>article:last-child>div.result{font-size:16px}.prob-ex3-linearity-grid .katex-display{margin:.03em 0}.prob-ex3-linearity-grid i{color:var(--muted);text-align:center;font-size:11px;font-style:normal}.prob-ex3-linearity-grid p{color:var(--muted);text-align:center;font-size:12px;line-height:1.2}.prob-outcome-setup{border-top:5px solid var(--blue);grid-template-columns:205px 1fr;align-items:center;margin-top:19px;padding-top:10px;display:grid}.prob-outcome-setup>span,.prob-outcome-definition>span,.prob-convex-outcome>span,.prob-characteristics-grid>article>span,.prob-view-grid>article>span,.prob-main-characterization>span,.prob-congruence-result>span{color:var(--blue);letter-spacing:.11em;font-size:13px;font-weight:800}.prob-outcome-setup p{font-size:17px}.prob-outcome-setup small{color:var(--muted);margin-top:4px;font-size:15px;display:block}.prob-outcome-definition{border-top:1px solid var(--line);grid-template-rows:auto auto;grid-template-columns:205px 1fr;align-items:center;margin-top:14px;padding-top:8px;display:grid}.prob-outcome-definition>span{grid-row:1/3}.prob-outcome-formula{text-align:center;font-size:34px}.prob-outcome-formula .katex-display,.prob-characteristics-grid .katex-display,.prob-main-characterization .katex-display{margin:.07em 0}.prob-outcome-notation{border-top:1px solid var(--line);grid-template-columns:1fr 1fr 1.15fr;gap:28px;margin-top:7px;padding-top:7px;display:grid}.prob-outcome-notation p{color:var(--ink);text-align:center;font-size:17px;font-weight:700}.prob-outcome-notation small{color:var(--muted);margin-top:2px;font-size:13px;font-weight:400;display:block}.prob-convex-outcome{border-top:2px solid var(--teal);grid-template-columns:205px 1.05fr 1fr;align-items:center;gap:32px;margin-top:14px;padding-top:9px;display:grid}.prob-convex-outcome>span{color:var(--teal)}.prob-outcome-axis-wrap>div:first-child{text-align:center;font-size:23px}.prob-outcome-axis-wrap .katex-display{margin:.04em 0}.prob-outcome-axis{height:62px;margin:2px 22px 0;position:relative}.prob-outcome-axis i{background:linear-gradient(to right, var(--blue) 0 50%, var(--line) 50% 100%);height:5px;position:absolute;top:18px;left:3%;right:3%}.prob-outcome-axis b,.prob-outcome-axis em{border:4px solid var(--blue);box-sizing:border-box;background:#fff;border-radius:50%;width:23px;height:23px;position:absolute;top:9px}.prob-outcome-axis b{background:var(--blue);left:3%;transform:translate(-50%)}.prob-outcome-axis em{left:50%;transform:translate(-50%)}.prob-outcome-axis>span{color:var(--ink);font-size:14px;position:absolute;top:36px}.prob-outcome-axis>span:first-of-type{left:3%;transform:translate(-50%)}.prob-outcome-axis>span:nth-of-type(2){left:50%;transform:translate(-50%)}.prob-outcome-axis>small{color:var(--muted);font-size:12px;position:absolute;top:37px;right:3%}.prob-convex-outcome>div:last-child p{color:var(--ink);font-size:15px;line-height:1.32}.prob-convex-outcome>div:last-child strong{color:var(--teal);margin-top:7px;font-size:15px;line-height:1.3;display:block}.prob-characteristics-grid{grid-template-columns:1fr 1fr;gap:58px;margin-top:15px;display:grid}.prob-characteristics-grid>article{border-top:5px solid var(--blue);text-align:center;min-height:157px;padding-top:10px}.prob-characteristics-grid>article:last-child{border-color:var(--teal)}.prob-characteristics-grid>article:last-child>span{color:var(--teal)}.prob-characteristics-grid>article>div{margin-top:11px;font-size:31px}.prob-characteristics-grid>article>p{color:var(--muted);margin-top:9px;font-size:16px}.prob-view-grid{grid-template-columns:1fr 105px 1fr;align-items:stretch;gap:30px;margin-top:25px;display:grid}.prob-view-grid>article{border-top:5px solid var(--blue);text-align:center;min-height:280px;padding-top:12px}.prob-view-grid>article:last-child{border-color:var(--teal)}.prob-view-grid>article:last-child>span{color:var(--teal)}.prob-view-flow{grid-template-rows:repeat(7,27px);align-items:center;margin-top:14px;display:grid}.prob-view-flow b{color:var(--ink);font-size:17px;font-weight:650}.prob-view-flow i{color:var(--blue);font-size:21px;font-style:normal}.prob-view-grid>article:last-child .prob-view-flow i{color:var(--teal)}.prob-view-flow strong{color:var(--ink);font-size:18px}.prob-view-bridge{color:var(--teal);flex-direction:column;justify-content:center;align-items:center;display:flex}.prob-view-bridge strong{font-size:38px}.prob-view-bridge small{color:var(--muted);text-align:center;letter-spacing:.08em;margin-top:5px;font-size:11px;font-weight:800}.prob-main-characterization{border-top:2px solid var(--teal);grid-template-rows:auto auto auto;grid-template-columns:220px 1fr;align-items:center;column-gap:30px;margin-top:15px;padding-top:10px;display:grid}.prob-main-characterization>span{color:var(--teal);grid-row:1/4}.prob-main-characterization>p{font-size:20px;font-weight:750;line-height:1.3}.prob-main-characterization>div{text-align:center;margin-top:3px;font-size:31px}.prob-congruence-result{border-top:1px solid var(--line);grid-template-columns:220px 1fr;align-items:baseline;margin-top:13px;padding-top:9px;display:grid}.prob-congruence-result>span{color:var(--teal)}.prob-congruence-result>p{color:var(--muted);font-size:16px}@media print{.reveal .slides section.talk-slide{box-shadow:none}.reveal .controls,.reveal .progress{display:none!important}.slide-source{color:#657384}}