/*! tailwindcss v4.2.1 | MIT License | https://tailwindcss.com */
@layer properties{@supports (((-webkit-hyphens:none)) and (not (margin-trim:inline))) or ((-moz-orient:inline) and (not (color:rgb(from red r g b)))){*,:before,:after,::backdrop{--tw-rotate-x:initial;--tw-rotate-y:initial;--tw-rotate-z:initial;--tw-skew-x:initial;--tw-skew-y:initial;--tw-border-style:solid}}}@layer theme{:root,:host{--font-sans:ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";--font-mono:ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;--spacing:.25rem;--default-font-family:var(--font-sans);--default-mono-font-family:var(--font-mono)}}@layer base{*,:after,:before,::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,:host{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--default-font-family,ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:var(--default-mono-font-family,ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-moz-focusring{outline:auto}progress{vertical-align:baseline}summary{display:list-item}ol,ul,menu{list-style:none}img,svg,video,canvas,audio,iframe,embed,object{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab, red, red)){::placeholder{color:color-mix(in oklab, currentcolor 50%, transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit{padding-block:0}::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-day-field{padding-block:0}::-webkit-datetime-edit-hour-field{padding-block:0}::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-millisecond-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){appearance:button}::file-selector-button{appearance:button}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}}@layer components;@layer utilities{.collapse{visibility:collapse}.fixed{position:fixed}.relative{position:relative}.start{inset-inline-start:var(--spacing)}.grid{display:grid}.inline-flex{display:inline-flex}.table{display:table}.transform{transform:var(--tw-rotate-x,) var(--tw-rotate-y,) var(--tw-rotate-z,) var(--tw-skew-x,) var(--tw-skew-y,)}.rounded{border-radius:.25rem}.border{border-style:var(--tw-border-style);border-width:1px}}:root{--font-geist-sans:"Geist", "PingFang SC", "Microsoft YaHei", sans-serif;--font-geist-mono:"Geist Mono", ui-monospace, "SFMono-Regular", Menlo, Consolas, monospace;--ink:#172534;--muted:#627080;--line:#d9e0e7;--paper:#fffdf8;--paper-deep:#f3f0e8;--cyan:#0b91ab;--cyan-soft:#dff5ff;--amber:#e49b08;--amber-soft:#fff0cb;--red:#dc4139;--red-soft:#ffe8e4}@font-face{font-family:Geist;src:url(/bipartite/fonts/geist-sans-variable.woff2)format("woff2");font-weight:100 900;font-style:normal;font-display:swap}@font-face{font-family:Geist Mono;src:url(/bipartite/fonts/geist-mono-variable.woff2)format("woff2");font-weight:100 900;font-style:normal;font-display:swap}*{box-sizing:border-box}html{scroll-behavior:smooth}body{background:linear-gradient(#17253406 1px, transparent 1px), linear-gradient(90deg, #17253406 1px, transparent 1px), var(--paper);color:var(--ink);font-family:var(--font-geist-sans), "PingFang SC", "Microsoft YaHei", sans-serif;background-size:32px 32px;margin:0}button,input{font:inherit}a{color:inherit;text-decoration:none}strong{font-weight:760}.wrap{width:min(1120px,100% - 40px);margin-inline:auto}.hero{border-bottom:1px solid var(--line);background:radial-gradient(circle at 83% 25%,#0c91ab2e,#0000 23%),linear-gradient(135deg,#fffdf8 0%,#f6f4ed 58%,#edf8f8 100%);min-height:780px;padding:0 max(20px,50vw - 560px)}.topbar{border-bottom:1px solid #17253426;justify-content:space-between;align-items:center;height:86px;display:flex}.brand{font-family:var(--font-geist-mono), monospace;letter-spacing:.16em;font-size:13px;font-weight:800}.nav-links{color:var(--muted);gap:30px;font-size:14px;display:flex}.nav-links a:hover{color:var(--ink)}.hero-grid{grid-template-columns:minmax(0,1.4fr) minmax(320px,.6fr);align-items:center;gap:80px;min-height:690px;display:grid}.eyebrow,.kicker,.section-index,.diagram-label{color:var(--cyan);font-family:var(--font-geist-mono), monospace;letter-spacing:.12em;text-transform:uppercase;margin:0 0 18px;font-size:12px;font-weight:800}.hero h1{letter-spacing:-.07em;max-width:780px;margin:0;font-size:clamp(70px,10vw,132px);line-height:.88}.hero-lead{color:#475565;max-width:690px;margin:36px 0 0;font-size:clamp(18px,2vw,24px);line-height:1.75}.hero-actions{gap:14px;margin-top:38px;display:flex}.primary-action,.quiet-action{border-radius:8px;justify-content:center;align-items:center;min-height:48px;padding:0 22px;font-weight:760;display:inline-flex}.primary-action{background:var(--ink);color:#fff}.quiet-action{border:1px solid #aeb7c1}.hero-card{background:#fffdf8db;border:1px solid #1725342e;border-radius:24px 4px;padding:38px;position:relative;box-shadow:22px 22px #1725340f}.question-mark{color:var(--amber);opacity:.32;font-size:128px;font-weight:900;line-height:1;position:absolute;top:-56px;right:22px}.hero-card p{color:var(--muted);margin:18px 0 8px}.hero-card strong{font-size:22px;line-height:1.5;display:block}.roadmap{border-bottom:1px solid var(--line);margin-top:80px;padding:28px 0 50px}.roadmap-line{background:var(--line);border:1px solid var(--line);grid-template-columns:repeat(9,1fr);gap:1px;display:grid}.roadmap-step{background:var(--paper);min-height:82px;padding:14px 12px}.roadmap-step span{color:#8b96a3;font-family:var(--font-geist-mono), monospace;margin-bottom:15px;font-size:11px;display:block}.roadmap-step strong{font-size:14px}.reading-lanes{grid-template-columns:1.35fr .65fr;gap:10px;margin-top:14px;display:grid}.reading-lanes>div{border:1px solid var(--line);background:#fff;border-radius:8px;align-items:center;gap:12px;padding:13px 16px;display:flex}.reading-lanes>div:first-child{background:var(--cyan-soft);border-color:#addde5}.reading-lanes span{color:#08758a;font-family:var(--font-geist-mono), monospace;flex:none;font-size:10px;font-weight:850}.reading-lanes strong{font-size:11px;line-height:1.55}.chapter{border-bottom:1px solid var(--line);padding:92px 0}.chapter-plan{background:#cfd8dd;border:1px solid #cfd8dd;border-radius:12px;grid-template-columns:minmax(280px,.9fr) minmax(0,1.1fr);gap:1px;max-width:980px;margin:-18px 0 42px;display:grid;overflow:hidden}.chapter-plan-role,.chapter-plan-scope{background:#fff}.chapter-plan-role{border-left:5px solid var(--cyan);padding:24px 26px}.chapter-plan-role span,.chapter-plan-role strong,.chapter-plan-scope span{display:block}.chapter-plan-role span,.chapter-plan-scope span{color:#08758a;font-family:var(--font-geist-mono), monospace;font-size:10px;font-weight:850}.chapter-plan-role strong{margin-top:14px;font-size:15px;line-height:1.65}.chapter-plan-scope{grid-template-columns:1fr 1fr;display:grid}.chapter-plan-scope>div{padding:22px 24px}.chapter-plan-scope>div+div{border-left:1px solid var(--line);background:#f7f9fa}.chapter-plan-scope p{color:#5f6e7a;margin:10px 0 0;font-size:11px;line-height:1.7}.chapter-answer{color:#fff;background:#172534;border-radius:9px;align-items:center;gap:18px;margin-top:26px;padding:18px 22px;display:flex}.chapter-answer span{color:#7fd4e4;font-family:var(--font-geist-mono), monospace;flex:none;font-size:10px;font-weight:850}.chapter-answer strong{font-size:13px;line-height:1.6}.chapter-head{align-items:flex-start;gap:28px;margin-bottom:46px;display:flex}.chapter-head>span{width:48px;height:48px;color:var(--muted);font-family:var(--font-geist-mono), monospace;border:1px solid #aeb7c1;border-radius:50%;flex:none;place-items:center;font-size:12px;display:grid}.chapter-head .kicker{margin:0 0 8px}.chapter h2{letter-spacing:-.045em;margin:0;font-size:clamp(42px,6vw,76px);line-height:1}.prose{color:#405061;max-width:780px;font-size:18px;line-height:2}.lead-prose{margin-bottom:38px}.prose p{margin:0 0 22px}.prose strong{color:var(--ink)}.split-panel,.search-grid{grid-template-columns:1fr 1fr;gap:20px;display:grid}.panel,.diagram-card,.group-lab,.cover-lab,.flow-lab{border:1px solid var(--line);background:#ffffffc2;border-radius:18px;box-shadow:0 18px 46px #1725340e}.panel{min-height:440px;padding:28px}.panel-title{justify-content:space-between;align-items:center;margin-bottom:30px;display:flex}.panel-title>span{background:var(--cyan-soft);color:#076a7e;font-family:var(--font-geist-mono), monospace;border-radius:5px;padding:5px 9px;font-size:11px;font-weight:800}.panel-title strong{font-size:15px}.seat-axis{color:#84909d;font-family:var(--font-geist-mono), monospace;text-align:center;grid-template-columns:repeat(4,1fr);margin-bottom:8px;font-size:11px;display:grid}.seat-grid{grid-template-columns:repeat(3,minmax(72px,1fr));gap:12px;display:grid}.seat{border-radius:14px 14px 7px 7px;flex-direction:column;justify-content:center;align-items:center;gap:7px;min-height:94px;display:flex;position:relative}.seat:after{content:"";opacity:.2;background:currentColor;border-radius:0 0 5px 5px;height:6px;position:absolute;bottom:-6px;left:12px;right:12px}.seat span{font-size:22px;font-weight:850}.seat small{font-family:var(--font-geist-mono), monospace;font-size:10px}.seat.good{cursor:pointer;color:#354555;background:#fff;border:1px solid #aeb8c3;transition:transform .16s,border-color .16s,background .16s}.seat.good:hover{border-color:var(--cyan);transform:translateY(-2px)}.seat.good.selected{background:var(--cyan-soft);border:2px solid var(--cyan);color:#086b7e}.seat.good.conflicted{background:var(--red-soft);border-color:var(--red);color:#9d2822}.seat.broken{color:#7c8793;background:repeating-linear-gradient(135deg,#dce1e6,#dce1e6 8px,#e9edf0 8px 16px);border:1px dashed #a6afb9}.seat-status{border-radius:8px;min-height:48px;margin-top:22px;padding:13px 15px;font-size:13px;line-height:1.55}.seat-status.safe{color:#176d59;background:#e9f8f4}.seat-status.danger{background:var(--red-soft);color:#9d2822}.text-panel{padding:34px}.text-panel p{color:#4b5b6c;line-height:1.85}.logic-block{gap:8px;margin:24px 0;display:grid}.logic-block code{border-left:4px solid var(--amber);color:#fff;background:#172534;padding:14px 16px;font-size:13px}.choice-grid{grid-template-columns:repeat(3,1fr);gap:14px;margin:40px 0;display:grid}.choice-card{border:1px solid var(--line);border-radius:14px;min-height:230px;padding:26px}.choice-card.muted{background:#f0f2f399}.choice-card.active{box-shadow:inset 0 4px 0 var(--cyan);background:#f2fbfd;border-color:#75bdcb}.choice-card>span{color:var(--muted);font-family:var(--font-geist-mono), monospace;font-size:11px;font-weight:750}.choice-card h3{margin:28px 0 12px;font-size:20px}.choice-card p{color:#596878;margin:0;line-height:1.75}.diagram-card{grid-template-columns:.72fr 1.28fr;align-items:stretch;gap:10px;margin-top:34px;padding:24px;display:grid}.diagram-copy{padding:22px 18px}.diagram-copy h3{margin:0 0 18px;font-size:25px;line-height:1.25}.diagram-copy>p:not(.diagram-label,.mini-result){color:#536272;line-height:1.8}.compact-list{color:#536272;gap:9px;padding-left:18px;font-size:14px;line-height:1.5;display:grid}.diagram{background:#fbfcfa;border:1px solid #e1e6eb;border-radius:12px;min-width:0;overflow:hidden}.react-flow__controls{box-shadow:none;border:1px solid #d4dbe2;border-radius:8px;overflow:hidden}.react-flow__controls-button{background:#fff;border-bottom-color:#d4dbe2}.definition{background:var(--amber-soft);border-left:6px solid var(--amber);border-radius:0 12px 12px 0;max-width:780px;margin:40px 0 0 auto;padding:34px}.definition>span{font-family:var(--font-geist-mono), monospace;text-transform:uppercase;font-size:11px;font-weight:750}.definition h3{margin:14px 0 10px;font-size:34px}.definition p{margin:0;line-height:1.8}.search-grid{margin:36px 0}.decision-tree,.complexity-lab{color:#fff;background:#172534;border-radius:16px;min-height:360px;padding:32px}.tree-level{text-align:center;grid-template-columns:1fr;gap:12px;display:grid}.tree-level.two{grid-template-columns:repeat(2,1fr)}.tree-level.four{grid-template-columns:repeat(4,1fr)}.tree-level span{background:#223548;border:1px solid #708091;border-radius:7px;padding:9px 5px;font-size:12px}.tree-lines{border-top:1px solid #758697;border-left:1px solid #758697;border-right:1px solid #758697;height:30px;margin:0 auto;position:relative}.tree-lines.two{width:50%}.tree-lines.four{width:75%}.tree-lines:after{content:"";border-left:1px solid #758697;height:18px;position:absolute;top:-18px;left:50%}.decision-tree p{color:#b9c5d1;margin:34px 0 0;font-size:14px;line-height:1.75}.complexity-lab{background:var(--amber-soft);color:var(--ink)}.complexity-lab label{margin-bottom:22px;display:block}.complexity-lab input{width:100%;accent-color:var(--amber)}.big-number{overflow-wrap:anywhere;font-family:var(--font-geist-mono), monospace;margin-top:30px;font-size:clamp(24px,3vw,40px);font-weight:850;line-height:1.2}.complexity-lab>p{color:#69592f;margin:10px 0 22px}.scale{font-family:var(--font-geist-mono), monospace;border-top:1px solid #6d530f33;gap:7px;padding-top:18px;font-size:11px;display:grid}.method-table{border-top:1px solid var(--line);margin:36px 0}.method-row{border-bottom:1px solid var(--line);color:#536272;grid-template-columns:1.1fr 1fr 2fr;align-items:center;gap:22px;min-height:76px;padding:16px;display:grid}.method-row.head{color:#7e8995;min-height:52px;font-size:12px}.method-row strong{color:var(--ink)}.method-row.emphasis{background:#eef9fb}.note{color:#465667;background:#eef1f3;border-left:5px solid #8794a2;padding:24px 28px;line-height:1.8}.mode-tabs{grid-template-columns:repeat(3,1fr);gap:10px;margin-top:38px;display:grid}.mode-tabs button{cursor:pointer;border:1px solid var(--line);color:#586777;background:#f5f5f2;border-radius:11px;flex-direction:column;align-items:flex-start;gap:9px;min-height:88px;padding:18px;display:flex}.mode-tabs button.active{background:var(--ink);border-color:var(--ink);color:#fff}.mode-tabs small{color:#8b97a1;font-family:var(--font-geist-mono), monospace;letter-spacing:.08em;text-transform:uppercase;font-size:9px;font-weight:850}.mode-tabs button.active small{color:#7fd4e4}.mode-tabs span{font-weight:800}.mode-tabs code{opacity:.7;font-size:11px}.group-lab{margin-top:12px;padding:22px}.verification-question{border-left:4px solid var(--cyan);background:#f3f6f7;border-radius:7px;grid-template-columns:120px 1fr;gap:6px 18px;margin:-4px -4px 20px;padding:18px;display:grid}.verification-question span{color:#08758a;font-family:var(--font-geist-mono), monospace;grid-row:1/3;align-self:center;font-size:9px;font-weight:850;line-height:1.5}.verification-question strong{font-size:13px}.verification-question p{color:#667582;margin:0;font-size:11px;line-height:1.6}.group-summary{align-items:center;gap:20px;margin-bottom:16px;font-size:13px;display:flex}.group-summary>div{color:#5f6d7c;align-items:center;gap:7px;display:flex}.group-summary>strong{margin-left:auto}.group-summary .bad,.group-result.bad{color:#bd3029}.group-summary .good,.group-result.good{color:#087d66}.swatch{border-radius:4px;width:13px;height:13px}.swatch.cyan{background:var(--cyan-soft);border:1px solid var(--cyan)}.swatch.amber{background:var(--amber-soft);border:1px solid var(--amber)}.group-result{text-align:center;margin:18px 4px 2px;font-weight:750}.discovery{color:#fff;background:#172534;border-radius:16px;margin-top:32px;padding:34px}.discovery>span{color:#70d4e8;font-family:var(--font-geist-mono), monospace;font-size:12px;font-weight:800}.discovery p{color:#c4ced8;max-width:780px;line-height:1.85}.delta-grid{grid-template-columns:repeat(4,1fr);gap:10px;margin:26px 0;display:grid}.delta-grid>div{background:#24384c;border:1px solid #415568;border-radius:8px;padding:18px}.delta-grid code,.delta-grid span{display:block}.delta-grid code{color:#ffd475;font-size:16px}.delta-grid span{color:#aebdca;margin-top:12px;font-size:12px}.parity-proof{color:#fff;background:#172534;border-radius:9px;justify-content:center;align-items:center;gap:12px;margin:18px 0;padding:18px;font-size:12px;display:flex}.parity-proof code{color:#ffd475;background:#2a4053;border-radius:4px;padding:6px 9px}.parity-proof b{color:#7fd4e4}.parity-proof strong{color:#9ae3d8}.audit-topic .edge-audit{border:0;border-radius:0;margin:0}.edge-audit{border:1px solid var(--line);background:#fff;border-radius:14px;margin-top:30px;overflow:hidden}.edge-audit-head{padding:26px}.edge-audit-head h3{margin:5px 0 10px;font-size:23px}.edge-audit-head>p:last-child{color:#64727e;max-width:760px;margin:0;font-size:12px;line-height:1.7}.edge-audit-head code{color:#08758a}.edge-audit-table{border-top:1px solid var(--line)}.edge-audit-row{color:#5e6c78;border-bottom:1px solid #e3e8eb;grid-template-columns:.8fr 1fr 1fr .8fr;align-items:center;gap:14px;min-height:54px;padding:10px 24px;font-size:12px;display:grid}.edge-audit-row.head{color:#7b8791;background:#f1f4f5;min-height:42px;font-size:10px;font-weight:800}.edge-audit-row code{color:#455a69}.edge-audit-row b{color:#087d66}.all-directions-proof{color:#fff;background:#172534;grid-template-columns:180px 1fr;gap:24px;padding:24px;display:grid}.all-directions-proof>span{color:#7fd4e4;font-size:12px;font-weight:850}.all-directions-proof p{color:#bbc7d1;margin:0;font-size:12px;line-height:1.8}.all-directions-proof code{color:#ffd475;white-space:nowrap;margin:0 3px}.structure-final-chain{grid-template-columns:1fr auto 1fr auto 1fr;align-items:stretch;gap:10px;margin-top:18px;display:grid}.structure-final-chain>div{background:#f0f3f4;border-radius:9px;flex-direction:column;justify-content:space-between;min-height:105px;padding:18px;display:flex}.structure-final-chain>div.answer{background:#e3f5f7;border:1px solid #addde5}.structure-final-chain>b{color:#08758a;align-self:center;font-size:10px}.structure-final-chain span{color:#7b8791;font-family:var(--font-geist-mono), monospace;font-size:9px;font-weight:850}.structure-final-chain strong{font-size:13px;line-height:1.5}.inline-button,.flow-toolbar button{cursor:pointer;min-height:40px;color:var(--ink);background:#fff;border:1px solid #9faab5;border-radius:7px;padding:0 16px;font-weight:720}.mini-result{color:#697685;min-height:64px;font-size:13px;line-height:1.65}.equation-chain{grid-template-columns:1fr auto 1fr;align-items:center;gap:22px;margin:24px 0;display:grid}.equation-chain>div{border:1px solid var(--line);background:#fff;border-radius:12px;min-height:112px;padding:20px}.equation-chain span,.equation-chain small,.equation-chain strong{display:block}.equation-chain span{color:var(--cyan);font-family:var(--font-geist-mono), monospace;margin-bottom:11px;font-size:11px;font-weight:800}.equation-chain strong{margin-bottom:8px;font-size:16px}.equation-chain small{color:var(--muted)}.equation-chain b{font-size:28px}.concept-pause{background:#fff7e1;border:1px solid #ead08b;border-left:5px solid #e6a11a;border-radius:0 12px 12px 0;max-width:860px;margin:0 0 44px;padding:28px 30px}.concept-pause span,.concept-pause strong{display:block}.concept-pause span{color:#8b5b05;font-family:var(--font-geist-mono), monospace;margin-bottom:16px;font-size:10px;font-weight:900}.concept-pause strong{font-size:18px;line-height:1.55}.concept-pause p{color:#6b5a38;max-width:730px;margin:12px 0 0;font-size:12px;line-height:1.8}.mainline-payoff{background:#e8f7f3;border:1px solid #b8ded4;border-left:5px solid #25947b;border-radius:0 12px 12px 0;max-width:850px;margin:34px 0;padding:28px 30px}.mainline-payoff span,.mainline-payoff strong{display:block}.mainline-payoff span{color:#17614f;font-family:var(--font-geist-mono), monospace;margin-bottom:14px;font-size:10px;font-weight:850}.mainline-payoff strong{font-size:17px;line-height:1.55}.mainline-payoff p{color:#446b61;margin:10px 0 0;font-size:12px;line-height:1.8}.bipartite-motivation{grid-template-columns:1fr 1fr;gap:16px;margin:0 0 36px;display:grid}.bipartite-motivation>div{border:1px solid var(--line);background:#fff;border-top:4px solid #79c7d6;border-radius:12px;min-height:230px;padding:30px}.bipartite-motivation>div:last-child{border-top-color:#e6a11a}.bipartite-motivation span,.bipartite-motivation strong,.bipartite-motivation code{display:block}.bipartite-motivation span{color:#08758a;font-family:var(--font-geist-mono), monospace;margin-bottom:24px;font-size:10px;font-weight:850}.bipartite-motivation strong{font-size:18px;line-height:1.5}.bipartite-motivation p{color:#5e6c78;margin:12px 0 22px;font-size:12px;line-height:1.75}.bipartite-motivation code{color:#08758a;background:#f0f4f5;border-radius:5px;width:fit-content;padding:8px 10px;font-size:11px}.formal-definition{color:#fff;background:#172534;border-radius:16px;grid-template-columns:1.2fr .8fr;align-items:center;gap:32px;margin:0 0 36px;padding:34px;display:grid}.formal-definition h3{margin:6px 0 14px;font-size:26px;line-height:1.4}.formal-definition>div:first-child>p:last-child{color:#bdc9d3;margin:0;font-size:13px;line-height:1.85}.formal-definition>div:first-child code{color:#ffd475;margin:0 3px}.formal-lines{background:#40556a;border:1px solid #40556a;border-radius:8px;grid-template-columns:1fr 1fr;gap:1px;display:grid;overflow:hidden}.formal-lines code,.formal-lines small{background:#22374a;min-height:60px;padding:15px}.formal-lines code{color:#ffd475;place-items:center;font-size:13px;font-weight:800;display:grid}.formal-lines small{color:#c4ced7;align-items:center;font-size:10px;line-height:1.5;display:flex}.definition-warning{color:#6b572c;background:#fff7e1;border-left:4px solid #e6a11a;margin-top:22px;padding:14px 16px;font-size:11px;line-height:1.65}.bipartite-foundation-visual{border:1px solid var(--line);background:#fff;border-radius:16px;margin:44px 0 30px;overflow:hidden}.bipartite-foundation-visual>div{padding:30px 32px 22px}.bipartite-foundation-visual h3{margin:6px 0 10px;font-size:27px;line-height:1.4}.bipartite-foundation-visual>div>p:last-child{color:#61707c;max-width:760px;margin:0;font-size:12px;line-height:1.8}.bipartite-foundation-visual img{background:#fffdf8;border-top:1px solid #e2e7ea;border-bottom:1px solid #e2e7ea;width:100%;height:auto;display:block}.bipartite-foundation-visual figcaption{color:#677580;text-align:center;padding:17px 24px;font-size:11px;line-height:1.75}.bipartite-properties{grid-template-columns:1fr;gap:12px;max-width:850px;margin:34px 0 38px;display:grid}.extension-topic>.bipartite-properties{background:#f7f9fa;max-width:none;margin:0;padding:20px}.bipartite-properties>div{border:1px solid var(--line);background:#fff;border-left:5px solid #79c7d6;border-radius:0 10px 10px 0;min-height:146px;padding:28px 30px}.bipartite-properties span,.bipartite-properties strong{display:block}.bipartite-properties span{color:#08758a;font-family:var(--font-geist-mono), monospace;margin-bottom:20px;font-size:10px;font-weight:850}.bipartite-properties strong{font-size:16px;line-height:1.5}.bipartite-properties p{color:#61707d;margin:10px 0 0;font-size:11px;line-height:1.75}.detection-body{background:#f8fafb;grid-template-columns:1fr 1fr;gap:22px;padding:26px;display:grid}.detection-body ol{margin:0;padding-left:22px}.detection-body li{color:#536270;margin-bottom:12px;font-size:12px;line-height:1.75}.detection-body pre{background:#172534;border-radius:8px;margin:0;padding:20px;overflow-x:auto}.detection-body pre code{color:#ffd475;font-size:11px;line-height:1.65}.detection-body>p{color:#35685b;background:#e8f7f3;border-left:4px solid #25947b;grid-column:1/-1;margin:0;padding:16px;font-size:11px;line-height:1.75}.detection-body>p code{color:#08758a;margin:0 3px;font-weight:850}.algorithm-payoff{max-width:800px;margin:52px 0 24px}.application-map-topic>.algorithm-payoff{background:#f7f9fa;max-width:none;margin:0;padding:28px 28px 18px}.application-map-topic>.bipartite-topic-lab{border:0;border-top:1px solid var(--line);box-shadow:none;border-radius:0;margin:0}.algorithm-payoff h3{margin:6px 0 12px;font-size:28px;line-height:1.4}.algorithm-payoff>p:not(.diagram-label){color:#5b6a77;margin:0;font-size:13px;line-height:1.85}.payoff-types{flex-wrap:wrap;gap:8px;margin-top:20px;display:flex}.payoff-types span{color:#42707a;background:#edf4f5;border-radius:5px;padding:8px 11px;font-size:10px;font-weight:800}.bipartite-topic-lab{border:1px solid var(--line);background:#fff;border-radius:16px;grid-template-columns:230px 1fr;gap:18px;margin:0 0 26px;padding:20px;display:grid;box-shadow:0 16px 40px #1725340d}.bipartite-topic-tabs{align-content:start;gap:6px;display:grid}.bipartite-topic-tabs button{cursor:pointer;color:#5b6975;text-align:left;background:#f3f5f6;border:1px solid #0000;border-radius:6px;min-height:44px;padding:0 14px;font-size:11px;font-weight:800}.bipartite-topic-tabs button.active{color:#fff;background:#172534;border-color:#172534}.bipartite-topic-tabs button:focus-visible{outline-offset:2px;outline:3px solid #9adce7}.bipartite-topic-detail{background:#f8fafb;border:1px solid #dce3e7;border-radius:10px;overflow:hidden}.topic-detail-head{background:#e8f7f3;border-bottom:1px solid #cce6df;min-height:150px;padding:28px;position:relative}.topic-detail-head span{color:#17614f;font-family:var(--font-geist-mono), monospace;margin-bottom:18px;font-size:10px;font-weight:850;display:block}.topic-detail-head h3{margin:0;font-size:30px}.topic-detail-head code{color:#08758a;background:#fff;border-radius:5px;width:fit-content;margin-top:18px;padding:7px 10px;font-size:11px;font-weight:850;display:block}.topic-detail-row{border-bottom:1px solid #dfe5e8;grid-template-columns:135px 1fr;align-items:center;gap:20px;min-height:88px;padding:20px 24px;display:grid}.topic-detail-row:last-child{border-bottom:0}.topic-detail-row>span{color:#08758a;font-family:var(--font-geist-mono), monospace;font-size:10px;font-weight:850}.topic-detail-row p{color:#536270;margin:0;font-size:11px;line-height:1.75}.topic-detail-row.example{background:#fff7e1}.source-topic .concept-sources{margin:0}.concept-sources{background:#e0e6e9;gap:1px;padding:20px;display:grid}.concept-sources a{color:#08758a;background:#fff;padding:16px 18px;font-size:11px;font-weight:750;line-height:1.6;text-decoration:none}.concept-sources a:hover,.concept-sources a:focus-visible{background:#edf8fa;outline:none}.cover-lab{margin:30px 0 44px;padding:24px}.cover-toolbar{justify-content:space-between;align-items:flex-end;gap:24px;margin-bottom:18px;display:flex}.cover-toolbar>div:first-child span,.cover-toolbar>div:first-child strong,.cover-toolbar>div:first-child small{display:block}.cover-toolbar>div:first-child span{color:#08758a;font-family:var(--font-geist-mono), monospace;margin-bottom:8px;font-size:10px;font-weight:850}.cover-toolbar>div:first-child strong{margin-bottom:5px;font-size:20px}.cover-toolbar>div:first-child small{color:#6c7984;font-size:11px}.cover-actions{gap:7px;display:flex}.cover-actions button{cursor:pointer;color:#405061;background:#fff;border:1px solid #a9b3bc;border-radius:7px;min-height:40px;padding:0 14px;font-size:11px;font-weight:800}.cover-actions button.active{color:#fff;background:#172534;border-color:#172534}.cover-actions button:focus-visible{outline-offset:2px;outline:3px solid #9adce7}.cover-legend{color:#687580;flex-wrap:wrap;gap:18px;margin:15px 4px 0;font-size:10px;font-weight:750;display:flex}.cover-legend span{align-items:center;gap:7px;display:inline-flex}.cover-legend span:before{content:"";background:#269277;border-radius:3px;flex:none;width:24px;height:3px}.cover-legend .cover-node-key:before{background:#ffe0dc;border:2px solid #d83d35;border-radius:50%;width:12px;height:12px}.cover-legend .covered-edge-key:before{background:0 0;border-top:3px dashed #269277;height:0}.cover-legend .uncovered-edge-key:before{background:#dc4740}.cover-caption{border-left:4px solid;border-radius:0 8px 8px 0;margin-top:15px;padding:15px 17px;font-size:12px;font-weight:720;line-height:1.7}.cover-caption.danger{color:#8e2f29;background:#fff0ed;border-color:#d83d35}.cover-caption.safe{color:#17614f;background:#e8f7f3;border-color:#25947b}.concept-reveal{color:#fff;background:#172534;border-radius:13px;max-width:860px;margin:0 0 30px;padding:30px 32px}.concept-reveal h3{margin:7px 0 14px;font-size:26px;line-height:1.4}.concept-reveal>p:last-child{color:#c2ced7;margin:0;font-size:13px;line-height:1.85}.concept-reveal>p:last-child strong{color:#ffd475}.cover-core{grid-template-columns:1fr;gap:12px;max-width:820px;margin:0 0 36px;display:grid}.cover-core>div{border:1px solid var(--line);background:#fff;border-top:4px solid #79c7d6;border-radius:10px;min-height:150px;padding:28px}.cover-core span,.cover-core strong{display:block}.cover-core span{color:#08758a;font-family:var(--font-geist-mono), monospace;margin-bottom:20px;font-size:10px;font-weight:850}.cover-core strong{font-size:15px;line-height:1.5}.cover-core p{color:#64727e;margin:10px 0 0;font-size:11px;line-height:1.72}.conversion-chain{grid-template-columns:1fr auto 1fr auto 1fr;align-items:stretch;gap:12px;margin:40px 0 22px;display:grid}.conversion-chain>div{border:1px solid var(--line);background:#fff;border-radius:11px;flex-direction:column;justify-content:center;min-height:170px;padding:24px;display:flex}.conversion-chain>div.answer{background:#e8f7f3;border-color:#b8ded4}.conversion-chain>b{color:#08758a;text-align:center;align-self:center;max-width:70px;font-size:10px;line-height:1.5}.conversion-chain span,.conversion-chain strong,.conversion-chain small{display:block}.conversion-chain span{color:#08758a;font-family:var(--font-geist-mono), monospace;margin-bottom:16px;font-size:10px;font-weight:850}.conversion-chain strong{font-size:15px;line-height:1.55}.conversion-chain small{color:#697783;margin-top:10px;font-size:10px;line-height:1.65}.concrete-minimum{grid-template-columns:1fr 1fr;gap:12px;margin:0 0 30px;display:grid}.concrete-minimum>div{border:1px solid var(--line);background:#fff;border-top:4px solid #dc4740;border-radius:10px;min-height:210px;padding:28px}.concrete-minimum>div.answer{background:#e8f7f3;border-top-color:#25947b}.concrete-minimum span,.concrete-minimum strong{display:block}.concrete-minimum span{color:#8e2f29;font-family:var(--font-geist-mono), monospace;margin-bottom:18px;font-size:10px;font-weight:850}.concrete-minimum>div.answer span{color:#17614f}.concrete-minimum strong{font-size:16px;line-height:1.55}.concrete-minimum p{color:#5f6e7a;margin:12px 0 0;font-size:12px;line-height:1.8}.cover-detail>div{padding:24px}.cover-math{background:#f8fafb}.cover-formula{background:#172534;border-radius:8px;gap:7px;margin-bottom:20px;padding:20px;display:grid}.cover-formula code{color:#ffd475;font-family:var(--font-geist-mono), monospace;font-size:13px;line-height:1.7}.cover-math dl{background:#dfe5e8;border:1px solid #dfe5e8;border-radius:8px;grid-template-columns:1fr 1fr;gap:1px;margin:0;display:grid;overflow:hidden}.cover-math dl>div{background:#fff;grid-template-columns:54px 1fr;align-items:center;gap:12px;min-height:74px;padding:15px;display:grid}.cover-math dt{color:#08758a;font-family:var(--font-geist-mono), monospace;font-weight:900}.cover-math dd{color:#5d6b77;margin:0;font-size:11px;line-height:1.65}.cover-math>p{color:#5b6976;margin:20px 0 0;font-size:12px;line-height:1.8}.set-relation-visual{border:1px solid var(--line);background:#fff;border-radius:16px;margin:42px 0 28px;overflow:hidden}.abstraction-topic .set-relation-visual{border:0;border-top:1px solid var(--line);border-radius:0;margin:0}.set-relation-visual>div{padding:28px 30px 22px}.set-relation-visual h3{margin:5px 0 10px;font-size:26px;line-height:1.35}.set-relation-visual>div>p:last-child{color:#64727e;max-width:760px;margin:0;font-size:12px;line-height:1.75}.set-relation-visual img{background:#fffdf8;border-top:1px solid #e2e7ea;border-bottom:1px solid #e2e7ea;width:100%;height:auto;display:block}.set-relation-visual figcaption{color:#667580;text-align:center;padding:17px 24px;font-size:11px;line-height:1.75}.minimum-contrast{background:#f8fafb;grid-template-columns:1fr 1fr;gap:12px;display:grid}.minimum-contrast>div{border:1px solid var(--line);background:#fff;border-top:4px solid #9ba6af;border-radius:8px;min-height:170px;padding:22px}.minimum-contrast>div.answer{background:#e8f7f3;border-top-color:#25947b}.minimum-contrast span,.minimum-contrast strong,.minimum-proof span,.minimum-proof strong{display:block}.minimum-contrast span,.minimum-proof span{color:#08758a;font-family:var(--font-geist-mono), monospace;margin-bottom:18px;font-size:10px;font-weight:850}.minimum-contrast strong,.minimum-proof strong{font-size:14px;line-height:1.55}.minimum-contrast p,.minimum-proof p{color:#61707c;margin:10px 0 0;font-size:11px;line-height:1.75}.minimum-contrast>p{color:#66552f;background:#fff7e1;border-left:4px solid #e6a11a;border-radius:0 7px 7px 0;grid-column:1/-1;margin:2px 0 0;padding:18px;font-size:12px;line-height:1.8}.minimum-contrast code{color:#08758a;font-family:var(--font-geist-mono), monospace}.minimum-proof{background:#f8fafb;grid-template-columns:repeat(3,1fr);gap:12px;display:grid}.minimum-proof>div{border:1px solid var(--line);background:#fff;border-top:4px solid #9ba6af;border-radius:8px;min-height:180px;padding:22px}.minimum-proof>div.answer{background:#e8f7f3;border-top-color:#25947b}.matching-definition{grid-template-columns:1fr 1fr;gap:14px;margin:0 0 34px;display:grid}.matching-definition>div{border:1px solid var(--line);background:#fff;border-top:4px solid #79c7d6;border-radius:10px;min-height:190px;padding:28px}.matching-definition>div:last-child{background:#e8f7f3;border-top-color:#25947b}.matching-definition span,.matching-definition strong{display:block}.matching-definition span{color:#08758a;font-family:var(--font-geist-mono), monospace;margin-bottom:20px;font-size:10px;font-weight:850}.matching-definition strong{font-size:16px;line-height:1.5}.matching-definition p{color:#5f6e7a;margin:11px 0 0;font-size:11px;line-height:1.75}.concept-roles{grid-template-columns:repeat(4,1fr);gap:10px;margin:24px 0 38px;display:grid}.role-topic .concept-roles{background:#f7f9fa;margin:0;padding:20px}.concept-roles-head{grid-column:1/-1;margin-bottom:6px}.concept-roles-head h3{margin:5px 0 0;font-size:24px}.concept-role{border:1px solid var(--line);background:#fff;border-top:4px solid #9aa6b0;border-radius:8px;min-height:180px;padding:20px}.concept-role.answer-role{border-top-color:var(--cyan);background:#e9f7f9}.concept-role.tool-role{background:var(--amber-soft);border-top-color:var(--amber)}.concept-role span,.concept-role strong{display:block}.concept-role span{color:#08758a;font-family:var(--font-geist-mono), monospace;margin-bottom:22px;font-size:10px;font-weight:850}.concept-role strong{font-size:14px;line-height:1.45}.concept-role p{color:#65737f;margin:10px 0 0;font-size:11px;line-height:1.65}.konig-visual{border:1px solid var(--line);background:#fff;border-radius:16px;margin:34px 0 14px;overflow:hidden}.konig-visual-head{padding:28px 30px 20px}.konig-visual-head h3{margin:5px 0 10px;font-size:26px;line-height:1.35}.konig-visual-head>p:last-child{color:#64727e;margin:0;font-size:12px;line-height:1.7}.konig-visual img{background:#fffdf8;border-top:1px solid #e2e7ea;border-bottom:1px solid #e2e7ea;width:100%;height:auto;display:block}.konig-visual figcaption{color:#6b7883;text-align:center;padding:15px 22px;font-size:11px;line-height:1.65}.konig-reasoning{grid-template-columns:repeat(3,1fr);gap:10px;margin:14px 0 30px;display:grid}.konig-reasoning>div{border:1px solid var(--line);background:#fff;border-top:4px solid #8e9aa4;border-radius:9px;min-height:210px;padding:22px}.konig-reasoning>div.equality{background:#e8f7f3;border-top-color:#25947b}.konig-reasoning>div.counter{background:#fff2ef;border-top-color:#d83d35}.konig-reasoning span,.konig-reasoning strong{display:block}.konig-reasoning span{color:#08758a;font-family:var(--font-geist-mono), monospace;margin-bottom:22px;font-size:10px;font-weight:850}.konig-reasoning strong{font-size:15px;line-height:1.5}.konig-reasoning p{color:#61707d;margin:11px 0 0;font-size:11px;line-height:1.7}.deep-detail code{color:#08758a;font-family:var(--font-geist-mono), monospace}.formula{background:var(--cyan-soft);color:#066c80;font-family:var(--font-geist-mono), monospace;text-align:center;border:1px solid #a5dce6;border-radius:9px;margin:28px 0;padding:20px 24px;font-size:clamp(16px,2vw,22px);font-weight:800}.formula.final{background:var(--amber-soft);color:#78520a;border-color:#e7c66f;margin-top:36px}.deep-detail{border:1px solid var(--line);background:#fff;border-radius:11px;margin:28px 0}.deep-detail summary{cursor:pointer;padding:20px 22px;font-weight:800}.deep-detail>div{color:#526171;padding:0 22px 22px;line-height:1.85}.topic-detail{border:1px solid var(--line);background:#fff;border-radius:12px;margin:22px 0;overflow:hidden}.topic-detail[open]{border-color:#a9d8e1;box-shadow:0 14px 36px #1f3e4e12}.topic-detail>summary{cursor:pointer;grid-template-columns:104px 1fr auto 24px;align-items:center;gap:16px;min-height:78px;padding:0 22px;list-style:none;display:grid}.topic-detail>summary::-webkit-details-marker{display:none}.topic-detail>summary:after{content:"+";color:var(--cyan);text-align:center;font-size:25px;font-weight:400}.topic-detail[open]>summary:after{content:"−"}.topic-detail>summary>span{color:#08758a;font-family:var(--font-geist-mono), monospace;font-size:10px;font-weight:850}.topic-detail>summary>strong{color:#1c2d3b;font-size:14px}.topic-detail>summary>small{color:#77848f;font-size:10px;line-height:1.5}.topic-detail[open]>summary{background:#f2fafb;border-bottom:1px solid #d8e5e8}.implementation-detail .implementation-cases{background:#f7f9fa;margin:0;padding:20px}.dp-topic>.dp-lab{border-radius:0;margin:0}.concept-topic .checkerboard-card{border:0;border-radius:0;margin:0}.glossary-topic .glossary{border:0;margin:0}.glossary{background:var(--line);border:1px solid var(--line);grid-template-columns:repeat(3,1fr);gap:1px;margin:34px 0;display:grid}.glossary>div{background:#fff;min-height:112px;padding:22px}.glossary strong,.glossary span{display:block}.glossary strong{margin-bottom:12px;font-size:16px}.glossary span{color:var(--muted);font-size:13px}.flow-reframe{grid-template-columns:1fr auto 1fr;align-items:stretch;gap:16px;margin:28px 0 16px;display:grid}.flow-basics{grid-template-columns:repeat(4,1fr);gap:10px;margin:28px 0 34px;display:grid}.flow-basics>div{border:1px solid var(--line);background:#fff;border-top:4px solid #79c7d6;border-radius:10px;min-height:190px;padding:24px 20px}.flow-basics span,.flow-basics strong{display:block}.flow-basics span{color:#08758a;font-family:var(--font-geist-mono), monospace;margin-bottom:18px;font-size:10px;font-weight:850}.flow-basics strong{font-size:15px;line-height:1.5}.flow-basics p{color:#61707d;margin:10px 0 0;font-size:11px;line-height:1.75}.glossary-topic .glossary{grid-template-columns:repeat(2,1fr)}.flow-reframe>div{border:1px solid var(--line);background:#fff;border-radius:11px;gap:9px;padding:24px;display:grid}.flow-reframe>div.network-side{background:#e9f7f9;border-color:#addde5}.flow-reframe>b{color:#08758a;text-align:center;align-self:center;max-width:100px;font-size:11px;line-height:1.5}.flow-reframe strong{font-size:20px}.flow-reframe span{color:#60707d;font-size:12px;line-height:1.6}.flow-warning{border-left-color:var(--amber);background:#fff4d8;margin:16px 0 30px}.construction{grid-template-columns:repeat(3,1fr);gap:12px;margin:30px 0;display:grid}.construction>div{color:#fff;background:#172534;border-radius:12px;min-height:138px;padding:20px;position:relative;overflow:hidden}.construction>div.entry-edge{box-shadow:inset 0 5px #42b5c9}.construction>div.conflict-edge{box-shadow:inset 0 5px #e1554f}.construction>div.exit-edge{box-shadow:inset 0 5px #e4a31b}.construction>div>span{color:#ffffff14;font-size:100px;font-weight:900;position:absolute;top:-20px;right:12px}.construction p{margin:24px 0 10px;font-weight:760;position:relative}.construction small{color:#aab8c5;line-height:1.6;position:relative}.flow-lab{margin-top:30px;padding:22px}.flow-toolbar{justify-content:space-between;align-items:center;gap:20px;margin-bottom:18px;display:flex}.flow-toolbar span,.flow-toolbar strong,.flow-toolbar small{display:block}.flow-toolbar span{color:var(--muted);margin-bottom:5px;font-size:12px}.flow-toolbar small{color:#71808c;margin-top:5px;font-size:10px}.flow-toolbar>div:last-child{gap:8px;display:flex}.flow-toolbar button:disabled{cursor:not-allowed;opacity:.42}.flow-toolbar button.accent{background:var(--amber);border-color:var(--amber);color:#320}.flow-caption{background:var(--amber-soft);color:#73500c;text-align:center;border-radius:7px;margin:16px 0 0;padding:14px;font-size:14px}.flow-decoding{grid-template-columns:1fr auto 1fr auto 1fr auto 1fr;align-items:stretch;gap:10px;margin:24px 0 14px;display:grid}.flow-decoding>div{border:1px solid var(--line);background:#fff;border-radius:9px;padding:20px}.flow-decoding>div:last-child{background:#e9f7f9;border-color:#addde5}.flow-decoding>div.answer{background:#172534;border-color:#172534}.flow-decoding>div.answer span{color:#7fd4e4}.flow-decoding>div.answer strong{color:#fff}.flow-decoding>div.answer small{color:#b7c4ce}.flow-decoding>b{color:#08758a;text-align:center;align-self:center;max-width:70px;font-size:10px;line-height:1.45}.flow-decoding span,.flow-decoding strong,.flow-decoding small{display:block}.flow-decoding span{color:#08758a;font-family:var(--font-geist-mono), monospace;margin-bottom:14px;font-size:10px;font-weight:850}.flow-decoding strong{font-size:13px;line-height:1.5}.flow-decoding small{color:#71808c;margin-top:8px;font-size:10px;line-height:1.55}.flow-conclusion{margin-top:14px}.result-strip{grid-template-columns:1fr auto 1fr auto 1fr;align-items:center;gap:18px;margin:36px 0;display:grid}.result-strip>div{text-align:center;background:#eef1f3;border-radius:12px;padding:24px}.result-strip .answer{background:var(--cyan-soft);border:1px solid #91ced9}.result-strip span,.result-strip strong{display:block}.result-strip span{color:var(--muted);font-size:12px}.result-strip strong{margin-top:10px;font-size:32px}.result-strip i{font-size:25px;font-style:normal;font-weight:800}.code-detail pre{color:#d8e3ed;background:#101b27;border-radius:0 0 10px 10px;max-height:620px;margin:0;padding:24px;font-size:13px;line-height:1.7;overflow:auto}.checklist{background:var(--line);border:1px solid var(--line);grid-template-columns:repeat(5,1fr);gap:1px;margin:36px 0;display:grid}.route-split{grid-template-columns:1fr 1fr;gap:14px;margin:28px 0 34px;display:grid}.route-split>div{border:1px solid var(--line);background:#fff;border-top:4px solid #79c7d6;border-radius:12px;min-height:210px;padding:28px}.route-split>div:last-child{border-top-color:#e6a11a}.route-split span,.route-split strong,.route-split code{display:block}.route-split span{color:#08758a;font-family:var(--font-geist-mono), monospace;margin-bottom:18px;font-size:10px;font-weight:850}.route-split strong{font-size:17px;line-height:1.5}.route-split code{color:#08758a;background:#edf4f5;border-radius:5px;width:fit-content;margin-top:16px;padding:8px 10px;font-size:11px}.route-split p{color:#61707d;margin:14px 0 0;font-size:11px;line-height:1.75}.checklist>div{background:#fff;min-height:245px;padding:22px}.checklist span{color:var(--cyan);font-family:var(--font-geist-mono), monospace;margin-bottom:54px;font-size:11px;font-weight:800;display:block}.checklist strong{margin-bottom:12px;display:block}.checklist p{color:var(--muted);margin:0;font-size:13px;line-height:1.65}.counter-grid{grid-template-columns:1fr 1fr;gap:16px;display:grid}.counter-card{background:var(--amber-soft);border-top:5px solid var(--amber);border-radius:8px;min-height:230px;padding:30px}.counter-card.danger{background:var(--red-soft);border-top-color:var(--red)}.counter-card>span{font-family:var(--font-geist-mono), monospace;font-size:11px;font-weight:800}.counter-card h3{margin:34px 0 12px;font-size:22px}.counter-card p{color:#5b5547;margin:0;line-height:1.75}.applications{grid-template-columns:repeat(4,1fr);gap:12px;margin-top:44px;display:grid}.applications>.diagram-label{grid-column:1/-1}.applications>div{border:1px solid var(--line);background:#fff;border-radius:10px;min-height:140px;padding:22px}.applications span{color:var(--cyan);margin-bottom:30px;font-weight:800;display:block}.applications p{color:var(--muted);margin:0;font-size:13px;line-height:1.6}.closing{color:#fff;background:#172534;border-radius:24px 4px;margin-top:100px;padding:70px 60px}.closing p{color:#9fb0c0}.closing h2{margin:30px 0 50px;font-size:clamp(38px,6vw,72px);line-height:1.2}.closing a{color:#79d6e8;font-weight:800}.implementation-cases{grid-template-columns:1fr 1fr;gap:16px;margin:20px 0;display:grid}.implementation-card{border:1px solid var(--line);background:#fff;border-radius:14px;padding:28px}.implementation-card.flip-card{perspective:1200px;background:0 0;border:0;min-height:640px;padding:0}.flip-card-inner{width:100%;min-height:640px;transform-style:preserve-3d;transition:transform .28s cubic-bezier(.25,1,.5,1);position:relative}.flip-card.is-flipped .flip-card-inner{transform:rotateY(180deg)}.flip-face{backface-visibility:hidden;border:1px solid var(--line);background:#fff;border-radius:14px;padding:28px;position:absolute;inset:0;overflow:auto}.flip-front{pointer-events:auto}.flip-card.is-flipped .flip-front{pointer-events:none}.flip-back{pointer-events:none;color:#fff;background:#172534;border-color:#172534;transform:rotateY(180deg)}.flip-card.is-flipped .flip-back{pointer-events:auto}.pain-trigger{cursor:pointer;border:0;border-bottom:1px dashed var(--cyan);color:#076f84;background:0 0;margin:0 3px;padding:0 2px 2px;font-weight:800;display:inline}.pain-trigger:hover,.pain-trigger:focus-visible{background:var(--cyan-soft);outline:none}.flip-close{cursor:pointer;color:#fff;background:#2a3e52;border:1px solid #587086;border-radius:50%;place-items:center;width:36px;height:36px;font-size:23px;line-height:1;display:grid;position:absolute;top:16px;right:18px}.flip-close:hover,.flip-close:focus-visible{outline-offset:2px;background:#3a536a;outline:2px solid #85d8e8}.flip-back .diagram-label{color:#75d4e7;margin-right:48px}.flip-back>h3{max-width:390px;margin:0 0 12px;font-size:24px}.flip-intro{color:#b8c5d1;margin:0 0 18px;font-size:13px;line-height:1.7}.repeat-branches{grid-template-columns:1fr 1fr;gap:9px;display:grid}.repeat-branches>div{background:#22364a;border:1px solid #40566b;border-radius:8px;padding:15px}.repeat-branches span,.repeat-branches code,.repeat-branches b{display:block}.repeat-branches span{color:#83d9ea;font-family:var(--font-geist-mono), monospace;margin-bottom:10px;font-size:10px;font-weight:800}.repeat-branches code{color:#ffd475;font-size:11px;line-height:1.55}.repeat-branches p{color:#bdc9d4;min-height:63px;margin:11px 0;font-size:12px;line-height:1.55}.repeat-branches b{color:#ff9189;border-top:1px solid #40566b;padding-top:10px;font-size:11px}.cache-contrast{grid-template-columns:1fr auto 1fr;align-items:center;gap:10px;margin-top:12px;display:grid}.cache-contrast>div{color:var(--ink);background:#eef9fb;border-radius:7px;padding:12px}.cache-contrast span,.cache-contrast code{display:block}.cache-contrast span{color:#08758a;margin-bottom:5px;font-size:10px;font-weight:800}.cache-contrast code{font-size:10px;line-height:1.45}.cache-contrast>strong{color:var(--amber)}.flip-note{border-left:3px solid var(--amber);color:#d5dee6;background:#ffd06a1f;margin:14px 0 0;padding:13px;font-size:12px;line-height:1.65}.implementation-head{align-items:center;gap:16px;margin-bottom:24px;display:flex}.implementation-head>span{background:var(--ink);color:#fff;width:42px;height:42px;font-family:var(--font-geist-mono), monospace;border-radius:50%;flex:none;place-items:center;font-weight:850;display:grid}.implementation-head small,.implementation-head h3{margin:0;display:block}.implementation-head small{color:var(--cyan);font-family:var(--font-geist-mono), monospace;letter-spacing:.08em;margin-bottom:5px;font-size:10px;font-weight:800}.implementation-head h3{font-size:20px}.implementation-card ol{color:#526171;gap:8px;min-height:142px;margin:0;padding-left:22px;font-size:14px;line-height:1.55;display:grid}.implementation-card pre{color:#dbe7f1;background:#13202d;border-radius:9px;min-height:190px;margin:22px 0 18px;padding:20px;font-size:12px;line-height:1.65;overflow:auto}.implementation-pain{color:#536272;background:#f1f3f4;border-radius:8px;margin:0;padding:16px;font-size:13px;line-height:1.75}.implementation-pain strong:first-child{color:#087d66}.optimization-chain{grid-template-columns:1fr auto 1fr auto 1fr;align-items:stretch;gap:12px;margin:24px 0 42px;display:grid}.optimization-chain>div{background:#eef9fb;border:1px solid #b4dce4;border-radius:10px;align-items:center;gap:13px;min-height:112px;padding:18px;display:flex}.optimization-chain>div span{background:var(--cyan);color:#fff;width:32px;height:32px;font-family:var(--font-geist-mono), monospace;border-radius:7px;flex:none;place-items:center;font-size:12px;font-weight:850;display:grid}.optimization-chain p{margin:0;font-size:13px;font-weight:730;line-height:1.45}.optimization-chain>b{color:#8a620f;text-align:center;align-self:center;max-width:104px;font-size:11px;line-height:1.45}.optimization-chain>b:after{content:" →";color:var(--amber);font-size:18px}.route-switch{grid-template-columns:1fr 1fr;gap:12px;margin-top:28px;display:grid}.route-switch>div{border:1px solid var(--line);border-left:5px solid var(--cyan);background:#fff;border-radius:8px;padding:20px}.route-switch>div:last-child{background:#f4f6f7;border-left-color:#9ba6af}.route-switch span,.route-switch strong{display:block}.route-switch span{color:#08758a;font-family:var(--font-geist-mono), monospace;margin-bottom:8px;font-size:10px;font-weight:850}.route-switch strong{font-size:15px}.route-switch p{color:#667480;margin:8px 0 0;font-size:11px;line-height:1.6}.dp-lab{color:#fff;background:#172534;border-radius:18px;margin:38px 0 22px;padding:32px}.dp-intro{max-width:790px}.dp-intro h3{margin:0 0 16px;font-size:30px}.dp-intro>p:not(.diagram-label){color:#bdc9d4;line-height:1.85}.mask-definition{background:#83d8e81a;border:1px solid #405f70;border-radius:9px;grid-template-columns:auto 1fr;align-items:center;gap:20px;margin-top:24px;padding:18px 20px;display:grid}.mask-definition>code{color:#ffd475;font-size:15px;font-weight:800}.mask-definition>p{color:#c5d0d9;margin:0;font-size:13px;line-height:1.7}.mask-definition strong{color:#fff}.mask-example{grid-template-columns:1fr 1fr;gap:14px;margin:28px 0;display:grid}.mask-row{background:#223548;border:1px solid #405468;border-radius:10px;padding:20px}.mask-row>span,.mask-row>code,.mask-row>small{display:block}.mask-row>span{color:#83d8e8;margin-bottom:14px;font-size:12px;font-weight:800}.mask-seats{grid-template-columns:repeat(3,1fr);gap:7px;margin-bottom:15px;display:grid}.mask-seats i{border-radius:7px;place-items:center;min-height:48px;font-style:normal;font-weight:850;display:grid}.mask-seats i.open{background:var(--cyan-soft);color:#086b7e}.mask-seats i.closed{color:#e3e9ee;background:repeating-linear-gradient(135deg,#637182,#637182 7px,#718091 7px 14px)}.mask-row>code{color:#ffd475;font-size:13px}.mask-row>small{color:#aebdca;margin-top:9px}.dp-rules{grid-template-columns:repeat(3,1fr);gap:10px;display:grid}.dp-rules>div{min-height:150px;color:var(--ink);background:#f9fbfc;border-radius:9px;padding:18px}.dp-rules span{background:var(--amber-soft);color:#7b570e;border-radius:50%;place-items:center;width:28px;height:28px;margin-bottom:20px;font-size:11px;font-weight:850;display:grid}.dp-rules strong,.dp-rules code,.dp-rules small{display:block}.dp-rules strong{margin-bottom:12px;font-size:14px}.dp-rules code{color:#08758a;margin-top:6px;font-size:11px}.dp-rules small{color:#697685;margin-top:10px;font-size:11px;line-height:1.55}.dp-transition{grid-template-columns:.8fr 1.2fr;gap:10px;margin-top:10px;display:grid}.dp-transition>div{background:#223548;border:1px solid #405468;border-radius:9px;padding:20px}.dp-transition span{color:#83d8e8;margin-bottom:12px;font-size:11px;font-weight:800;display:block}.dp-transition code{color:#ffd475;font-size:13px;line-height:1.6;display:block}.dp-transition p{color:#b7c3ce;margin:12px 0 0;font-size:13px;line-height:1.65}.dp-result{background:var(--amber-soft);color:#59410f;border-radius:9px;margin-top:18px;padding:20px}.dp-result strong{margin-bottom:8px;display:block}.dp-result p{margin:0;font-size:14px;line-height:1.7}.structure-walkthrough{grid-template-columns:repeat(2,1fr);gap:12px;margin:34px 0 18px;display:grid}.structure-walkthrough:before{display:none}.structure-step{border:1px solid var(--line);background:#fff;border-radius:12px;grid-template-columns:44px 1fr;align-items:start;gap:14px;padding:22px;display:grid;position:relative}.structure-step.payoff{background:#e9f7f9;border-color:#addde5}.structure-step>span{z-index:1;border:5px solid var(--paper);color:#fff;width:38px;height:38px;font-family:var(--font-geist-mono), monospace;background:#172534;border-radius:50%;place-items:center;font-size:10px;font-weight:850;display:grid;position:relative}.structure-step.payoff>span{background:var(--cyan)}.structure-step h3{margin:5px 0 9px;font-size:20px;line-height:1.35}.structure-step div>p:not(.diagram-label){color:#5a6976;margin:0;font-size:12px;line-height:1.7}.structure-step>code{color:#ffd475;background:#172534;border-radius:7px;grid-column:2;padding:12px;font-size:11px;line-height:1.65}.structure-core{grid-template-columns:1fr 1fr;gap:14px;margin:24px 0 16px;display:grid}.structure-core>div{border:1px solid var(--line);background:#fff;border-radius:14px;padding:28px}.structure-core>.structure-payoff{background:#e9f7f9;border-color:#addde5}.structure-core h3{margin:5px 0 13px;font-size:24px;line-height:1.35}.structure-core>div>p:not(.diagram-label){color:#586775;margin:0;font-size:13px;line-height:1.75}.group-count{gap:7px;margin-top:18px;display:grid}.group-count span{color:#5d6b77;background:#f2f4f5;border-left:3px solid #9ca7b2;gap:10px;padding:10px 12px;font-size:11px;line-height:1.5;display:flex}.group-count span.active{background:var(--cyan-soft);border-left-color:var(--cyan);color:#205b68}.group-count b{color:#263946;min-width:48px}.structure-payoff>div{grid-template-columns:1fr auto 1fr;align-items:center;gap:7px;margin:18px 0;display:grid}.structure-payoff>div span{text-align:center;background:#fff;border-radius:6px;padding:11px 8px;font-size:11px;font-weight:800}.structure-payoff>div span.highlight{color:#fff;background:#172534}.structure-payoff>div b{color:#667782;text-align:center;font-size:10px}.structure-payoff>div b.turn{color:#08758a;grid-column:1/-1;padding:2px}.partition-reason{border:1px solid var(--line);background:#fff;border-radius:16px;grid-template-columns:1.35fr .65fr;gap:20px;margin:36px 0 18px;padding:30px;display:grid}.partition-copy h3,.checkerboard-card h3{margin:0 0 16px;font-size:27px}.partition-copy>p:not(.diagram-label),.checkerboard-card>div:first-child>p:not(.diagram-label){color:#526171;line-height:1.8}.partition-steps{gap:8px;display:grid}.partition-steps>div{background:#f0f2f3;border-left:4px solid #9ca7b2;border-radius:0 8px 8px 0;padding:16px}.partition-steps>div.active{background:var(--cyan-soft);border-left-color:var(--cyan)}.partition-steps span,.partition-steps strong{display:block}.partition-steps span{color:var(--muted);font-family:var(--font-geist-mono), monospace;margin-bottom:7px;font-size:10px}.partition-steps strong{font-size:13px;line-height:1.45}.checkerboard-card{background:var(--amber-soft);border:1px solid #e7c66f;border-radius:16px;grid-template-columns:1.2fr .8fr;align-items:center;gap:34px;margin:18px 0;padding:30px;display:grid}.mini-checkerboard{aspect-ratio:1;border:6px solid #6c4c13;border-radius:5px;grid-template-columns:repeat(3,1fr);justify-self:end;max-width:310px;display:grid;overflow:hidden}.mini-checkerboard>div{align-content:center;place-items:center;gap:4px;min-width:0;display:grid}.mini-checkerboard>div.light{color:#6e5218;background:#fff8e6}.mini-checkerboard>div.dark{color:#fff4d5;background:#704e15}.mini-checkerboard span{font-family:var(--font-geist-mono), monospace;font-size:12px;font-weight:800}.mini-checkerboard small{opacity:.72;font-size:10px}.structure-transition{margin-top:30px}.mode-explanation{color:#566575;text-align:center;max-width:720px;margin:18px auto 0;font-size:14px;line-height:1.75}.dp-pair-demo{background:#f8fafb;border:1px solid #d9e1e6;border-radius:14px;margin-top:18px;padding:26px}.dp-pair-head{grid-template-columns:.9fr 1.1fr;align-items:end;gap:28px;display:grid}.dp-pair-head h3{color:#172534;margin:5px 0 0;font-size:23px;line-height:1.35}.dp-pair-head>p{color:#596877;margin:0;font-size:13px;line-height:1.75}.dp-pair-head code{color:#08758a}.pair-layout{grid-template-columns:.7fr 1.3fr;gap:16px;margin-top:24px;display:grid}.pair-rows{align-content:center;gap:10px;display:grid}.pair-rows>div{background:#223548;border-radius:8px;padding:18px}.pair-rows span,.pair-rows code{display:block}.pair-rows span{color:#8fd9e7;margin-bottom:8px;font-size:11px;font-weight:800}.pair-rows code{color:#ffd475;white-space:nowrap;font-size:12px}.pair-rows>b{color:#82909d;text-align:center;font-size:11px}.compatibility-wrap{background:#fff;border:1px solid #d5dee4;border-radius:9px;overflow-x:auto}.compatibility-matrix{border-collapse:collapse;text-align:center;width:100%;min-width:480px;font-size:12px}.compatibility-matrix caption{color:#667481;text-align:left;background:#edf2f4;padding:11px 14px;font-size:11px;font-weight:750}.compatibility-matrix th,.compatibility-matrix td{border-top:1px solid #e3e8eb;border-right:1px solid #e3e8eb;padding:14px 10px}.compatibility-matrix th:last-child,.compatibility-matrix td:last-child{border-right:0}.compatibility-matrix th{color:#455461;background:#f5f7f8;font-weight:800}.compatibility-matrix td.yes{color:#17614f;background:#e6f5ef;font-weight:900}.compatibility-matrix td.no{color:#a23a2c;background:#fff0ed;font-weight:800}.pair-explanation{grid-template-columns:repeat(3,1fr);gap:10px;margin-top:12px;display:grid}.pair-explanation>div{background:#fff;border-left:3px solid #89cdda;padding:16px}.pair-explanation strong{font-size:12px}.pair-explanation p{color:#64727f;margin:8px 0 0;font-size:11px;line-height:1.65}.dp-calculation{color:#fff;background:#172534;border-radius:9px;margin-top:12px;padding:18px}.dp-calculation p{color:#b8c4ce;margin:0 0 12px;font-size:12px}.dp-calculation p code{color:#79d6e8}.dp-calculation>div{flex-wrap:wrap;gap:7px;margin-bottom:14px;display:flex}.dp-calculation span{color:#d9e1e7;font-family:var(--font-geist-mono), monospace;background:#2a4053;border-radius:4px;padding:7px 10px;font-size:10px}.dp-calculation .disabled-choice{color:#f1b6ae;background:#513838;text-decoration:line-through}.dp-calculation .best-choice{color:#9ae3d8;background:#174b4d}.dp-calculation>strong,.dp-calculation>small{display:block}.dp-calculation>strong{color:#ffd475;font-family:var(--font-geist-mono), monospace;font-size:13px;line-height:1.6}.dp-calculation>small{color:#9facb7;margin-top:7px}.logic-bridge{grid-template-columns:1fr auto 1fr auto 1fr;align-items:stretch;gap:12px;margin:34px 0 20px;display:grid}.logic-bridge>div{border:1px solid var(--line);background:#fff;border-top:4px solid #8795a1;border-radius:8px;flex-direction:column;justify-content:space-between;min-height:145px;padding:20px;display:flex}.logic-bridge>div.accent{background:var(--cyan-soft);border-top-color:var(--cyan)}.logic-bridge>b{color:#7b8792;text-align:center;align-self:center;max-width:82px;font-size:10px;line-height:1.45}.logic-bridge span{color:#778490;font-family:var(--font-geist-mono), monospace;font-size:10px;font-weight:800}.logic-bridge strong{font-size:14px;line-height:1.5}.logic-bridge small{color:#697783;font-size:10px;line-height:1.5}.partition-benefit{grid-template-columns:1fr auto 1fr;align-items:stretch;gap:14px;margin:18px 0;display:grid}.partition-benefit>div{background:#f0f2f3;border-radius:10px;grid-template-columns:1fr auto 1fr;align-items:center;gap:10px;padding:24px;display:grid}.partition-benefit>div.solvable{background:#def4f7;box-shadow:inset 0 0 0 1px #a6dce5}.partition-benefit .diagram-label,.partition-benefit>div>strong,.partition-benefit>div>small{grid-column:1/-1}.partition-benefit>div>strong{margin-bottom:8px;font-size:19px}.partition-benefit>div>span{text-align:center;background:#fff;border-radius:5px;padding:10px;font-size:11px;font-weight:800}.partition-benefit>div>b{color:#697783;text-align:center}.partition-benefit>div>small{color:#667581;margin-top:8px;line-height:1.55}.partition-benefit>i{color:#08758a;text-align:center;align-self:center;max-width:90px;font-size:10px;font-style:normal;font-weight:850;line-height:1.5}.partition-note{margin-top:16px}.application-cases{gap:10px;margin-top:48px;display:grid}.transfer-topic>.application-cases{background:#f7f9fa;margin:0;padding:24px}.application-heading{margin-bottom:14px}.application-heading h3{margin:8px 0 10px;font-size:27px}.application-heading>p:last-child{color:#64717e;max-width:720px;margin:0;font-size:13px;line-height:1.7}.application-case{border:1px solid var(--line);background:#fff;border-radius:10px;overflow:hidden}.application-case[open]{border-color:#a6dce5;box-shadow:0 12px 34px #244b5b14}.application-case summary{cursor:pointer;grid-template-columns:90px 1fr 1fr 22px;align-items:center;gap:18px;min-height:76px;padding:0 22px;list-style:none;display:grid}.application-case summary::-webkit-details-marker{display:none}.application-case summary:after{content:"+";color:var(--cyan);text-align:center;font-size:24px;font-weight:400}.application-case[open] summary:after{content:"−"}.application-case summary>span{color:var(--cyan);font-size:13px;font-weight:850}.application-case summary>strong{font-size:14px}.application-case summary>small{color:#75818c;font-size:11px;line-height:1.5}.application-body{background:#f8fafb;border-top:1px solid #dce3e7;grid-template-columns:1fr .9fr;gap:28px;padding:30px;display:grid}.application-body.compact{grid-template-columns:.75fr 1.25fr}.application-body section{padding:0}.application-body h4{color:#74808b;font-family:var(--font-geist-mono), monospace;letter-spacing:.08em;text-transform:uppercase;margin:0 0 9px;font-size:10px}.application-body p,.application-body li{color:#4f5f6d;font-size:12px;line-height:1.75}.application-body p{margin:0}.application-body ol{margin:0;padding-left:20px}.case-copy{gap:22px;display:grid}.case-answer{background:var(--amber-soft);border-radius:7px;padding:16px!important}.candidate-demo{background:#fff;border:1px solid #dce3e7;border-radius:9px;align-self:start;padding:20px}.candidate-demo>p{color:#263b4b;margin-bottom:12px;font-weight:800}.candidate-demo table{border-collapse:collapse;text-align:center;width:100%;font-size:11px}.candidate-demo th,.candidate-demo td{border:1px solid #e0e6e9;padding:10px 6px}.candidate-demo th{color:#596773;background:#f1f4f5}.candidate-demo td{color:#81909b}.candidate-demo td.picked{color:#17614f;background:#dff5ed;font-weight:900}.flow-blueprint{justify-content:center;align-items:center;gap:6px;margin:18px 0 12px;display:flex}.flow-blueprint code{color:#ffd475;background:#223548;border-radius:4px;padding:7px 8px;font-size:10px}.flow-blueprint b{color:#3999aa;font-size:10px}.candidate-demo>small{color:#71808c;font-size:10px;line-height:1.55;display:block}@media (width<=900px){.hero{min-height:auto}.hero-grid{grid-template-columns:1fr;gap:80px;padding:100px 0}.hero-card{max-width:560px}.roadmap-line{grid-template-columns:repeat(4,1fr)}.split-panel,.search-grid,.diagram-card,.choice-grid,.construction,.implementation-cases,.partition-reason,.checkerboard-card,.bipartite-motivation,.formal-definition,.bipartite-topic-lab,.detection-body,.matching-definition,.reading-lanes,.route-switch,.structure-core,.structure-walkthrough,.flow-reframe,.flow-decoding,.dp-pair-head,.pair-layout,.application-body,.application-body.compact,.chapter-plan,.flow-basics,.route-split,.conversion-chain,.concrete-minimum{grid-template-columns:1fr}.conversion-chain>b{max-width:none}.conversion-chain>b:after{content:" ↓"}.bipartite-topic-tabs{grid-template-columns:repeat(3,1fr)}.detection-body>p{grid-column:auto}.flow-reframe>b,.flow-decoding>b{max-width:none}.flow-reframe>b:after,.flow-decoding>b:after{content:" ↓"}.logic-bridge{grid-template-columns:1fr}.structure-step{grid-template-columns:52px 1fr}.structure-step>code{grid-column:2}.all-directions-proof,.structure-final-chain{grid-template-columns:1fr}.structure-final-chain>b:after{content:" ↓"}.logic-bridge>b{max-width:none}.logic-bridge>b:after{content:" ↓"}.partition-benefit{grid-template-columns:1fr}.partition-benefit>i{max-width:none}.partition-benefit>i:after{content:" ↓"}.implementation-card.flip-card,.flip-card-inner{min-height:680px}.optimization-chain{grid-template-columns:1fr}.optimization-chain>b{max-width:none}.optimization-chain>b:after{content:" ↓"}.dp-rules{grid-template-columns:1fr}.mini-checkerboard{justify-self:start;width:min(100%,310px)}.choice-card{min-height:auto}.glossary,.checklist,.concept-roles{grid-template-columns:repeat(2,1fr)}.cover-core,.minimum-proof{grid-template-columns:1fr}.minimum-proof>div{min-height:auto}.konig-reasoning{grid-template-columns:1fr}.applications{grid-template-columns:repeat(2,1fr)}}@media (width<=640px){.wrap{width:min(100% - 24px,1120px)}.topbar{height:68px}.nav-links{gap:14px;font-size:12px}.hero-grid{padding:80px 0}.hero h1{font-size:66px}.hero-card{padding:28px}.roadmap{margin-top:30px}.roadmap-line{grid-template-columns:repeat(2,1fr)}.reading-lanes>div{flex-direction:column;align-items:flex-start}.chapter{padding:80px 0}.chapter-head{gap:16px}.chapter-head>span{width:40px;height:40px}.chapter-plan{margin-top:-10px}.chapter-plan-scope{grid-template-columns:1fr}.chapter-plan-scope>div+div{border-top:1px solid var(--line);border-left:0}.chapter h2{font-size:48px}.panel,.diagram-card,.group-lab,.cover-lab,.flow-lab{padding:16px}.cover-toolbar{flex-direction:column;align-items:stretch}.cover-actions{grid-template-columns:1fr;display:grid}.cover-actions button{text-align:left}.cover-legend{flex-direction:column;align-items:flex-start}.concept-pause,.formal-definition{padding:22px}.bipartite-motivation,.formal-lines{grid-template-columns:1fr}.bipartite-foundation-visual{overflow-x:auto}.bipartite-foundation-visual>div,.bipartite-foundation-visual figcaption{min-width:760px}.bipartite-foundation-visual img{width:920px;max-width:none}.bipartite-topic-tabs{grid-template-columns:repeat(2,1fr)}.topic-detail-row{grid-template-columns:1fr;gap:8px}.cover-math dl,.minimum-contrast{grid-template-columns:1fr}.minimum-contrast>p{grid-column:auto}.set-relation-visual{overflow-x:auto}.set-relation-visual>div,.set-relation-visual figcaption{min-width:760px}.set-relation-visual img{width:920px;max-width:none}.seat-grid{gap:8px}.seat{min-height:82px}.mode-tabs{grid-template-columns:1fr}.mode-tabs button{min-height:auto}.group-summary{flex-wrap:wrap}.group-summary>strong{width:100%;margin-left:0}.structure-step{grid-template-columns:40px 1fr;gap:12px;padding:18px 14px}.structure-step>span{border-width:4px;width:32px;height:32px}.structure-step>code{grid-column:1/-1}.structure-walkthrough:before{left:29px}.verification-question{grid-template-columns:1fr}.verification-question span{grid-row:auto}.parity-proof{text-align:center;flex-direction:column;align-items:stretch}.parity-proof b{transform:rotate(90deg)}.edge-audit-table{overflow-x:auto}.edge-audit-row{min-width:560px}.delta-grid{grid-template-columns:repeat(2,1fr)}.mask-example,.dp-transition,.mask-definition{grid-template-columns:1fr}.dp-pair-demo{padding:18px}.pair-explanation{grid-template-columns:1fr}.application-case summary{grid-template-columns:62px 1fr 20px;gap:10px;padding:15px}.application-case summary>small{display:none}.application-body{padding:20px}.topic-detail>summary{grid-template-columns:72px 1fr 20px;gap:10px;padding:15px}.konig-visual{overflow-x:auto}.konig-visual-head,.konig-visual figcaption{min-width:760px}.konig-visual img{width:920px;max-width:none}.topic-detail>summary>small{display:none}.implementation-detail .implementation-cases{padding:12px}.structure-core>div{padding:20px}.repeat-branches{grid-template-columns:1fr}.repeat-branches p{min-height:auto}.cache-contrast{grid-template-columns:1fr}.cache-contrast>strong{text-align:center;transform:rotate(90deg)}.implementation-card.flip-card,.flip-card-inner{min-height:880px}.equation-chain{grid-template-columns:1fr}.equation-chain b{text-align:center;transform:rotate(90deg)}.glossary,.glossary-topic .glossary,.checklist,.counter-grid,.applications,.concept-roles{grid-template-columns:1fr}.checklist>div{min-height:auto}.checklist span{margin-bottom:28px}.method-row{grid-template-columns:1fr;gap:8px;padding:20px 12px}.method-row.head{display:none}.flow-toolbar{flex-direction:column;align-items:flex-start}.flow-toolbar>div:last-child{width:100%}.flow-toolbar button{flex:1;padding:0 10px;font-size:12px}.result-strip{grid-template-columns:1fr}.result-strip i{text-align:center}.closing{padding:48px 28px}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}@property --tw-rotate-x{syntax:"*";inherits:false}@property --tw-rotate-y{syntax:"*";inherits:false}@property --tw-rotate-z{syntax:"*";inherits:false}@property --tw-skew-x{syntax:"*";inherits:false}@property --tw-skew-y{syntax:"*";inherits:false}@property --tw-border-style{syntax:"*";inherits:false;initial-value:solid}.bm-page{--bm-ink:#172534;--bm-muted:#627080;--bm-line:#d9e0e7;--bm-paper:#fffdf8;--bm-paper-deep:#f3f0e8;--bm-cyan:#0b91ab;--bm-cyan-soft:#dff5ff;--bm-amber:#e49b08;--bm-amber-soft:#fff0cb;--bm-red:#dc4139;--bm-red-soft:#ffe8e4;min-height:100vh;color:var(--bm-ink);font-family:var(--font-geist-sans), "PingFang SC", "Microsoft YaHei", sans-serif}.bm-page *,.bm-page :before,.bm-page :after{box-sizing:border-box}.bm-page a{color:inherit}.bm-page code,.bm-page pre{font-family:var(--font-geist-mono), monospace}.bm-subhead{letter-spacing:-.02em;color:var(--bm-ink);align-items:center;gap:12px;margin:56px 0 16px;font-size:clamp(24px,3vw,32px);line-height:1.15;display:flex}.bm-subhead:before{content:"";background:var(--bm-cyan);border-radius:3px;flex:none;width:12px;height:12px}.bm-layout{grid-template-columns:250px minmax(0,1fr);gap:44px;max-width:1240px;margin:0 auto;padding:0 24px;display:grid}.bm-toc{border:1px solid var(--bm-line);-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px);scrollbar-width:thin;background:#fffdf8db;border-radius:16px;flex-direction:column;align-self:start;gap:3px;max-height:calc(100vh - 130px);padding:18px 16px;display:flex;position:sticky;top:108px;overflow:auto}.bm-toc-kicker{color:var(--bm-muted);font:850 10px var(--font-geist-mono), monospace;letter-spacing:.12em;margin:0 0 10px;padding:0 8px}.bm-toc a{color:var(--bm-muted);border-radius:9px;align-items:baseline;gap:8px;padding:7px 8px;font-size:13px;line-height:1.4;text-decoration:none;transition:background-color .16s,color .16s;display:flex}.bm-toc a span{color:var(--bm-cyan);font:800 10px var(--font-geist-mono), monospace;flex:none}.bm-toc a.sub{padding-left:26px;font-size:12px}.bm-toc a.sub:before{content:"—";color:var(--bm-amber);flex:none;font-size:11px}.bm-toc a:hover{background:var(--bm-cyan-soft);color:var(--bm-ink)}.bm-table-wrap{border:1px solid var(--bm-line);background:#fff;border-radius:14px;margin:18px 0 28px;overflow-x:auto}.bm-table{border-collapse:collapse;width:100%;font-size:14px}.bm-table th{text-align:left;background:var(--bm-cyan-soft);color:var(--bm-ink);white-space:nowrap;padding:12px 16px;font-size:13px}.bm-table td{border-top:1px solid var(--bm-line);vertical-align:top;padding:11px 16px}.bm-table td:first-child{white-space:nowrap;font-weight:800}.bm-topbar{z-index:40;-webkit-backdrop-filter:blur(16px);backdrop-filter:blur(16px);background:#fffdf8e6;border-bottom:1px solid #17253426;grid-template-columns:1fr auto 1fr;align-items:center;height:86px;padding:0 max(20px,50vw - 560px);display:grid;position:sticky;top:0}.bm-brand{font:800 13px var(--font-geist-mono), monospace;letter-spacing:.16em;text-decoration:none}.bm-brand span{color:var(--bm-cyan)}.bm-topbar nav{color:var(--bm-muted);gap:27px;font-size:13px;display:flex}.bm-topbar nav a,.bm-back{text-decoration:none}.bm-topbar nav a:hover,.bm-back:hover{color:var(--bm-cyan)}.bm-back{border:1px solid #aeb7c1;border-radius:8px;justify-self:end;padding:9px 13px;font-size:12px}.bm-hero{border-bottom:1px solid var(--bm-line);background:radial-gradient(circle at 83% 24%,#0c91ab2e,#0000 23%),linear-gradient(135deg,#fffdf8 0%,#f6f4ed 58%,#edf8f8 100%);flex-direction:column;justify-content:center;min-height:700px;padding:90px max(20px,50vw - 560px);display:flex}.bm-kicker,.bm-section-head>p{color:var(--bm-cyan);font:800 12px var(--font-geist-mono), monospace;letter-spacing:.12em;text-transform:uppercase;margin:0 0 18px}.bm-hero h1{letter-spacing:-.07em;max-width:920px;margin:0;font-size:clamp(70px,10vw,132px);line-height:.88}.bm-lead{color:#475565;max-width:750px;margin:38px 0 0;font-size:clamp(18px,2vw,24px);line-height:1.75}.bm-route{flex-wrap:wrap;align-items:center;gap:10px;margin-top:44px;display:flex}.bm-route span,.bm-route strong{border:1px solid var(--bm-line);background:#ffffffbd;border-radius:8px;align-items:center;min-height:42px;padding:0 14px;font-size:12px;display:inline-flex}.bm-route strong{border-color:var(--bm-ink);background:var(--bm-ink);color:#fff}.bm-route i{color:var(--bm-cyan);font-style:normal}.bm-section{border-bottom:1px solid var(--bm-line);width:min(1120px,100% - 40px);margin-inline:auto;padding:92px 0;scroll-margin-top:86px}.bm-section.bm-paper,.bm-section.bm-dark{color:var(--bm-ink);background:0 0}.bm-section-head{margin-bottom:46px}.bm-section-head>p{background:var(--bm-cyan-soft);border:1px solid #addde5;border-radius:999px;align-items:center;min-height:32px;padding:0 12px;display:inline-flex}.bm-section-head h2{letter-spacing:-.045em;margin:0;font-size:clamp(42px,6vw,76px);line-height:1}.bm-prose{color:#405061;max-width:780px;font-size:18px;line-height:2}.bm-prose p{margin:0 0 22px}.bm-prose strong{color:var(--bm-ink)}.bm-prose code,.bm-details code{background:var(--bm-cyan-soft);color:#08758a;border-radius:5px;padding:.12em .38em;font-size:.88em}.bm-chapter-plan{background:#cfd8dd;border:1px solid #cfd8dd;border-radius:12px;grid-template-columns:minmax(280px,.9fr) minmax(0,1.1fr);gap:1px;max-width:980px;margin:-18px 0 42px;display:grid;overflow:hidden}.bm-chapter-role,.bm-chapter-scope{background:#fff}.bm-chapter-role{border-left:5px solid var(--bm-cyan);padding:24px 26px}.bm-chapter-role span,.bm-chapter-scope span{color:#08758a;font:850 10px var(--font-geist-mono), monospace}.bm-chapter-role strong{margin-top:14px;font-size:15px;line-height:1.65;display:block}.bm-chapter-scope{grid-template-columns:1fr 1fr;display:grid}.bm-chapter-scope>div{padding:22px 24px}.bm-chapter-scope>div+div{border-left:1px solid var(--bm-line);background:#f7f9fa}.bm-chapter-scope p{color:#5f6e7a;margin:10px 0 0;font-size:11px;line-height:1.7}.relation-list{grid-template-columns:repeat(3,1fr);gap:16px;margin:34px 0 42px;display:grid}.relation-list>div,.enumeration-demo>div,.problem-grid article,.result-grid>div{border:1px solid var(--bm-line);background:#ffffffc7;border-radius:18px;box-shadow:0 18px 46px #1725340e}.relation-list>div{align-items:center;gap:8px;min-height:90px;padding:20px;display:flex}.relation-list b{margin-right:auto}.relation-list span{background:var(--bm-cyan-soft);color:#076a7e;border-radius:5px;padding:6px 9px;font-size:11px}.enumeration-demo{grid-template-columns:1fr 1fr;gap:20px;margin:44px 0;display:grid}.enumeration-demo>div{padding:28px}.enumeration-demo span{color:#08758a;font:850 10px var(--font-geist-mono), monospace}.enumeration-demo ol{color:var(--bm-muted);margin:24px 0;padding-left:22px;line-height:2}.enumeration-demo strong{border-top:1px solid var(--bm-line);padding-top:18px;display:block}.enumeration-demo>div:last-child{background:#f3fcff;border-color:#addde5}.pain-card{background:var(--bm-amber-soft);border:1px solid #efd494;border-radius:18px;grid-template-columns:250px 1fr;align-items:center;gap:34px;margin-top:42px;padding:30px;display:grid}.pain-card span{color:#8a5c00;font:850 10px var(--font-geist-mono), monospace}.pain-card b{margin-top:10px;font-size:34px;display:block}.pain-card p{color:#6f5b32;margin:0;line-height:1.8}.chapter-result{background:var(--bm-ink);color:#fff;border-radius:9px;align-items:center;gap:18px;margin-top:28px;padding:18px 22px;display:flex}.chapter-result span{color:#7fd4e4;font:850 10px var(--font-geist-mono), monospace;flex:none}.chapter-result strong{font-size:13px;line-height:1.6}.relation-matrix{border:1px solid var(--bm-line);background:#fff;border-radius:14px;max-width:780px;margin:38px 0 44px;overflow:hidden;box-shadow:0 18px 46px #1725340d}.relation-matrix>div{border-bottom:1px solid var(--bm-line);grid-template-columns:1.3fr repeat(3,1fr);min-height:58px;display:grid}.relation-matrix>div:last-child{border-bottom:0}.relation-matrix span,.relation-matrix b{border-right:1px solid var(--bm-line);place-items:center;display:grid}.relation-matrix span:last-child{border-right:0}.relation-matrix .head{background:var(--bm-paper-deep);color:var(--bm-muted);font:800 11px var(--font-geist-mono), monospace}.relation-matrix .yes{background:var(--bm-cyan-soft);color:#08758a;font-weight:900}.journey-figure,.bm-figure{border:1px solid var(--bm-line);background:#fffc;border-radius:18px;margin:54px 0 32px;overflow:hidden;box-shadow:0 18px 46px #1725340e}.journey-caption{border-bottom:1px solid var(--bm-line);grid-template-columns:170px 1fr;align-items:baseline;gap:7px 24px;padding:24px 28px;display:grid}.journey-caption span{color:var(--bm-cyan);font:850 10px var(--font-geist-mono), monospace;letter-spacing:.1em;grid-row:1/3}.journey-caption b{font-size:17px}.journey-caption p{color:var(--bm-muted);margin:0;font-size:12px}.journey-canvas{background:#fbfaf5;width:100%;height:430px}.journey-canvas .react-flow__node{width:160px}.journey-canvas .react-flow__edge-path{stroke-linecap:round;transition:stroke .18s cubic-bezier(.22,1,.36,1),opacity .18s cubic-bezier(.22,1,.36,1)}.journey-node{border:2px solid var(--bm-ink);background:#fff;border-radius:14px;flex-direction:column;justify-content:center;min-height:74px;padding:13px 18px;transition:transform .18s cubic-bezier(.22,1,.36,1),background-color .18s cubic-bezier(.22,1,.36,1),border-color .18s cubic-bezier(.22,1,.36,1),box-shadow .18s cubic-bezier(.22,1,.36,1);display:flex;position:relative;box-shadow:5px 5px #1725341a}.journey-node.right{border-color:var(--bm-cyan)}.journey-node.free{border-color:var(--bm-red);background:var(--bm-red-soft)}.journey-node.visited{box-shadow:5px 5px #0b91ab2e}.journey-node.active{transform:scale(1.025);box-shadow:0 0 0 5px #e49b082e,5px 5px #1725341a}.journey-node.fail{border-color:var(--bm-red);background:var(--bm-red-soft);box-shadow:0 0 0 5px #dc413929}.journey-node.back{border-color:var(--bm-amber);background:var(--bm-amber-soft);box-shadow:0 0 0 5px #e49b0829}.journey-node span{font-size:16px;font-weight:800}.journey-node small{color:var(--bm-muted);margin-top:4px;font-size:10px}.journey-node .react-flow__handle{background:var(--bm-ink);border:2px solid #fff;width:11px;height:11px}.journey-node.right .react-flow__handle{background:var(--bm-cyan)}.journey-node.free .react-flow__handle{background:var(--bm-red)}.journey-legend{border-top:1px solid var(--bm-line);color:var(--bm-muted);flex-wrap:wrap;gap:22px;padding:16px 28px;font-size:12px;display:flex}.journey-legend span{align-items:center;gap:8px;display:flex}.journey-legend i{border-top:2px solid #9aabb3;width:30px;display:inline-block}.journey-legend i.matched{border-top:4px solid var(--bm-cyan)}.journey-legend i.augment{border-top:4px dashed var(--bm-amber)}.journey-legend i.fail{border-top:4px dashed var(--bm-red)}.path-controller{border-top:1px solid var(--bm-line);background:#fff;grid-template-columns:130px 1fr auto;align-items:center;gap:24px;padding:22px 28px;display:grid}.path-progress{gap:7px;display:flex}.path-progress i{background:#d7dfe4;border-radius:999px;width:15px;height:5px;transition:background-color .18s cubic-bezier(.22,1,.36,1),transform .18s cubic-bezier(.22,1,.36,1)}.path-progress i.done{background:var(--bm-cyan);transform:scaleY(1.4)}.path-step-copy span{color:#08758a;font:850 10px var(--font-geist-mono), monospace}.path-step-copy b{margin-top:7px;font-size:16px;display:block}.path-step-copy p{color:var(--bm-muted);margin:5px 0 0;font-size:12px;line-height:1.6}.path-controller button{background:var(--bm-ink);color:#fff;cursor:pointer;border:0;border-radius:9px;justify-content:center;align-items:center;gap:18px;min-width:132px;min-height:46px;padding:0 17px;font-weight:760;transition:transform .14s cubic-bezier(.22,1,.36,1),background-color .18s;display:inline-flex}.path-controller button:active{transform:scale(.97)}.path-controller button:focus-visible{outline-offset:3px;outline:3px solid #0b91ab59}.path-controller button span{color:#7fd4e4}.bm-figure-scroll{background:var(--bm-paper);overflow-x:auto}.bm-figure img{width:100%;min-width:720px;height:auto;display:block}.bm-figure figcaption{border-top:1px solid var(--bm-line);color:var(--bm-muted);margin:0;padding:16px 22px;font-size:12px;line-height:1.7}.continuity-note{border:1px solid var(--bm-line);background:#f7f9fa;border-radius:12px;grid-template-columns:230px 1fr;gap:24px;margin-top:28px;padding:22px 24px;display:grid}.continuity-note b{color:#08758a}.continuity-note p{color:var(--bm-muted);margin:0;line-height:1.7}.definition-strip{border:1px solid var(--bm-line);background:#fff;border-radius:18px;grid-template-columns:1fr 220px 1fr;align-items:center;margin:48px 0 28px;padding:32px;display:grid;box-shadow:0 18px 46px #1725340d}.definition-strip>div{grid-template-columns:50px 1fr;align-items:center;gap:4px 14px;display:grid}.definition-strip>div:last-child{text-align:right}.definition-strip span{background:var(--bm-ink);color:#fff;width:46px;height:46px;font:800 16px var(--font-geist-mono), monospace;border-radius:50%;grid-row:1/3;place-items:center;display:grid}.definition-strip>div:last-child span{background:var(--bm-cyan);order:2}.definition-strip p{color:var(--bm-muted);margin:0;font-size:12px}.definition-strip>i{color:var(--bm-cyan);text-align:center;font-size:12px;font-style:normal}.concept-figure-grid{grid-template-columns:1fr;gap:8px;display:grid}.concept-figure-grid .bm-figure{margin-top:26px}.structure-payoff{border-left:5px solid var(--bm-cyan);background:var(--bm-cyan-soft);border-radius:0 12px 12px 0;margin-top:34px;padding:30px}.structure-payoff span{color:#08758a;font:850 10px var(--font-geist-mono), monospace}.structure-payoff strong{margin:14px 0 10px;font-size:19px;display:block}.structure-payoff p{color:#47606c;margin:0;line-height:1.8}.bm-details{border:1px solid var(--bm-line);background:#ffffffbf;border-radius:12px;margin-top:22px;overflow:hidden}.bm-details summary{cursor:pointer;padding:20px 24px;font-weight:760}.bm-details>p{color:var(--bm-muted);margin:0;padding:0 24px 24px;line-height:1.8}.application-grid{background:var(--bm-line);grid-template-columns:repeat(3,1fr);gap:1px;padding-top:1px;display:grid}.application-grid>div{background:#fff;min-height:170px;padding:23px}.application-grid b{color:#08758a}.application-grid p{color:var(--bm-muted);margin:12px 0 0;font-size:13px;line-height:1.7}.bm-vocab,.bm-code-reading{grid-template-columns:repeat(4,1fr);gap:14px;margin-top:24px;display:grid}.bm-vocab>div,.bm-code-reading>div{border:1px solid var(--bm-line);background:#ffffffbd;border-radius:12px;padding:22px}.bm-vocab>div{border-top:4px solid var(--bm-cyan)}.bm-vocab>div:nth-child(n+3){border-top-color:var(--bm-amber)}.bm-vocab p,.bm-code-reading p{color:var(--bm-muted);margin:10px 0 0;font-size:13px;line-height:1.7}.question-block{border-left:6px solid var(--bm-amber);background:var(--bm-amber-soft);border-radius:0 18px 18px 0;margin-top:46px;padding:34px}.question-block span{color:#8a5c00;font:850 10px var(--font-geist-mono), monospace}.question-block b{margin-top:12px;font-size:clamp(24px,4vw,36px);display:block}.question-block p{color:#6f5b32;margin:14px 0 0;line-height:1.75}.reason-chain,.final-route{border:1px solid var(--bm-line);background:#fff;border-radius:14px;margin:42px 0;overflow:hidden}.story-step{border-bottom:1px solid var(--bm-line);grid-template-columns:90px 1fr;gap:20px;padding:22px 26px;display:grid}.story-step:last-child{border-bottom:0}.story-step>span{color:var(--bm-cyan);font:850 11px var(--font-geist-mono), monospace}.story-step b{font-size:15px}.story-step p{color:var(--bm-muted);margin:7px 0 0;line-height:1.65}.concept-pair,.result-grid{grid-template-columns:1fr 1fr;gap:18px;margin-top:28px;display:grid}.concept-pair>div{border:1px solid var(--bm-line);background:#fff;border-radius:14px;padding:27px}.concept-pair span{color:#08758a;font-weight:800}.concept-pair p{color:var(--bm-muted);margin:12px 0 0;line-height:1.75}.concept-checklist{counter-reset:augment-rule;margin:18px 0 0;padding:0;list-style:none}.concept-checklist li{counter-increment:augment-rule;border-bottom:1px solid var(--bm-line);color:#405061;grid-template-columns:28px 1fr;align-items:start;gap:9px;padding:10px 0;line-height:1.6;display:grid}.concept-checklist li:before{content:counter(augment-rule);background:var(--bm-cyan-soft);color:#08758a;width:23px;height:23px;font:850 10px var(--font-geist-mono), monospace;border-radius:50%;place-items:center;display:grid}.concept-checklist li:last-child{border-bottom:0}.concept-checklist b{font-size:13px}.concept-pair .concept-caution{background:var(--bm-amber-soft);color:#6f5b32;border-radius:8px;margin-top:15px;padding:12px 14px;font-size:12px}.flip-count,.complexity-compare{border:1px solid var(--bm-line);background:#fff;border-radius:18px;grid-template-columns:1fr 200px 1fr;align-items:center;margin-top:36px;padding:28px;display:grid;box-shadow:0 18px 46px #1725340d}.flip-count>div,.complexity-compare>div{grid-template-columns:1fr auto;gap:7px 18px;display:grid}.flip-count span,.complexity-compare span{color:var(--bm-cyan);font:850 10px var(--font-geist-mono), monospace}.flip-count b{grid-area:1/2/3;font-size:52px;line-height:1}.flip-count p,.complexity-compare p{color:var(--bm-muted);margin:0;font-size:12px}.flip-count>i,.complexity-compare>i{color:var(--bm-muted);text-align:center;font-size:11px;font-style:normal;line-height:1.7}.bm-theorem{background:var(--bm-ink);color:#fff;border-radius:14px;grid-template-columns:130px 1fr;gap:30px;margin-top:44px;padding:28px;display:grid}.bm-theorem>span{color:#7fd4e4;font:850 10px var(--font-geist-mono), monospace}.bm-theorem b{font-size:19px;line-height:1.6}.bm-theorem p{color:#b9c6ce;margin-bottom:0;line-height:1.75}.result-grid{margin-bottom:38px}.result-grid>div{border-top:4px solid var(--bm-cyan);min-height:220px;padding:30px}.result-grid>div:last-child{border-top-color:var(--bm-amber)}.result-grid span{color:var(--bm-muted);font:800 10px var(--font-geist-mono), monospace}.result-grid h3{margin:46px 0 12px;font-size:27px}.result-grid p{color:var(--bm-muted);line-height:1.7}.tree-levels{grid-template-columns:1fr 90px 1fr 90px 1fr;align-items:center;gap:8px;margin:46px 0 30px;display:grid}.tree-levels>div{border:1px solid var(--bm-line);background:#fff;border-radius:16px;min-height:190px;padding:24px;box-shadow:0 18px 46px #1725340d}.tree-levels span{color:var(--bm-cyan);font:850 10px var(--font-geist-mono), monospace}.tree-levels b{margin-top:38px;font-size:20px;display:block}.tree-levels p{color:var(--bm-muted);font-size:13px;line-height:1.65}.tree-levels>i{color:var(--bm-cyan);text-align:center;font-size:11px;font-style:normal}.bm-code-card{background:#101b25;border:1px solid #263c4d;border-radius:18px;margin-top:44px;overflow:hidden;box-shadow:0 22px 60px #1725342e}.bm-code-head{color:#d6e3e7;border-bottom:1px solid #263c4d;align-items:center;gap:18px;padding:15px 20px;display:flex}.bm-code-head span{color:#57cfe1;font:800 11px var(--font-geist-mono), monospace}.bm-code-head small{color:#849ba6;margin-left:auto}.bm-code-card pre{color:#dce9ed;tab-size:4;margin:0;padding:26px;font-size:13px;line-height:1.75;overflow-x:auto}.bm-code-card pre code{color:inherit;font:inherit;background:0 0;padding:0;display:block}.bm-code-reading>div{background:#fff}.name-warning{background:var(--bm-cyan-soft);border:1px solid #addde5;border-radius:14px;grid-template-columns:170px 1fr;gap:28px;margin-top:28px;padding:26px;display:grid}.name-warning b{color:#08758a}.name-warning p{color:#47606c;margin:0;line-height:1.75}.complexity-compare b{grid-column:1/3;margin-top:9px;font-size:24px}.transfer-intro{border-left:5px solid var(--bm-cyan);background:var(--bm-cyan-soft);border-radius:0 12px 12px 0;grid-template-columns:170px 1fr;gap:24px;padding:26px;display:grid}.transfer-intro p{color:#47606c;margin:0;line-height:1.7}.problem-grid{grid-template-columns:1fr 1fr;gap:18px;margin:40px 0 62px;display:grid}.problem-grid article{min-height:235px;padding:28px}.problem-grid span{color:var(--bm-cyan);font:850 10px var(--font-geist-mono), monospace}.problem-grid h3{margin:34px 0 13px;font-size:23px}.problem-grid p{color:var(--bm-muted);margin:0;line-height:1.75}.bm-boundaries{grid-template-columns:repeat(3,1fr);gap:14px;margin-top:30px;display:grid}.bm-boundaries p{border:1px solid var(--bm-line);color:var(--bm-muted);background:#fff;border-radius:12px;margin:0;padding:21px;font-size:13px;line-height:1.7}.bm-boundaries b{color:var(--bm-ink);margin-bottom:7px;display:block}.bm-sources ul{border-top:1px solid var(--bm-line);margin:0;padding:0;list-style:none}.bm-sources li{border-bottom:1px solid var(--bm-line)}.bm-sources li a{color:var(--bm-muted);padding:18px 0;text-decoration:none;display:block}.bm-sources li a:hover{color:var(--bm-cyan)}.bm-footer{background:var(--bm-ink);color:#fff;grid-template-columns:1fr auto 1fr;align-items:center;gap:20px;padding:30px max(20px,50vw - 560px);display:grid}.bm-footer span{letter-spacing:.12em;font-weight:850}.bm-footer p{color:#9fb2bb;margin:0;font-size:13px}.bm-footer a{color:#7fd4e4;justify-self:end;font-size:13px;text-decoration:none}@media (width<=920px){.bm-topbar{grid-template-columns:1fr auto}.bm-topbar nav{display:none}.bm-chapter-plan{grid-template-columns:1fr}.bm-chapter-scope>div+div{border-left:0;border-top:1px solid var(--bm-line)}.relation-list,.application-grid{grid-template-columns:1fr}.concept-figure-grid,.bm-vocab,.bm-code-reading{grid-template-columns:1fr 1fr}.definition-strip{grid-template-columns:1fr;gap:18px}.definition-strip>i{padding:10px}.tree-levels{grid-template-columns:1fr}.tree-levels>i{padding:7px}.bm-layout{grid-template-columns:1fr;gap:0;padding:0 16px}.bm-toc{flex-flow:wrap;gap:4px;max-height:none;margin-bottom:22px;position:static}.bm-toc-kicker{width:100%}.bm-toc a{padding:5px 9px;font-size:12px}}@media (width<=640px){.bm-topbar{height:72px}.bm-back{padding:8px 10px}.bm-hero{min-height:650px;padding-block:80px}.bm-hero h1{font-size:60px}.bm-route i{display:none}.bm-section{width:min(100% - 28px,1120px);padding:72px 0;scroll-margin-top:72px}.bm-section-head h2{font-size:42px}.bm-chapter-scope,.enumeration-demo,.concept-figure-grid,.bm-vocab,.bm-code-reading,.concept-pair,.result-grid,.problem-grid,.bm-boundaries{grid-template-columns:1fr}.pain-card,.continuity-note,.transfer-intro,.name-warning{grid-template-columns:1fr;gap:12px}.journey-figure,.bm-figure{overflow-x:auto}.journey-caption{grid-template-columns:1fr;min-width:720px}.journey-caption span{grid-row:auto}.journey-canvas,.journey-legend{min-width:720px}.path-controller{grid-template-columns:110px 1fr auto;min-width:720px}.flip-count,.complexity-compare{grid-template-columns:1fr;gap:24px}.flip-count>i,.complexity-compare>i{text-align:left}.bm-theorem{grid-template-columns:1fr;gap:12px}.story-step{grid-template-columns:54px 1fr;padding-inline:18px}.bm-footer{grid-template-columns:1fr auto}.bm-footer p{display:none}}@media (prefers-reduced-motion:reduce){.journey-canvas .react-flow__edge-path,.journey-node,.path-progress i,.path-controller button{transition:none}}.path-controller button:disabled{opacity:.38;cursor:not-allowed}.bfs-queue{background:var(--bm-cyan-soft);border:1px solid #addde5;border-radius:0 0 14px 14px;align-items:center;gap:16px;margin:-12px 0 0;padding:14px 20px;display:flex}.bfs-queue span{color:#08758a;font:800 11px var(--font-geist-mono), monospace;letter-spacing:.08em;flex:none}.bfs-queue b{color:#172534;font:700 14px var(--font-geist-mono), monospace}.bfs-demo{flex-direction:column;gap:14px;margin-top:44px;display:flex}.bfs-top{grid-template-columns:minmax(0,1fr) auto;align-items:stretch;gap:12px;display:grid}.bfs-demo .journey-figure{margin:0}.bfs-code{background:#101b25;border:1px solid #263c4d;border-radius:14px;max-height:300px;overflow:hidden auto}.bfs-code-head{color:#d6e3e7;font:800 11px var(--font-geist-mono), monospace;border-bottom:1px solid #263c4d;justify-content:space-between;padding:12px 16px;display:flex}.bfs-code-head span{color:#57cfe1}.bfs-code-head b{color:#849ba6;font-weight:600}.bfs-code>div{font:400 12px var(--font-geist-mono), monospace;color:#9fb2ba;grid-template-columns:34px 1fr;padding:3px 12px;display:grid}.bfs-code>div.hl{color:#eaf7fa;background:#57cfe124}.bfs-code>div.hl i{color:#57cfe1}.bfs-code i{color:#546b76;font-style:normal}.bfs-code code{white-space:pre}.bfs-queue-row{background:var(--bm-cyan-soft);border:1px solid #addde5;border-radius:12px;align-items:center;gap:12px;padding:12px 16px;display:flex}.bfs-queue-row>span{color:#08758a;font:800 10px var(--font-geist-mono), monospace;letter-spacing:.1em}.bfs-queue-items{flex:1;gap:6px;min-width:0;display:flex;overflow-x:auto}.bfs-queue-items b{color:#0987a0;min-width:34px;height:34px;font:800 13px var(--font-geist-mono), monospace;background:#fff;border:2px solid #0987a0;border-radius:9px;place-items:center;display:grid}.bfs-queue-items b.front{color:#fff;background:#0987a0}.bfs-empty{color:#849ba6;font:600 12px var(--font-geist-mono), monospace}.bfs-queue-row em{color:#47606c;font:400 11px var(--font-geist-mono), monospace;flex:none;font-style:normal}.bfs-queue-row em b{color:#172534}.bfs-meta{grid-template-columns:1fr auto;gap:12px;display:grid}.bfs-dist{border:1px solid var(--bm-line);background:#fff;border-radius:12px;align-items:center;gap:8px;padding:10px 14px;display:flex;overflow-x:auto}.bfs-dist>span{color:#08758a;font:800 10px var(--font-geist-mono), monospace;letter-spacing:.1em}.bfs-dist>div{border:1px solid #d9e0e7;border-radius:8px;align-items:center;gap:5px;padding:4px 8px;display:flex}.bfs-dist b{font:800 12px var(--font-geist-mono), monospace;color:#172534}.bfs-dist code{font:700 12px var(--font-geist-mono), monospace;color:#0987a0}.bfs-found{border:1px solid var(--bm-line);background:#fff;border-radius:12px;align-items:center;gap:8px;padding:10px 14px;display:flex}.bfs-found span{color:#627080;font:800 10px var(--font-geist-mono), monospace;letter-spacing:.1em}.bfs-found b{font:800 13px var(--font-geist-mono), monospace;color:#627080}.bfs-found.yes{background:#fff8e8;border-color:#f0c36b}.bfs-found.yes b{color:#c07d00}@media (width<=920px){.bfs-top{grid-template-columns:1fr}}.tree-demo{flex-direction:column;gap:14px;margin-top:34px;display:flex}.tree-head{flex-wrap:wrap;align-items:baseline;gap:16px;display:flex}.tree-head span{color:#08758a;font:850 11px var(--font-geist-mono), monospace;letter-spacing:.08em}.tree-head b{color:var(--bm-ink);font-size:14px}.tree-figure{border:1px solid var(--bm-line);background:#fbfaf5;border-radius:14px;overflow-x:auto}.tree-figure svg{width:100%;min-width:760px;height:auto;display:block}.t-layer-label{fill:#8ba0ab;font:700 11px var(--font-geist-mono), monospace;letter-spacing:.06em}.t-edge{fill:none;stroke:#b6c2c9;stroke-width:2px;stroke-dasharray:6 5;transition:stroke .18s,stroke-width .18s,opacity .18s}.t-edge.kind-match{stroke:var(--bm-cyan);stroke-dasharray:none}.t-edge.kind-found{stroke:#1fa971;stroke-dasharray:none}.t-edge.active{stroke:var(--bm-amber);stroke-width:3.4px;stroke-dasharray:7 6}.t-edge.path{stroke:var(--bm-red);stroke-width:3.4px;stroke-dasharray:8 6}.t-edge.path.kind-match,.t-edge.path.kind-found{stroke:var(--bm-red);stroke-width:4.5px;stroke-dasharray:none}.t-edge-label{fill:#0b839b;font:700 10px var(--font-geist-mono), monospace;paint-order:stroke;stroke:#fff;stroke-width:4px;text-anchor:middle}.t-node circle{fill:#eef0f2;stroke:#5b6a78;stroke-width:2px;transition:fill .18s,stroke .18s,stroke-width .18s}.t-node-label{fill:#172534;font:800 17px var(--font-geist-mono), monospace;text-anchor:middle}.t-node-sub{fill:#6b7f89;font:700 10px var(--font-geist-mono), monospace;text-anchor:middle}.t-node.kind-left circle{stroke:var(--bm-cyan)}.t-node.kind-right circle{stroke:var(--bm-amber)}.t-node.status-free circle{stroke:var(--bm-red);fill:#fdecea}.t-node.status-free .t-node-label{fill:#b52a20}.t-node.kind-terminal circle{stroke:#1fa971;fill:#e5f7ef}.t-node.kind-terminal .t-node-label{fill:#127a4d}.t-node.kind-fail circle{stroke:var(--bm-red);fill:#fdecea}.t-node.kind-fail .t-node-label{fill:#b52a20}.t-node.active circle{stroke:var(--bm-amber);stroke-width:3.6px;fill:#fff6dd}.t-node.active .t-node-label{fill:#a35d00}.t-node.active .t-node-sub{fill:#8a6a24}.tree-legend{border:1px solid var(--bm-line);color:var(--bm-muted);background:#fff;border-radius:10px;flex-wrap:wrap;gap:18px;padding:12px 16px;font-size:12px;display:flex}.tree-legend span{align-items:center;gap:7px;display:flex}.tree-legend i{border-top:3px solid #b6c2c9;width:24px;height:0;display:inline-block}.tree-legend i.free{border:2px solid var(--bm-red);background:#fdecea;border-radius:50%;width:12px;height:12px}.tree-legend i.active{border-color:var(--bm-amber);border-style:dashed}.tree-legend i.match{border-color:var(--bm-cyan)}.tree-legend i.path{border-color:var(--bm-red)}.tree-legend i.ok{background:#1fa971;border:0;border-radius:50%;width:13px;height:13px}@media (prefers-reduced-motion:reduce){.tree-demo *{transition:none!important}}