.rule-ex{max-width:62ch;margin:6px 0 10px;padding:0}.setter-rules .rules-setter:has(+.rule-ex){margin-bottom:0}.pp-words .setter-rules .rules-setter:has(+.rule-ex){margin-bottom:0}.rule-ex-head{letter-spacing:.02em;color:var(--muted);margin:0 0 4px;font-size:12px;font-weight:700}.rule-ex svg.rule-ex-svg{touch-action:auto;-webkit-user-select:none;user-select:none;max-width:100%;height:auto;display:block;overflow:visible}.rule-ex .rule-ex-svg .rule-ex-bg{fill:var(--panel)}.rule-ex .rule-ex-svg .grid-thin line{stroke:var(--grid-line,var(--line));stroke-width:1.2px}.rule-ex .rule-ex-svg .grid-frame{stroke:var(--grid-box,#33475c);stroke-width:3px;fill:none}.rule-ex .rule-ex-svg .value{font-size:calc(38px * var(--a11y-text,1))}.rule-ex .rule-ex-svg .rule-ex-has-ops .value{font-size:calc(34px * var(--a11y-text,1))}.rule-ex .rule-ex-svg .tube{opacity:.55}.rule-ex .rule-ex-svg .value.on-line{paint-order:stroke;stroke:var(--panel);stroke-width:7px;stroke-linejoin:round}.rule-ex .rule-ex-svg .cage-sum{stroke-width:4px;font-size:20px}.rule-ex .rule-ex-svg .rule-ex-off .value{opacity:.3}.rule-ex .rule-ex-svg .rule-ex-strike{stroke:var(--muted);stroke-width:3px;stroke-linecap:round}.rule-ex .rule-ex-svg .rule-ex-ops .decor-text{font-weight:800}.rule-ex .rule-ex-svg .rule-ex-bracket,.rule-ex .rule-ex-svg .rule-ex-tie{fill:none;stroke:var(--muted);stroke-width:2.4px;stroke-linecap:round;stroke-linejoin:round}.rule-ex .rule-ex-svg .rule-ex-result{fill:var(--text);font-size:32px;font-weight:700}.rule-ex .rule-ex-svg .rule-ex-label{fill:var(--muted);font-size:24px;font-weight:600}.rule-ex .rule-ex-svg .rule-ex-verdict{fill:none;stroke-width:4px;stroke-linecap:round;stroke-linejoin:round}.rule-ex .rule-ex-svg .rule-ex-verdict.ok{stroke:var(--ok,#2e7d32)}.rule-ex .rule-ex-svg .rule-ex-verdict.bad{stroke:var(--conflict,#c62828)}.rule-ex .rule-ex-svg .rule-ex-hl{fill:var(--accent-soft)}.rule-ex .rule-ex-svg .rule-ex-ring{fill:none;stroke:var(--accent);stroke-width:3.2px}.rule-ex .rule-ex-svg .rule-ex-link line,.rule-ex .rule-ex-svg .rule-ex-link path{fill:none;stroke:var(--accent);stroke-width:3.2px;stroke-linecap:round}.rule-ex .rule-ex-svg .rule-ex-link .rule-ex-head{fill:var(--accent);stroke-width:1.5px;stroke-linejoin:round}.rule-ex .rule-ex-svg .rule-ex-tag text{fill:var(--muted);font-size:19px;font-weight:600}.rule-ex .rule-ex-svg .rule-ex-tag .rule-ex-gap{fill:var(--text);font-weight:700}.rule-ex .rule-ex-svg .rule-ex-clue{fill:var(--text);font-size:36px;font-weight:700}.rule-ex .rule-ex-svg .rule-ex-caged .value{font-size:calc(33px * var(--a11y-text,1))}.rule-ex .rule-ex-svg .cage-sum.rule-ex-cage-label{font-size:15px}.rule-ex .rule-ex-svg .rule-ex-box line{stroke:var(--grid-box,#33475c);stroke-width:3px}.rule-ex .rule-ex-svg .rule-ex-guide{fill:none;stroke:var(--muted);stroke-width:3px;stroke-dasharray:7 7;stroke-linecap:round;opacity:.8}.rule-ex .rule-ex-svg .value.rule-ex-small{font-size:calc(21px * var(--a11y-text,1));font-weight:700}.rule-ex .rule-ex-svg .cage-sum{font-size:20px}.app.dark .rule-ex .rule-ex-svg .constraint-layer circle[fill=\#fff],html.pp-dark .rule-ex .rule-ex-svg .constraint-layer circle[fill=\#fff]{fill:var(--panel)}.rule-ex-cap{color:var(--muted);margin:4px 0 0;font-size:13px;line-height:1.45}.rule-ex-toggle{font:inherit;color:var(--muted);opacity:.85;text-underline-offset:2px;cursor:pointer;white-space:nowrap;background:0 0;border:0;padding:2px 0;font-size:11.5px;text-decoration:underline}.rule-ex-toggle[aria-expanded=true]{color:var(--text)}.rule-ex-orig{color:var(--text);margin:2px 0 0;font-size:13px;line-height:1.5}.print-root .rule-ex{break-inside:avoid;margin:1.5mm 0 2.5mm}.print-root .rule-ex .rule-ex-svg{filter:grayscale();width:auto;max-height:22mm}.print-root .rule-ex .rule-ex-svg.rule-ex-tall{max-height:42mm}.print-root .rule-ex .rule-ex-svg.rule-ex-rows{max-height:34mm}.print-root .rule-ex .rule-ex-svg .rule-ex-bg{fill:#fff}.print-root .rule-ex .rule-ex-svg .value.given,.print-root .rule-ex .rule-ex-svg .rule-ex-result{fill:#000!important}.print-root .rule-ex .rule-ex-svg .value.on-line{stroke:#fff!important}.print-root .rule-ex .rule-ex-svg .rule-ex-ops .decor-text{fill:#fff!important}.print-root .rule-ex .rule-ex-svg .rule-ex-hl{fill:#e2e2e2}.print-root .rule-ex .rule-ex-svg .rule-ex-off .value{opacity:.55}.print-root .rule-ex .rule-ex-svg .rule-ex-ring,.print-root .rule-ex .rule-ex-svg .rule-ex-link line,.print-root .rule-ex .rule-ex-svg .rule-ex-link path{stroke:#000}.print-root .rule-ex .rule-ex-svg .rule-ex-link .rule-ex-head{fill:#000}.print-root .rule-ex .rule-ex-svg .rule-ex-clue,.print-root .rule-ex .rule-ex-svg .rule-ex-tag .rule-ex-gap{fill:#000!important}.print-root .rule-ex .rule-ex-svg .rule-ex-tag text{fill:#444}.print-root .rule-ex-head,.print-root .rule-ex-cap{color:#333;font-size:.85em}.print-root .rule-ex-toggle,.print-root .rule-ex-orig{display:none}.rx-see{border-radius:var(--r-sm);font:inherit;font-size:.82em;font-style:normal;font-weight:600;line-height:inherit;color:var(--muted);white-space:nowrap;cursor:pointer;-webkit-tap-highlight-color:transparent;touch-action:manipulation;background:0 0;border:0;margin:0;padding:6px 2px;display:inline}.rx-see-t{text-underline-offset:3px;-webkit-text-decoration:underline dotted;text-decoration:underline dotted;text-decoration-thickness:1px}.rx-see:hover,.rx-see[aria-expanded=true]{color:var(--text)}.rx-see:focus-visible{outline:2px solid var(--accent);outline-offset:1px}.rx-chev{vertical-align:.05em;opacity:.8;margin-left:3px;transition:transform .18s;display:inline-block}.rx-see[aria-expanded=true] .rx-chev{transform:rotate(180deg)}.rx-plate{box-sizing:border-box;border-radius:var(--r-md);border:1px solid color-mix(in srgb, var(--line) 80%, transparent);background:color-mix(in srgb, var(--panel) 70%, transparent);white-space:normal;text-align:left;max-width:min(100%,62ch);margin:6px 0 10px;padding:10px 12px 8px;display:block;overflow:hidden}.rx-plate[hidden]{display:none}html.motion-ok .rx-plate:not([hidden]){animation:.18s ease-out both rx-in}@keyframes rx-in{0%{opacity:0;transform:translateY(-3px)}to{opacity:1;transform:none}}@media (prefers-reduced-motion:reduce){.rx-chev{transition:none}}.rx-plate .rx-fig{max-width:none;margin:0;display:block}.rx-plate .rx-fig-head,.rx-plate .rx-cap{display:block}p>.rx-plate{font-size:1rem;font-style:normal;font-weight:400;line-height:1.45}.rx-plate .rx-fig+.rx-fig{border-top:1px solid color-mix(in srgb, var(--line) 70%, transparent);margin-top:10px;padding-top:10px}.rx-fig-head{letter-spacing:.03em;color:var(--muted);margin:0 0 6px;font-size:11.5px;font-weight:700}.rx-plate .rule-ex-svg{margin:0}.rx-plate .rule-ex .rule-ex-svg .rule-ex-bg{fill:var(--panel)}.rx-cap{color:var(--text);-webkit-hyphens:none;hyphens:none;margin:6px 0 0;font-size:13.5px;line-height:1.45}.rx-plate svg.rule-ex-svg,html:is(.theme-glass,.theme-glass-dark) :is(.app,body) .rx-plate svg.rule-ex-svg{background:0 0}.rule-ex .rule-ex-svg .rule-ex-red .cage-line.cage-line{stroke:#ff3030;stroke-width:3px}.rule-ex .rule-ex-svg .rule-ex-red .cage-sum{font-size:17px}.print-root .rx-see,.print-root .rx-plate{display:none}