:root{--mjx-text-font-size:16px;--mjx-font-size:15px;--focus:rgba(189,136,87,.87);--focus-green:rgba(76,130,94,.78);--focus-blue:rgba(71,86,125,.79);--focus-bluesky:rgba(112,153,193,.79);--focus-purple:rgba(121,70,139,.7);--focus-red:rgba(176,85,85,.89);--focus-gold:rgba(180,141,42,.89);--focus-result:hsla(0,2%,71%,.69);--focus-statement-aside:rgba(141,151,168,.45);--focus-dark-orange:rgba(183,147,116,.76);--focus-dark-green:rgba(113,158,122,.76);--focus-dark-blue:rgba(105,111,157,.76);--focus-dark-bluesky:rgba(140,176,199,.76);--focus-dark-purple:rgba(135,119,152,.76);--focus-dark-red:rgba(183,112,112,.76);--focus-dark-gold:rgba(169,154,84,.76);--focus-result-dark:#5e5d5d}@media screen{body.basic{--mjx-color:#373737;--mjx-text-color:var(--mjx-color)}body.dark{--mjx-color:#d4d2d2;--mjx-text-color:var(--mjx-color)}.home.demos{.topic-logo mjx-container{font-size:12px}h4 mjx-container{color:var(--blue-lighter)}}.dark.home.demos h3 mjx-container{color:var(--grey-lighter)}}.focus{border:3px ridge var(--focus);box-shadow:6px 3px 3px 0 var(--focus);width:fit-content;margin:10px auto 20px;overflow-x:hidden;padding:4px 20px;&:not(mjx-container){font-size:var(--paragraph-font-size)}&.green{border-color:var(--focus-green);box-shadow:6px 3px 3px 0 var(--focus-green)}&.blue{border-color:var(--focus-blue);box-shadow:6px 3px 3px 0 var(--focus-blue)}&.bluesky{border-color:var(--focus-bluesky);box-shadow:6px 3px 3px 0 var(--focus-bluesky)}&.purple{border-color:var(--focus-purple);box-shadow:6px 3px 3px 0 var(--focus-purple)}&.red{border-color:var(--focus-red);box-shadow:6px 3px 3px 0 var(--focus-red)}&.gold{border-color:var(--focus-gold);box-shadow:6px 3px 3px 0 var(--focus-gold)}&.result{margin-top:16px;box-shadow:unset!important}&.result,&.shadow{border-color:var(--focus-result)}&.shadow{box-shadow:6px 3px 3px 0 var(--grey-lightererer)}p{text-align:center;padding:6px 10px;mjx-container{margin:0}}li>p{padding-top:0;padding-bottom:0}ol{list-style:decimal}ol>li{overflow-x:auto}ol>li>div{border-bottom:unset!important;mjx-container{color:var(--paragraph-color)}}mjx-container{transform:translateX(0);overflow-y:hidden;overflow-x:auto}}p.focus{text-align:center;padding:16px 20px!important;mjx-container{margin:0}}.dark .focus{&.green{border-color:var(--focus-dark-green);box-shadow:6px 3px 3px 0 var(--focus-dark-green)}&.blue{border-color:var(--focus-dark-blue);box-shadow:6px 3px 3px 0 var(--focus-dark-blue)}&.bluesky{border-color:var(--focus-dark-bluesky);box-shadow:6px 3px 3px 0 var(--focus-dark-bluesky)}&.purple{border-color:var(--focus-dark-purple);box-shadow:6px 3px 3px 0 var(--focus-dark-purple)}&.red{border-color:var(--focus-dark-red);box-shadow:6px 3px 3px 0 var(--focus-dark-red)}&.gold{border-color:var(--focus-dark-gold);box-shadow:6px 3px 3px 0 var(--focus-dark-gold)}&.result,&.shadow{border-color:var(--focus-result-dark)}&.shadow{box-shadow:6px 3px 3px 0 var(--focus-result-dark)}}.aside .focus.statement{border-color:var(--focus-statement-aside);box-shadow:6px 3px 3px 0 var(--focus-statement-aside)}.dark .focus{border-color:var(--focus-dark-orange);box-shadow:6px 3px 3px 0 var(--focus-dark-orange);&.green{border-color:var(--focus-dark-green);box-shadow:6px 3px 3px 0 var(--focus-dark-green)}&.blue{border-color:var(--focus-dark-blue);box-shadow:6px 3px 3px 0 var(--focus-dark-blue)}&.bluesky{border-color:var(--focus-dark-bluesky);box-shadow:6px 3px 3px 0 var(--focus-dark-bluesky)}&.purple{border-color:var(--focus-dark-purple);box-shadow:6px 3px 3px 0 var(--focus-dark-purple)}&.red{border-color:var(--focus-dark-red);box-shadow:6px 3px 3px 0 var(--focus-dark-red)}&.gold{border-color:var(--focus-dark-gold);box-shadow:6px 3px 3px 0 var(--focus-dark-gold)}&.result,&.shadow{border-color:var(--focus-result-dark)}&.shadow{box-shadow:6px 3px 3px 0 var(--focus-result-dark)}}.ref-in-focus{text-align:left;display:flex;align-items:baseline;gap:0;flex-wrap:wrap;position:relative;left:1em;div{margin:0}>div:first-of-type{flex-basis:100%}}.flex-formulas{display:flex;flex-wrap:wrap;justify-content:space-evenly;align-self:stretch;gap:20px;align-items:center;>.focus{height:fit-content}&:has(>div>div){align-items:flex-start}&.sticky{justify-content:center;div:has(mjx-container){margin:0 10px}}}.double-brackets{display:flex;align-items:flex-start;justify-content:space-evenly;flex-direction:row;overflow-x:auto;&.sticky{gap:0;justify-content:center}}.brackets-right mjx-mtd{text-align:right!important}ol:has(mjx-container){text-align:left!important}.case mjx-container{color:var(--green-text)!important}td mjx-container[jax=CHTML][display=true]{position:relative;overflow-x:auto}.table-container.division mjx-container{text-align:right!important;overflow:hidden!important;max-width:unset!important;margin:1em 0!important;width:fit-content!important}.mjx-top div{position:relative;top:-40px}.mjx-bottom div{position:relative;top:40px}div:has(>mjx-container),p>mjx-container{font-family:unset!important;-webkit-text-stroke:unset!important}mjx-container{margin:1em auto;overflow-x:auto;overflow-y:hidden;font-size:var(--mjx-text-font-size)!important;color:var(--mjx-text-color)}mjx-container[jax=CHTML][display=true]{font-size:var(--mjx-font-size)!important;color:var(--mjx-color);margin:.8rem 0;padding-bottom:.25em;overflow-x:auto;scrollbar-color:#c2c2c2 transparent;scrollbar-width:thin;scroll-behavior:smooth;mjx-math{padding:2px!important;margin:2px!important}}.dark mjx-container[jax=CHTML][display=true]{scrollbar-color:#434343 transparent}.home.demos mjx-container{font-size:calc(var(--mjx-text-font-size)*.85)!important}.mjx-left mjx-container,.mjx-left mjx-container mjx-mtd{text-align:left}.mjx-big mjx-container{font-size:calc(var(--mjx-font-size)*1.2)}.text-align-right mjx-mtd{text-align:right!important}:is(h3,h4,h5,h6) mjx-container{color:var(--blue-text)}mjx-mo.mjx-n>mjx-c.mjx-c27FA{margin:0 3px!important}mjx-stretchy-h.mjx-cAF mjx-ext mjx-c:before{content:"\0305";font-size:160%!important;padding-top:.65em!important}mjx-mo.mjx-n:has(~mjx-mover>mjx-over)>mjx-c.mjx-c2B{margin-left:2px!important;margin-right:3px!important}mjx-mo.mjx-n:has(~mjx-mover>mjx-over)>mjx-c.mjx-c2212{margin-left:2px!important;margin-right:3px!important}mjx-mi.mjx-ds{margin-left:2px!important}mjx-msub{margin-right:0!important}mjx-c.mjx-cD7{margin:0 .1em;&:before{padding-left:0}}mjx-c.mjx-c2212,mjx-c.mjx-c2B{margin:0 1.4px}mjx-msup>mjx-mn.mjx-n{margin-left:2px}mjx-msup+mjx-mo.mjx-n>mjx-c.mjx-c2B{margin:0 2px}mjx-msup+mjx-mo.mjx-n>mjx-c.mjx-c2212{margin:0 3px}mjx-mo.mjx-n+mjx-msup>mjx-c.mjx-c2212,mjx-mo.mjx-n+mjx-msup>mjx-c.mjx-c2B,mjx-mo.mjx-n:has(+mjx-msup)>mjx-c.mjx-c2212{margin-right:2px}mjx-mtable,mjx-mtd,mjx-mtd:first-child,mjx-mtd:last-child{padding:0 1px}mjx-mtable mjx-c.mjx-c2212{margin:0 .5px}mjx-container[jax=CHTML][display=true] mjx-munderover>mjx-box>mjx-munder>mjx-row:nth-child(2)>mjx-under{padding-top:.4em!important}mjx-container[jax=CHTML][display=true] mjx-munderover>mjx-over{padding-bottom:.35em!important}mjx-munderover>mjx-over{padding-bottom:.5em!important}.mjx-c3B{margin-left:2px;margin-right:2px!important}mjx-c.mjx-c27F9{margin:0 3px}mjx-c.mjx-c2229,mjx-c.mjx-c3D,mjx-c.mjx-cF7{margin-left:2px!important;margin-right:2px!important}mjx-munder mjx-row mjx-c.mjx-c3D{margin:0!important}mjx-mo.mjx-n:has(>mjx-c.mjx-c3D)+mjx-mo.mjx-n>mjx-c.mjx-c2212,mjx-msup mjx-script mjx-c.mjx-c2212{margin:0;&:before{content:"\2013"}}mjx-c.mjx-c2032{padding-right:.2em!important}mjx-c.mjx-c2198{margin-left:2px!important}table.signs-table td mjx-mstyle .mjx-c2212,table.signs-table td mjx-mstyle .mjx-c2B{font-size:20px}.mjx-c2A7D,.mjx-c2A7E,.mjx-c3C,.mjx-c3E{margin:0 3px!important}mjx-munder{margin:0 2px!important}mjx-base mjx-under{padding-top:.7em!important}:not(mjx-texatom>mjx-mo.mjx-n>) mjx-c.mjx-c7C{margin-right:.1em}mjx-mo.mjx-n>mjx-c.mjx-c21{margin-left:1px}mjx-texatom:has(>mjx-mo>mjx-c.mjx-c7B)+mjx-mtable mjx-mtd{text-align:left}mjx-menclose>mjx-box{padding:unset}mjx-script:has([class^=mjx-c3]){padding-left:.05em}mjx-mo.mjx-sop>mjx-c.mjx-c28{position:relative;right:1px}mjx-texatom:has(+mjx-mrow>mjx-texatom+mjx-mfrac+mjx-texatom)>mjx-mo.mjx-sop>mjx-c.mjx-c28{position:relative;right:0}mjx-script>mjx-texatom>mjx-mfrac>mjx-frac>mjx-num>mjx-mrow{font-size:100%!important}mjx-mo.mjx-sop>mjx-c.mjx-c29{position:relative;left:1px}mjx-mrow:has(>mjx-texatom+mjx-mfrac+mjx-texatom)+mjx-texatom>mjx-mo.mjx-sop>mjx-c.mjx-c29{position:relative;left:0}mjx-mo.mjx-s3:has(+mjx-mrow>mjx-texatom[texclass=OPEN])>mjx-c.mjx-c28{position:relative;left:5.5px}mjx-mrow:has(>mjx-texatom[texclass=CLOSE])+mjx-mo.mjx-s3>mjx-c.mjx-c29{position:relative;right:5.5px}mjx-mo.mjx-n:has(+mjx-texatom>mjx-mo.mjx-n>mjx-c.mjx-c7C)>mjx-c.mjx-c7C{margin-left:0}mjx-mo.mjx-n:has(>mjx-c.mjx-c7C)+mjx-texatom>mjx-mo.mjx-n>mjx-c.mjx-c7C{margin-left:0;margin-right:.1em}mjx-texatom:has(+mjx-mo.mjx-n>mjx-c.mjx-c7C)>mjx-mo.mjx-n>mjx-c.mjx-c7C{margin-right:0}mjx-texatom:has(>mjx-mo.mjx-n>mjx-c.mjx-c7C)+mjx-mo.mjx-n>mjx-c.mjx-c7C{margin:0}:has(+*>mjx-mo.mjx-n>mjx-c.mjx-c7C)>mjx-mo.mjx-n>mjx-c.mjx-c7C{margin-right:0}:has(>mjx-mo.mjx-n>mjx-c.mjx-c7C)+*>mjx-mo.mjx-n>mjx-c.mjx-c7C{margin-left:0;margin-right:.1em}mjx-math.MJX-TEX:not([display=true]) mjx-frac,mjx-math.MJX-TEX:not([display=true]) mjx-mo.mjx-sop{font-size:120%}mjx-root{display:block!important;font-size:110%!important}mjx-container [size=ss]{font-size:70%!important}mjx-mo:has(>mjx-c.mjx-c7B)+mjx-mtable mjx-mtd,mjx-mo:has(>mjx-stretchy-v.mjx-c7B)+mjx-mtable mjx-mtd{text-align:left!important}mjx-mi.mjx-ds{margin-left:unset!important}mjx-msub:has(mjx-c.mjx-c44)+mjx-mo.mjx-n>mjx-c.mjx-c3D{margin-left:4px!important}mjx-mo.mjx-n:has(+mjx-msup mjx-c.mjx-c44)>mjx-c.mjx-c3D,mjx-mo.mjx-n:has(+mjx-msup mjx-c.mjx-c52)>mjx-c.mjx-c3D{margin-right:4px!important}mjx-msub:has(mjx-c.mjx-c6D) mjx-c.mjx-c2212,mjx-msub:has(mjx-c.mjx-c6D) mjx-c.mjx-c2B{margin:0!important}mjx-texatom>mjx-mo.mjx-sop>mjx-c.mjx-c5B{margin-right:2px}mjx-texatom>mjx-mo.mjx-sop>mjx-c.mjx-c5D{margin-left:2px}:not(mjx-munderover)~mjx-texatom:has(>mjx-mo.mjx-lop>mjx-c.mjx-c5B)~mjx-mn.mjx-n[space="3"]:has(~mjx-texatom:has(>mjx-mo.mjx-lop>mjx-c.mjx-c5B))>mjx-c.mjx-c2212{margin:0 1px;padding-right:.5em}:not(mjx-munderover)~mjx-texatom:has(>mjx-mo.mjx-lop>mjx-c.mjx-c5B)~mjx-mo.mjx-n:has(>mjx-c.mjx-c2212)+mjx-mn.mjx-n[space="3"]:has(~mjx-texatom:has(>mjx-mo.mjx-lop>mjx-c.mjx-c5B)){margin-left:0}:not(mjx-munderover)~mjx-texatom:has(>mjx-mo.mjx-lop>mjx-c.mjx-c5B)~mjx-mn.mjx-n[space="3"]:has(~mjx-texatom:has(>mjx-mo.mjx-lop>mjx-c.mjx-c5B))>mjx-c.mjx-c2212:before{content:"\2D"}mjx-utext{font-size:inherit!important}mjx-c.mjx-cAF{padding-bottom:.1em!important}mjx-mo:has(mjx-stretchy-v.mjx-c7B){padding-right:4px}mjx-mo:has(mjx-stretchy-v.mjx-c7D){padding-left:4px}mjx-msub>mjx-mi.mjx-i:has(+mjx-script)>:is(mjx-c.mjx-c75,mjx-c.mjx-c76,mjx-c.mjx-c77){font-size:110%}mjx-msub>mjx-script>mjx-texatom[size=s] mjx-c.mjx-c2208{margin:0 1px}mjx-over:has(>mjx-mo.mjx-n>.mjx-cAF){padding-bottom:.1em!important;margin-left:.05em!important}mjx-mover>mjx-over{padding-bottom:.4em!important}.mjx-c3C7{position:relative;bottom:2px}mjx-munder:has(:first-child>mjx-base>mjx-mo>:is(mjx-c.mjx-c2B,mjx-c.mjx-c2212)):has(:nth-child(2)>mjx-under>mjx-mo>:is(mjx-c.mjx-c2212,mjx-c.mjx-c2B)){position:relative;top:-.2em;:first-child>mjx-base>mjx-mo,:nth-child(2)>mjx-under>mjx-mo{font-size:var(--mjx-font-size);position:relative}}mjx-munder:has(:first-child>mjx-base>mjx-mo>mjx-c.mjx-c2B):has(:nth-child(2)>mjx-under>mjx-mo>mjx-c.mjx-c2212){:first-child>mjx-base>mjx-mo{color:var(--green-text);top:-.1em}:nth-child(2)>mjx-under>mjx-mo{color:var(--red-text);top:-.6em;left:-.1em}}mjx-munder:has(:first-child>mjx-base>mjx-mo>mjx-c.mjx-c2212):has(:nth-child(2)>mjx-under>mjx-mo>mjx-c.mjx-c2B){:first-child>mjx-base>mjx-mo{color:var(--red-text);top:-.1em}:nth-child(2)>mjx-under>mjx-mo{color:var(--green-text);top:-.4em;left:-.1em}}mjx-script>*{margin-left:.05em}@media (min-width:768px){.focus{max-width:60vw}.flex-formulas>ol[type=a]{display:flex;gap:80px}}@media (max-width:850px){ol .focus,ul .focus{margin:0 auto}}@media (max-width:768px){.home.demos mjx-container{display:none}.focus{max-width:70vw}ol .focus,ul .focus{max-width:60vw}.ref-in-focus{justify-content:center;gap:10px;>:not(p:first-of-type){margin:0 auto}}.flex-formulas{gap:8px;flex-wrap:wrap}.aside mjx-container,mjx-container{max-width:80vw}.double-brackets{align-items:center;flex-direction:column;gap:20px}.mjx-top div{top:-20px}.mjx-bottom div{top:20px}}@media print{:root{--mjx-text-font-size:14px;--mjx-font-size:15px;--focus-gold:rgba(188,168,52,.752)}body{--mjx-color:#565656}mjx-container{overflow:hidden!important;margin:1em auto!important;color:var(--mjx-color)}.focus.shadow{box-shadow:6px 3px 3px 0 var(--grey-lightererer)!important}.focus.result,.focus.shadow{border-color:var(--grey-lightererer)!important}.double-brackets{overflow-x:unset}}