h3[data-v-e43a46ca]{margin:0 0 8px;color:#46506c;font-size:17px;line-height:1.8}.type-math[data-v-e43a46ca]{display:inline-block;white-space:nowrap}.knowledge-type-example-grid[data-v-e43a46ca]{display:grid;grid-template-columns:minmax(0,.8fr) minmax(0,1.2fr);gap:24px;align-items:start;margin-top:20px}.knowledge-type-example-statements article+article[data-v-e43a46ca]{padding-top:20px;margin-top:20px;border-top:1px solid #e6e9f1}.type-example-caution[data-v-e43a46ca]{margin-top:20px;padding:14px 16px;border-radius:10px;background:#f6f8fc;font-size:14px}.knowledge-type-links[data-v-e43a46ca]{display:flex;flex-wrap:wrap;gap:12px 24px;margin-top:24px}.knowledge-type-links a[data-v-e43a46ca]{color:#5e5cba;font-size:14px;text-decoration:none;line-height:1.8}@media(max-width:760px){.knowledge-type-example-grid[data-v-e43a46ca]{grid-template-columns:minmax(0,1fr)}}.construction-player[data-v-3ee68097]{min-width:0}.construction-task[data-v-3ee68097]{margin:16px 0}.construction-task p[data-v-3ee68097]:first-child{color:#343e59;font-size:16px}.construction-task .construction-motivation[data-v-3ee68097]{margin-top:10px;font-size:14px}.construction-task p[lang=en][data-v-3ee68097]{margin-top:7px;font-size:14px;color:#758098}.construction-layout[data-v-3ee68097]{display:grid;grid-template-columns:minmax(0,1fr);gap:20px}.construction-visual[data-v-3ee68097]{min-width:0}.construction-caption[data-v-3ee68097]{font-size:14px;color:#5554bc;margin-bottom:8px}.construction-tool[data-v-3ee68097]{min-height:22px;margin:0 0 8px;font-size:13px;color:#65718b}.construction-board[data-v-3ee68097]{width:100%;height:340px;border:1px solid #e3e5f0;border-radius:12px;overflow:hidden;pointer-events:none;background:#fcfcff}.construction-board[data-ready=false][data-v-3ee68097]{visibility:hidden}.construction-controls[data-v-3ee68097]{display:flex;flex-wrap:wrap;gap:8px;margin-top:12px}.construction-controls button[data-v-3ee68097]{min-height:40px;border:1px solid #dcddeb;border-radius:8px;padding:8px 12px;background:#fff;color:#59667d;font:inherit;font-size:13px;cursor:pointer}.construction-controls .construction-play[data-v-3ee68097]{min-width:96px;color:#fff;background:#5554bc;border-color:#5554bc}.construction-controls button[data-v-3ee68097]:disabled{opacity:.45;cursor:default}button[data-v-3ee68097]:focus-visible{outline:2px solid #5554bc;outline-offset:3px}.construction-key[data-v-3ee68097]{font-size:13px;color:#65718b;margin-top:10px}.construction-explanations[data-v-3ee68097]{display:grid;min-width:0}.construction-explanation[data-v-3ee68097]{grid-area:1 / 1;visibility:hidden;min-width:0}.construction-explanation.active[data-v-3ee68097]{visibility:visible}.construction-explanation h3[data-v-3ee68097]{margin:0 0 14px;color:#424c6a;font-size:17px}.construction-detail+.construction-detail[data-v-3ee68097]{margin-top:16px}.construction-detail h4[data-v-3ee68097]{margin:0 0 5px;font-size:13px;color:#777f9a}.construction-detail p[data-v-3ee68097]{font-size:15px}.construction-detail p[lang=en][data-v-3ee68097]{margin-top:8px;color:#748098;font-size:14px}.construction-formulas[data-v-3ee68097]{padding-top:12px;font-size:16px}.construction-formulas[data-v-3ee68097] .katex-display{margin:8px 0;text-align:left}.construction-references[data-v-3ee68097]{display:flex;flex-wrap:wrap;gap:6px 12px;margin-top:15px;font-size:13px;line-height:1.8}.construction-references span[data-v-3ee68097]{color:#8791a6}.construction-references a[data-v-3ee68097]{color:#5554bc}.construction-steps[data-v-3ee68097]{display:flex;flex-wrap:wrap;gap:8px;margin-top:12px}.construction-steps button[data-v-3ee68097]{display:flex;align-items:center;gap:7px;border:1px solid #e1e4ee;border-radius:9px;padding:8px 10px;color:#65718b;background:#fff;font:inherit;font-size:12px;text-align:left;cursor:pointer}.construction-steps button span[data-v-3ee68097]{flex:none;width:22px;height:22px;line-height:22px;text-align:center;border-radius:6px;background:#f1f2f8}.construction-steps button[aria-current=step][data-v-3ee68097]{border-color:#bfbdea;color:#5554bc;background:#f5f4ff}.construction-steps button[aria-current=step] span[data-v-3ee68097]{color:#fff;background:#5554bc}@media(min-width:1000px){.construction-layout[data-v-3ee68097]{grid-template-columns:minmax(0,1fr) minmax(0,1fr)}}@media(max-width:480px){.construction-board[data-v-3ee68097]{height:300px}.construction-controls[data-v-3ee68097]{gap:6px}.construction-controls button[data-v-3ee68097]{padding:8px 9px}.construction-controls .construction-play[data-v-3ee68097]{min-width:90px}.construction-formulas[data-v-3ee68097]{font-size:15px}}.construction-demos[data-v-13d228db]{scroll-margin-top:calc(var(--knowledge-header-offset, 72px) + 70px)}.construction-methods[data-v-13d228db],.construction-groups[data-v-13d228db]{display:flex;flex-wrap:wrap;gap:8px;margin-top:14px}.construction-groups button[data-v-13d228db]{border:0;padding:8px 10px;background:#f6f7fb;color:#65718b;border-radius:8px;font:inherit;font-size:13px;cursor:pointer}.construction-groups button[aria-pressed=true][data-v-13d228db]{color:#5554bc;background:#eeecff}.construction-methods button[data-v-13d228db]{border:1px solid #dedfeb;border-radius:9px;padding:9px 16px;color:#65718b;background:#fff;font:inherit;font-size:14px;cursor:pointer}.construction-methods button[aria-pressed=true][data-v-13d228db]{color:#5554bc;background:#f1f0ff;border-color:#c9c6ed}.construction-methods button[data-v-13d228db]:focus-visible{outline:2px solid #5554bc;outline-offset:3px}.knowledge-reading-nav[data-v-b2d1f1ff]{position:sticky;top:calc(var(--knowledge-header-offset, 72px) + 8px);z-index:5;margin:0 0 24px;border:1px solid #dcdfee;border-radius:10px;background:#fff}.knowledge-reading-nav summary[data-v-b2d1f1ff]{cursor:pointer;padding:10px 14px;color:#5554bc;font-size:14px;line-height:1.6}.knowledge-reading-nav summary span[data-v-b2d1f1ff]{margin-left:16px;color:#64718b;font-size:12px}.object-nav[data-v-b2d1f1ff]{display:flex;flex-wrap:wrap;gap:8px;margin:0;padding:0 12px 12px;max-height:35dvh;overflow:auto}.object-nav a[data-v-b2d1f1ff]{padding:9px 12px;border:1px solid #dcdfee;border-radius:9px;color:#5554bc;text-decoration:none;font-size:13px;line-height:1.6}.object-nav a[data-v-b2d1f1ff]:hover{background:#f7f7fc}.object-nav a[aria-current=location][data-v-b2d1f1ff]{border-color:#aaa6da;background:#f4f2fc}.object-nav a[data-v-b2d1f1ff]:focus-visible{outline:2px solid #7774c7;outline-offset:3px}.object-section[data-v-b2d1f1ff],.object-topic[data-v-b2d1f1ff],.object-part[data-v-b2d1f1ff],.object-conditions[data-v-b2d1f1ff],.object-notation[data-v-b2d1f1ff],.object-explanation[data-v-b2d1f1ff],.object-note[data-v-b2d1f1ff],.object-term-note[data-v-b2d1f1ff],.knowledge-application-example[data-v-b2d1f1ff],.knowledge-proof-reading-note[data-v-b2d1f1ff],.knowledge-diagram-takeaway[data-v-b2d1f1ff],.grouped-knowledge[data-v-b2d1f1ff] .knowledge-diagram-card{scroll-margin-top:calc(var(--knowledge-header-offset, 72px) + 70px)}.object-section>header[data-v-b2d1f1ff]{margin-bottom:16px}.object-section>header h2[data-v-b2d1f1ff]{font-size:20px}.object-topic[data-v-b2d1f1ff]{padding:20px 0;border-top:1px solid #e6e9f1}.object-topic.with-diagrams[data-v-b2d1f1ff]{display:grid;grid-template-columns:minmax(0,1fr) 250px;gap:20px;align-items:start}.object-topic.with-diagrams:not(.diagram-gallery)>.object-text[data-v-b2d1f1ff]{grid-column:1;grid-row:1}.object-topic.with-diagrams:not(.diagram-gallery)>.object-comparison[data-v-b2d1f1ff]{grid-column:2;grid-row:1 / span 2}.object-topic.with-diagrams:not(.diagram-gallery)>.object-followup[data-v-b2d1f1ff]{grid-column:1;grid-row:2}.object-text[data-v-b2d1f1ff],.object-followup[data-v-b2d1f1ff]{min-width:0}.object-topic:not(.with-diagrams) .object-followup[data-v-b2d1f1ff],.diagram-gallery .object-followup[data-v-b2d1f1ff]{margin-top:20px}.object-followup[data-v-b2d1f1ff]>:first-child{margin-top:0}.object-symbols[data-v-b2d1f1ff],.object-explanation[data-v-b2d1f1ff]{margin-top:16px}.object-symbols h3[data-v-b2d1f1ff],.object-explanation h3[data-v-b2d1f1ff]{margin:0 0 8px;color:#4b5570;font-size:14px}.object-topic-title[data-v-b2d1f1ff]{margin:0 0 12px;font-size:15px;line-height:1.8;color:#4b5570}.grouped-knowledge .object-level[data-v-b2d1f1ff]{display:inline-block;margin:0 0 10px;padding:2px 8px;border-radius:5px;background:#f1f0fa;color:#6865ae;font-size:12px}.object-destination[data-v-b2d1f1ff]{display:inline-block;margin-top:12px;color:#5554bc;font-size:14px;line-height:1.8}.construction-topic-links[data-v-b2d1f1ff]{display:flex;flex-wrap:wrap;gap:8px 14px;margin:0 0 14px;font-size:13px}.construction-topic-links a[data-v-b2d1f1ff]{color:#5554bc}.grouped-knowledge .object-conditions[data-v-b2d1f1ff]{margin-bottom:14px;font-size:14px;color:#647089}.grouped-knowledge .object-term-note[data-v-b2d1f1ff]{margin:0 0 12px;font-size:13px;color:#647089}.object-part+.object-part[data-v-b2d1f1ff]{margin-top:20px}.object-part .knowledge-english[data-v-b2d1f1ff]{border:0;padding:0;margin-top:8px}.object-part .knowledge-english p[data-v-b2d1f1ff]{color:#647089;font-size:15px;line-height:1.8}.grouped-knowledge .object-notation[data-v-b2d1f1ff]{font-size:14px;color:#64718b}.grouped-knowledge .object-note[data-v-b2d1f1ff]{margin-top:16px;padding:12px 14px;border-left:3px solid #d0cfea;background:#f8f9fc;font-size:14px}.object-comparison .knowledge-diagram-grid[data-v-b2d1f1ff]{grid-template-columns:minmax(0,1fr);margin:0}.object-topic.diagram-gallery[data-v-b2d1f1ff],.object-topic.wide-diagrams[data-v-b2d1f1ff]{display:block}.wide-diagrams .knowledge-diagram-grid[data-v-b2d1f1ff]{grid-template-columns:repeat(2,minmax(0,1fr));margin-top:18px}.wide-diagrams .knowledge-diagram-grid[data-v-b2d1f1ff] .knowledge-diagram-card:only-child{grid-column:1 / -1}.wide-diagrams[data-v-b2d1f1ff] .knowledge-diagram-card:not(.three-views-diagram)>.knowledge-diagram{height:270px}.wide-diagrams .object-followup[data-v-b2d1f1ff]{margin-top:20px}.diagram-gallery .knowledge-diagram-grid[data-v-b2d1f1ff]{grid-template-columns:repeat(3,minmax(0,1fr));margin-top:18px}.object-comparison[data-v-b2d1f1ff] .knowledge-diagram-card{background:#fafbfd;padding:12px}.object-comparison .knowledge-diagram-takeaway[data-v-b2d1f1ff]{margin-top:12px;color:#64718b;font-size:13px}.object-topic .knowledge-prerequisites[data-v-b2d1f1ff]{margin-top:18px}.knowledge-prerequisites h3[data-v-b2d1f1ff]{color:#4b5570;font-size:14px}.object-topic .knowledge-derivation[data-v-b2d1f1ff]{margin-top:18px}.knowledge-application-example[data-v-b2d1f1ff]{margin:18px 0;padding:14px;border:1px solid #e3e2ef;border-radius:10px;background:#fbfaff}.knowledge-application-example h3[data-v-b2d1f1ff]{margin:0 0 10px;color:#5554bc;font-size:14px}.knowledge-application-example p+p[data-v-b2d1f1ff]{margin-top:8px}.knowledge-proof-reading-note[data-v-b2d1f1ff]{margin-top:18px;font-size:14px;color:#647089}.knowledge-proof-group[data-v-b2d1f1ff]{margin-top:24px;padding-top:18px;border-top:1px solid #e1e5ef}.knowledge-proof-group>header h3[data-v-b2d1f1ff]{color:#5554bc}.knowledge-proof-group>header p[data-v-b2d1f1ff]{font-size:14px;color:#647089}.knowledge-proof-group ol[data-v-b2d1f1ff]{margin-top:16px}.knowledge-derivation h4[data-v-b2d1f1ff]{margin:0 0 8px;color:#4b5570;font-size:15px;line-height:28px}.knowledge-derivation+.object-note[data-v-b2d1f1ff]{margin-top:28px}.knowledge-step-diagram[data-v-b2d1f1ff]{border:1px solid #dcdfee;border-radius:8px;padding:7px 10px;background:#fff;color:#5554bc;font:inherit;font-size:13px;cursor:pointer}.knowledge-step-diagram[aria-pressed=true][data-v-b2d1f1ff]{background:#f4f2fc;border-color:#aaa6da}.knowledge-inline-proof-diagram[data-v-b2d1f1ff]{max-width:380px;margin:14px 0 0}.knowledge-inline-proof-diagram[data-v-b2d1f1ff] .knowledge-diagram{height:250px}.knowledge-step-diagram[data-v-b2d1f1ff]:focus-visible,.knowledge-reading-nav summary[data-v-b2d1f1ff]:focus-visible{outline:2px solid #5554bc;outline-offset:3px}.sr-only[data-v-b2d1f1ff]{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip-path:inset(50%);white-space:nowrap;border:0}@media(min-width:1001px){.object-topic.single-proof-figure:not(.wide-diagrams)>.object-comparison[data-v-b2d1f1ff]{position:sticky;top:calc(var(--knowledge-header-offset, 72px) + 70px)}.diagram-gallery.four-figure-gallery .knowledge-diagram-grid[data-v-b2d1f1ff]{grid-template-columns:repeat(2,minmax(0,1fr))}}@media(max-width:1000px){.object-topic.with-diagrams[data-v-b2d1f1ff]{grid-template-columns:minmax(0,1fr)}.object-comparison .knowledge-diagram-grid[data-v-b2d1f1ff]{grid-template-columns:repeat(2,minmax(0,1fr))}.object-comparison[data-v-b2d1f1ff] .knowledge-diagram-card:only-child{grid-column:1 / -1}.object-topic.with-diagrams:not(.diagram-gallery)>.object-comparison[data-v-b2d1f1ff]{grid-column:1;grid-row:2}.object-topic.with-diagrams:not(.diagram-gallery)>.object-followup[data-v-b2d1f1ff]{grid-column:1;grid-row:3}}@media(max-width:480px){.object-comparison .knowledge-diagram-grid[data-v-b2d1f1ff]{grid-template-columns:minmax(0,1fr)}}