:where(.reading-collection,.reading-collection-dialog) .ic-task{width:100%}:where(.reading-collection,.reading-collection-dialog) .ic-task h2{max-width:42ch;margin-block:.5rem 1.5rem;font-size:clamp(1.25rem,2.4vw,1.65rem);line-height:1.45}:where(.reading-collection,.reading-collection-dialog) .ic-domain{color:var(--muted);font-size:1rem;line-height:1.65}:where(.reading-collection,.reading-collection-dialog) .ic-task fieldset{border:0;min-width:0;margin:1.5rem 0;padding:0}:where(.reading-collection,.reading-collection-dialog) .ic-task legend{margin-bottom:.75rem;font-size:1rem;font-weight:600}:where(.reading-collection,.reading-collection-dialog) .ic-options{flex-wrap:wrap;gap:.75rem;display:flex}:where(.reading-collection,.reading-collection-dialog) .ic-options button,:where(.reading-collection,.reading-collection-dialog) .ic-proofs button,:where(.reading-collection,.reading-collection-dialog) .ic-keyboard button,:where(.reading-collection,.reading-collection-dialog) .ic-demo-options button{border:1px solid var(--border);background:var(--card,var(--panel));min-height:48px;color:var(--ink);font:inherit;border-radius:12px;padding:.65rem 1rem}:where(.reading-collection,.reading-collection-dialog) .ic-options button[aria-pressed=true],:where(.reading-collection,.reading-collection-dialog) .ic-proofs button[aria-pressed=true],:where(.reading-collection,.reading-collection-dialog) .ic-demo-options button[aria-pressed=true]{background:var(--soft);border-color:var(--accent);box-shadow:inset 0 0 0 1px var(--accent)}:where(.reading-collection,.reading-collection-dialog) .ic-options button:hover,:where(.reading-collection,.reading-collection-dialog) .ic-proofs button:hover,:where(.reading-collection,.reading-collection-dialog) .ic-keyboard button:hover,:where(.reading-collection,.reading-collection-dialog) .ic-demo-options button:hover{background:var(--soft)}:where(.reading-collection,.reading-collection-dialog) .ic-proofs{gap:1rem;display:grid}:where(.reading-collection,.reading-collection-dialog) .ic-proofs button{white-space:normal;text-align:start;line-height:1.65}:where(.reading-collection,.reading-collection-dialog) .ic-witnesses{grid-template-columns:1fr 1fr;gap:2rem;display:grid}:where(.reading-collection,.reading-collection-dialog) .ic-number-fields{gap:1rem;display:flex}:where(.reading-collection,.reading-collection-dialog) .ic-number-fields .field{width:100%;max-width:120px}:where(.reading-collection,.reading-collection-dialog) .ic-number-fields input{text-align:center;width:100%;font-size:1.25rem}:where(.reading-collection,.reading-collection-dialog) .ic-verdict{color:var(--accent);font-weight:700}:where(.reading-collection,.reading-collection-dialog) .ic-feedback{margin-block:1.25rem;line-height:1.65}:where(.reading-collection,.reading-collection-dialog) .ic-feedback h3{margin-bottom:.25rem;font-size:1.1rem}:where(.reading-collection,.reading-collection-dialog) .ic-feedback p{margin-block:.5rem}:where(.reading-collection,.reading-collection-dialog) .ic-feedback.is-error{color:var(--bad)}:where(.reading-collection,.reading-collection-dialog) .ic-actions{margin-top:2rem}:where(.reading-collection,.reading-collection-dialog) .ic-expression{font-variant-numeric:tabular-nums;width:100%;padding:1rem;font-size:clamp(1.2rem,3vw,1.65rem)}:where(.reading-collection,.reading-collection-dialog) .ic-keyboard{flex-wrap:wrap;gap:.65rem;margin-block:1.25rem;display:flex}:where(.reading-collection,.reading-collection-dialog) .ic-keyboard button{min-width:3.25rem;font-size:1.25rem}:where(.reading-collection,.reading-collection-dialog) .ic-editor-tools{flex-wrap:wrap;gap:1.25rem;display:flex}:where(.reading-collection,.reading-collection-dialog) .ic-editor-tools button{min-height:44px}:where(.reading-collection,.reading-collection-dialog) .ic-model{margin-block:1.25rem;line-height:1.8}:where(.reading-collection,.reading-collection-dialog) .ic-final-expression{overflow-wrap:anywhere;font-variant-numeric:tabular-nums;font-size:1.25rem}:where(.reading-collection,.reading-collection-dialog) .ic-story{margin-top:1rem}:where(.reading-collection,.reading-collection-dialog) .ic-story summary{cursor:pointer;min-height:44px;line-height:1.65}:where(.reading-collection,.reading-collection-dialog) .ic-story label{margin-block:.5rem;display:block}:where(.reading-collection,.reading-collection-dialog) .ic-story textarea{width:100%;font:inherit;min-height:6rem;line-height:1.65}:where(.reading-collection,.reading-collection-dialog) .ic-reviews details{border-bottom:1px solid var(--line,var(--border));padding-block:1rem}:where(.reading-collection,.reading-collection-dialog) .ic-reviews summary{cursor:pointer;min-height:44px;line-height:1.65}:where(.reading-collection,.reading-collection-dialog) .ic-reviews p{line-height:1.7}:where(.reading-collection,.reading-collection-dialog) .ic-cover{width:min(100%,300px);height:170px;color:inherit;margin:auto;display:block}:where(.reading-collection,.reading-collection-dialog) .ic-demo{text-align:center;width:100%;max-width:30rem;margin:auto}:where(.reading-collection,.reading-collection-dialog) .ic-demo p{margin:.5rem 0;font-size:1rem;line-height:1.5}:where(.reading-collection,.reading-collection-dialog) .ic-demo-options{flex-wrap:wrap;justify-content:center;gap:.5rem;display:flex}:where(.reading-collection,.reading-collection-dialog) .ic-demo-options button{min-height:44px;padding:.4rem .65rem;font-size:1rem}:where(.reading-collection,.reading-collection-dialog) .ic-demo-equation{font-variant-numeric:tabular-nums;margin:.75rem;font-size:1.65rem}:where(.reading-collection,.reading-collection-dialog) .ic-demo-feedback{min-height:1.5em}:where(.reading-collection,.reading-collection-dialog) .ic-task input,:where(.reading-collection,.reading-collection-dialog) .ic-task textarea{caret-color:var(--accent);background:var(--card,var(--panel));color:var(--ink);border:1px solid var(--border);border-radius:10px}:where(.reading-collection,.reading-collection-dialog) .ic-task :focus-visible,:where(.reading-collection,.reading-collection-dialog) .ic-demo :focus-visible{outline:3px solid var(--accent);outline-offset:3px}:where(.reading-collection,.reading-collection-dialog) .ic-task input::selection,:where(.reading-collection,.reading-collection-dialog) .ic-task textarea::selection{background:var(--soft)}@media (width<=560px){:where(.reading-collection,.reading-collection-dialog) .ic-witnesses{grid-template-columns:1fr;gap:0}:where(.reading-collection,.reading-collection-dialog) .ic-task h2{font-size:1.25rem}:where(.reading-collection,.reading-collection-dialog) .ic-options{gap:.5rem}:where(.reading-collection,.reading-collection-dialog) .ic-options button{flex:5rem;padding:.65rem}:where(.reading-collection,.reading-collection-dialog) .ic-keyboard{gap:.5rem}:where(.reading-collection,.reading-collection-dialog) .ic-keyboard button{min-width:2.9rem}:where(.reading-collection,.reading-collection-dialog) .ic-editor-tools{gap:.75rem}:where(.reading-collection,.reading-collection-dialog) .ic-task fieldset{margin-block:1rem}}:where(.reading-collection,.reading-collection-dialog) .mem-mini .mini-stage>.ic-asn-cover{width:100%;max-width:300px;color:inherit}:where(.reading-collection,.reading-collection-dialog) .ic-asn-cover p{text-wrap:pretty;margin:0 0 12px;font-size:16px;line-height:1.45}:where(.reading-collection,.reading-collection-dialog) .ic-asn-labels{align-items:stretch;gap:6px;display:flex}:where(.reading-collection,.reading-collection-dialog) .ic-asn-labels span{border:1px solid;border-radius:8px;flex:1;justify-content:center;align-items:center;min-width:0;min-height:36px;padding:5px 6px;font-size:14px;line-height:1.3;display:flex}:where(.reading-collection,.reading-collection-dialog) .ic-task h2{text-wrap:pretty;margin-block:0 .75rem;line-height:1.4}:where(.reading-collection,.reading-collection-dialog) .ic-task>p{max-width:70ch;line-height:1.65}:where(.reading-collection,.reading-collection-dialog) .ic-task>.ic-domain{margin-block:.5rem 1.25rem}:where(.reading-collection,.reading-collection-dialog) .ic-task .ic-actions{margin-top:1.5rem}:where(.reading-collection,.reading-collection-dialog) .ic-task .ic-options{grid-template-columns:repeat(3,minmax(0,1fr));gap:.65rem;max-width:42rem;display:grid}:where(.reading-collection,.reading-collection-dialog) .ic-options button{white-space:normal;text-align:start;min-width:0;padding:.8rem 1rem;line-height:1.45}:where(.reading-collection,.reading-collection-dialog) .ic-choice-hint{color:var(--muted);margin-top:.35rem;font-size:.875rem;font-weight:400;line-height:1.45;text-decoration:none;display:block}:where(.reading-collection,.reading-collection-dialog) .ic-options button[aria-pressed=true],:where(.reading-collection,.reading-collection-dialog) .ic-proofs button[aria-pressed=true]{color:var(--accent);font-weight:700}:where(.reading-collection,.reading-collection-dialog) .ic-options button[aria-pressed=true] .ic-choice-hint{color:var(--ink)}:where(.reading-collection,.reading-collection-dialog) .ic-task .ic-proofs{gap:.75rem;max-width:70ch}:where(.reading-collection,.reading-collection-dialog) .ic-task .ic-proofs button{padding:.85rem 1rem}:where(.reading-collection,.reading-collection-dialog) .ic-verdict{margin-block:1.5rem .5rem}:where(.reading-collection,.reading-collection-dialog) .ic-task .ic-witness-help{margin-block:.5rem 1rem}:where(.reading-collection,.reading-collection-dialog) .ic-task .ic-witnesses{gap:2rem;max-width:48rem}:where(.reading-collection,.reading-collection-dialog) .ic-witnesses fieldset{border-top:1px solid var(--border);margin-block:.5rem 0;padding-block:.75rem}:where(.reading-collection,.reading-collection-dialog) .ic-witnesses legend{padding-inline:0 .5rem;line-height:1.5}:where(.reading-collection,.reading-collection-dialog) .ic-number-fields{gap:.75rem}:where(.reading-collection,.reading-collection-dialog) .ic-number-fields .field{min-width:0;max-width:10rem}:where(.reading-collection,.reading-collection-dialog) .ic-number-fields label{line-height:1.45}:where(.reading-collection,.reading-collection-dialog) .ic-number-fields input{font-variant-numeric:tabular-nums;min-height:48px;padding:.55rem .65rem}:where(.reading-collection,.reading-collection-dialog) .ic-witness-preview{margin-top:.75rem;line-height:1.6;display:block}:where(.reading-collection,.reading-collection-dialog) .ic-calculation{font-variant-numeric:tabular-nums;overflow-wrap:anywhere;font-size:1.125rem;display:block}:where(.reading-collection,.reading-collection-dialog) .ic-truth{color:var(--muted);font-size:.9375rem;display:block}:where(.reading-collection,.reading-collection-dialog) .ic-task input[aria-invalid=true]{border-color:var(--bad)}:where(.reading-collection,.reading-collection-dialog) .ic-task .ic-rule{margin-block:.5rem 1.25rem}:where(.reading-collection,.reading-collection-dialog) .ic-expression-editor{max-width:44rem}:where(.reading-collection,.reading-collection-dialog) .ic-expression-editor .field{margin:0}:where(.reading-collection,.reading-collection-dialog) .ic-task .ic-given,:where(.reading-collection,.reading-collection-dialog) .ic-task .ic-operations{margin-block:1rem}:where(.reading-collection,.reading-collection-dialog) .ic-task .ic-given legend,:where(.reading-collection,.reading-collection-dialog) .ic-task .ic-operations legend{margin-bottom:.5rem;font-size:.9375rem}:where(.reading-collection,.reading-collection-dialog) .ic-expression-editor .ic-keyboard{align-items:center;gap:.5rem;margin:0}:where(.reading-collection,.reading-collection-dialog) .ic-keyboard button{font-variant-numeric:tabular-nums;min-width:3rem;min-height:48px;padding:.5rem .75rem;line-height:1.3}:where(.reading-collection,.reading-collection-dialog) .ic-number-keys button{background:var(--soft);border-color:var(--accent);color:var(--accent);font-weight:700}:where(.reading-collection,.reading-collection-dialog) .ic-number-keys button.is-used:disabled{opacity:1;color:var(--muted);border-color:var(--border);background:0 0;border-style:dashed;text-decoration:line-through 1px}:where(.reading-collection,.reading-collection-dialog) .ic-used-status{color:var(--muted);margin-inline-start:.35rem;font-size:.875rem;line-height:1.5}:where(.reading-collection,.reading-collection-dialog) .ic-task input.ic-expression{min-height:54px;padding:.8rem 1rem;font-size:clamp(1.125rem,2.2vw,1.4rem)}:where(.reading-collection,.reading-collection-dialog) .ic-operation-keys button{font-size:1.125rem}:where(.reading-collection,.reading-collection-dialog) .ic-expression-editor .ic-domain{max-width:60ch;margin-block:.75rem .25rem;font-size:.9375rem}:where(.reading-collection,.reading-collection-dialog) .ic-editor-tools{align-items:center;gap:.25rem 1rem}:where(.reading-collection,.reading-collection-dialog) .ic-editor-tools button{text-align:start;font-size:.9375rem}:where(.reading-collection,.reading-collection-dialog) .ic-feedback{max-width:70ch}:where(.reading-collection,.reading-collection-dialog) .ic-feedback .ic-final-expression{margin-block:.75rem;font-size:clamp(1.25rem,2.2vw,1.5rem);line-height:1.5}:where(.reading-collection,.reading-collection-dialog) .ic-story{max-width:70ch}:where(.reading-collection,.reading-collection-dialog) .ic-story textarea{padding:.75rem}@media (width<=560px){:where(.reading-collection,.reading-collection-dialog) .ic-task .ic-options{grid-template-columns:1fr;gap:.5rem}:where(.reading-collection,.reading-collection-dialog) .ic-options button{grid-template-columns:minmax(0,1fr) minmax(0,1.25fr);align-items:center;gap:.75rem;padding:.7rem .8rem;display:grid}:where(.reading-collection,.reading-collection-dialog) .ic-choice-hint{margin:0}:where(.reading-collection,.reading-collection-dialog) .ic-task .ic-witnesses{grid-template-columns:1fr;gap:.75rem}:where(.reading-collection,.reading-collection-dialog) .ic-task .ic-witnesses fieldset{margin-block:.25rem 0}:where(.reading-collection,.reading-collection-dialog) .ic-used-status{flex-basis:100%;margin-inline-start:0}:where(.reading-collection,.reading-collection-dialog) .ic-keyboard button{min-width:2.75rem;padding:.5rem .65rem}:where(.reading-collection,.reading-collection-dialog) .ic-expression-editor .ic-domain{line-height:1.55}:where(.reading-collection,.reading-collection-dialog) .ic-editor-tools{gap:0 .8rem}}:where(.reading-collection,.reading-collection-dialog) .ic-options button,:where(.reading-collection,.reading-collection-dialog) .ic-options button:hover,:where(.reading-collection,.reading-collection-dialog) .ic-proofs button,:where(.reading-collection,.reading-collection-dialog) .ic-proofs button:hover,:where(.reading-collection,.reading-collection-dialog) .ic-keyboard button,:where(.reading-collection,.reading-collection-dialog) .ic-keyboard button:hover,:where(.reading-collection,.reading-collection-dialog) .ic-demo-options button,:where(.reading-collection,.reading-collection-dialog) .ic-demo-options button:hover{text-decoration:none}