#demo{width:100%;padding-top:.5em;font-size:2.5rem;position:absolute;top:0;left:0}#demo>table{margin:0 auto}.var-f{color:var(--red)}.var-g{color:var(--blue)}.var-h{color:var(--green)}#demo>svg{width:100%;margin:.5em auto 0;display:block}#svg-triangle,#svg-circle,#svg-square{fill:none;opacity:.5}#svg-circle{stroke:var(--blue)}#svg-square{stroke:var(--green)}#svg-path{fill:none;stroke:var(--purple)}#svg-triangle{stroke:hsl(from var(--red) h s calc(l + (100 - l) * .2))}
#equiv-slide>aside{margin:1em auto}
#intro-slide{padding:0 1em}#intro-slide>aside{width:calc(.8 * var(--lv-width));margin-top:2em}
#proof-steps{width:50%;font-size:2rem}#proof-steps>li{padding:.5em 0;list-style-type:none;position:relative}.li-marker{font-family:KaTeX_Main,serif;position:absolute;left:-2em}.I-explain{color:var(--green);width:20rem;position:absolute;top:0;left:110%;text-align:center!important}.I-explain>*{text-align:center}#trans-image{width:18rem;margin:0 auto;display:block}#trans-image path{fill:#1a69b506;stroke:var(--green)}#trans-image line{stroke:var(--blue)!important}
span[data-from-first=star\/lines]>.katex-display{margin:.2em 0 0}#star-proof>.content{text-align:center}#star-input{text-align:center;width:100%;margin-left:2ch;position:absolute;top:36%}#star-input>input{margin:0 1em}#star-input>span:last-child{text-align:right;width:4ch;font-family:monospace;display:inline-block}#star-slide>svg{height:23rem;margin:1.8rem auto 0;display:block}#star-slide>svg>path{stroke:var(--pink);fill:rgba(from var(--pink) r g b / 5%)}#star-slide>svg>circle{fill:var(--purple);stroke:none}#star-slide>svg>#star-center{fill:var(--pink)}#star-slide>svg>line{stroke:var(--purple);stroke-dasharray:2 1;stroke-width:.5px}#star-straight{color:var(--green)}
h1{font-size:5em;position:absolute;top:10%}.lv-canvas h3{color:var(--wine);vertical-align:middle;font-size:6em;top:5%}.katex-display{margin:.5em 0!important}.lv-canvas>section{width:100%;height:100%;font-size:2rem;position:absolute}:is(#demo,#star-slide,#sphere-slide) input[type=range]{font-size:revert;appearance:none;background:0 0;width:20rem}:is(#demo,#star-slide,#sphere-slide) input[type=range]::-webkit-slider-thumb{appearance:none;background:var(--purple);cursor:pointer;vertical-align:middle;border:1px solid #000;border-radius:1em;width:1.1em;height:1.1em;margin-top:-.5em;line-height:1.5em;box-shadow:1px 1px 1px #000,0 0 1px #0d0d0d}:is(#demo,#star-slide,#sphere-slide) input[type=range]::-moz-range-thumb{appearance:none;background:var(--purple);cursor:pointer;vertical-align:middle;border:1px solid #000;border-radius:1em;width:1.1em;height:1.1em;margin-top:-.5em;line-height:1.5em;box-shadow:1px 1px 1px #000,0 0 1px #0d0d0d}:is(#demo,#star-slide,#sphere-slide) input[type=range]::-ms-thumb{appearance:none;background:var(--purple);cursor:pointer;vertical-align:middle;border:1px solid #000;border-radius:1em;width:1.1em;height:1.1em;margin-top:-.5em;line-height:1.5em;box-shadow:1px 1px 1px #000,0 0 1px #0d0d0d}:is(#demo,#star-slide,#sphere-slide) input[type=range]::-webkit-slider-runnable-track{cursor:pointer;background:hsl(from var(--purple) h s calc(l + (100 - l) * .5));vertical-align:middle;border:1px solid #000;border-radius:1.3px;height:2px;margin:auto 4px;line-height:1.5em}:is(#demo,#star-slide,#sphere-slide) input[type=range]::-moz-range-track{cursor:pointer;background:hsl(from var(--purple) h s calc(l + (100 - l) * .5));vertical-align:middle;border:1px solid #000;border-radius:1.3px;height:2px;margin:auto 4px;line-height:1.5em}:is(#demo,#star-slide,#sphere-slide) input[type=range]::-ms-track{cursor:pointer;background:hsl(from var(--purple) h s calc(l + (100 - l) * .5));vertical-align:middle;border:1px solid #000;border-radius:1.3px;height:2px;margin:auto 4px;line-height:1.5em}