.eq-tool{--expr-ok:#2f8a4c;--expr-bad:var(--pt-accent);margin-top:1rem}html.dark .eq-tool{--expr-ok:#74c48f}.eq-tool:focus-within .expr-pad{display:block}.eq-lines{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:.5rem}.eq-line{border:1.5px solid color-mix(in srgb,currentColor 18%,transparent);border-radius:14px;padding:.35rem .75rem;background:#fff}html.dark .eq-line{background:#161616}.eq-line:focus-within{border-color:var(--pt-tile)}.eq-line[data-state=ok]{border-color:var(--expr-ok)}.eq-line[data-state=wrong]{border-color:var(--expr-bad)}.eq-line[data-state=ok] .expr-status{background:var(--expr-ok);color:#fff}.eq-line[data-state=wrong] .expr-status{background:var(--expr-bad);color:#fff}html.dark .eq-line[data-state] .expr-status{color:#111}.eq-line[data-state=wrong] .expr-feedback p:first-child{font-weight:500}.eq-given{background:color-mix(in srgb,currentColor 4%,transparent)}html.dark .eq-given{background:color-mix(in srgb,currentColor 6%,#161616)}.eq-line-body{display:flex;align-items:flex-start;gap:.4rem}.eq-line-body>.expr-status{margin-top:.35rem}.eq-eqs{flex:1;min-width:0;display:flex;flex-direction:column;gap:.15rem}.eq-eq{display:grid;grid-template-columns:2.2rem minmax(0,var(--eq-l,1fr))1.8rem minmax(0,var(--eq-r,1fr));align-items:center}.eq-eq>.eq-or:empty{display:none}.eq-eq:has(>.eq-or:empty)>.eq-left{grid-column:1/3}.eq-eq .expr-input{min-width:0;border-bottom:1px dashed color-mix(in srgb,currentColor 25%,transparent)}.eq-eq .eq-left{text-align:right}.eq-eq .eq-left::part(content){justify-content:safe flex-end}.eq-eq .expr-input:focus-within{border-bottom-color:var(--pt-tile)}.eq-given .eq-eq .expr-input{border-bottom-color:transparent}.eq-tool{position:relative}.eq-sign{font-size:1.6rem;line-height:1;opacity:.75;text-align:center;border-radius:.4rem;padding:.1rem 0;color:inherit}.eq-sign:not(:disabled):hover,.eq-sign:focus-visible{opacity:1;background:var(--pt-tile-soft)}.eq-sign:disabled{cursor:default}.eq-sign-menu{position:absolute;z-index:40;display:flex;gap:.15rem;padding:.2rem;border-radius:.5rem;background:#fff;box-shadow:0 4px 16px rgba(0,0,0,.18);direction:ltr}html.dark .eq-sign-menu{background:#222}.eq-sign-menu[hidden]{display:none}.eq-sign-menu button{min-width:2.2rem;font-size:1.35rem;padding:.15rem .3rem;border-radius:.35rem;color:inherit}.eq-sign-menu button:hover,.eq-sign-menu button:focus-visible{background:var(--pt-tile-soft)}.eq-sign-menu .eq-sign-on{background:var(--pt-tile-soft);font-weight:700}.eq-eq.eq-double{grid-template-columns:2.2rem minmax(0,var(--eq-dl,1fr))1.8rem minmax(0,var(--eq-dm,.7fr))1.8rem minmax(0,var(--eq-dr,1fr))}.eq-eq.eq-double .eq-right{text-align:center}.eq-eq.eq-double .eq-right::part(content){justify-content:safe center}.eq-double-btn{display:none}.eq-ineq .eq-double-btn{display:inline-block}.eq-or{font-weight:600;opacity:.75;font-size:1rem}.eq-acts{display:none;gap:.4rem;padding-inline-start:2.2rem}.eq-line:focus-within .eq-acts,.eq-line:hover .eq-acts,.eq-line[data-none] .eq-acts,.eq-line[data-all] .eq-acts{display:flex}.eq-given .eq-acts{display:none!important}.eq-none,.eq-all{display:none;font-size:1.15rem;font-weight:600;text-align:center;padding:.3rem 0}.eq-line[data-none] .eq-none,.eq-line[data-all] .eq-all{display:block}.eq-line:is([data-none],[data-all]) :is(.eq-eq,.eq-add-or,.eq-double-btn){display:none}.eq-btn{border:1px solid color-mix(in srgb,currentColor 25%,transparent);border-radius:999px;padding:.05rem .55rem;font-size:.85rem;opacity:.75;white-space:nowrap}.eq-btn:hover{opacity:1;border-color:var(--pt-tile)}.eq-line[data-none] .eq-none-btn,.eq-line[data-all] .eq-all-btn{opacity:1;border-color:var(--pt-tile);background:var(--pt-tile-soft)}.eq-tail{flex:0 0 9.5rem;display:flex;align-items:center;gap:.3rem;margin-top:.3rem}.eq-bar{width:1px;height:1.6rem;background:color-mix(in srgb,currentColor 25%,transparent);margin-inline:.2rem}.eq-op{flex:1;min-width:0;width:6.5rem;border:0;border-bottom:1px dashed color-mix(in srgb,currentColor 25%,transparent);background:0 0;color:inherit;font-family:nb-hand,inherit;font-size:1rem;padding:.1rem .2rem}.eq-op:focus{outline:none;border-bottom-color:var(--pt-tile)}.eq-btn[hidden],.eq-op[hidden]{display:none}.eq-given .eq-tail>*{visibility:hidden}@media(max-width:640px){.eq-eq .expr-input{font-size:1.4rem}.eq-eq{grid-template-columns:1.8rem minmax(0,1fr)1.4rem minmax(0,1fr)}.eq-eq.eq-double{grid-template-columns:1.8rem minmax(0,1fr)1.4rem minmax(0,.7fr)1.4rem minmax(0,1fr)}.eq-tail{flex-basis:5.5rem}}@media print{.eq-btn,.expr-del,.eq-sign-menu{display:none}}.eq-add-and{display:none}.eq-system .eq-add-and{display:inline-block}.eq-system .eq-double-btn{display:none!important}.eq-case{display:grid;grid-template-columns:2.2rem .9rem minmax(0,1fr);align-items:center}.eq-case+.eq-case{margin-top:.25rem}.eq-case-or{font-weight:600;opacity:.75;font-size:1rem}.eq-case-rows{min-width:0;display:flex;flex-direction:column;gap:.15rem}.eq-brace{align-self:stretch;margin:.25rem .15rem .25rem .1rem}.eq-brace svg{display:none;width:100%;height:100%;opacity:.65}.eq-case:has(.eq-eq+.eq-eq)>.eq-brace svg{display:block}.eq-system .eq-eq{grid-template-columns:0 minmax(0,var(--eq-l,1fr))1.8rem minmax(0,var(--eq-r,1fr))}.eq-sign-fixed:disabled{opacity:.75}.eq-line:is([data-none],[data-all]) :is(.eq-case,.eq-add-and){display:none}@media(max-width:640px){.eq-case{grid-template-columns:1.8rem .8rem minmax(0,1fr)}.eq-system .eq-eq{grid-template-columns:0 minmax(0,1fr)1.4rem minmax(0,1fr)}}