.comprehensive-page{background:var(--paper)}.comprehensive-hero{min-height:720px;color:var(--paper);background:radial-gradient(circle at 77% 20%,#ae43484d,#0000 28%),radial-gradient(circle at 18% 78%,#b28b441f,#0000 32%),#0f1c19;grid-template-columns:minmax(550px,1fr) minmax(280px,.38fr);gap:60px;padding:clamp(80px,9vw,145px) clamp(24px,5vw,80px) 0;display:grid;position:relative;overflow:hidden}.comprehensive-hero-copy{max-width:980px}.comprehensive-hero .eyebrow{color:#d88c91}.comprehensive-hero h1{font:clamp(65px,8vw,128px)/.84 var(--serif);letter-spacing:-.07em;margin:30px 0 38px;font-weight:400}.comprehensive-hero h1 em{color:#d88c91;font-weight:400}.comprehensive-hero-copy>p:last-child{color:#f2eee6ad;max-width:720px;font:clamp(18px,1.45vw,23px)/1.65 var(--serif)}.comprehensive-hero-count{border-left:1px solid #f2eee633;align-self:center;padding:34px 0 34px 42px;display:grid}.comprehensive-hero-count strong{color:#d88c91;font:clamp(92px,11vw,180px)/.72 var(--serif);letter-spacing:-.08em}.comprehensive-hero-count span{font:28px/1 var(--serif);margin-top:24px}.comprehensive-hero-count i{color:#f2eee673;letter-spacing:.13em;text-transform:uppercase;margin-top:14px;font-size:9px;font-style:normal;font-weight:800}.comprehensive-family-marquee{color:#f2eee694;letter-spacing:.13em;border-top:1px solid #f2eee629;grid-column:1/-1;justify-content:space-between;align-self:end;align-items:center;gap:30px;min-width:max-content;margin:0 calc(-1*clamp(24px,5vw,80px));padding:20px clamp(24px,5vw,80px);font-size:9px;font-weight:800;display:flex}.comprehensive-family-marquee b{color:#d88c91;font-size:7px}.tableaux-origins{border-bottom:1px solid var(--line);color:var(--ink);background:#fffaf2;padding:clamp(70px,8vw,124px) clamp(24px,5vw,80px)}.tableaux-origins>header{grid-template-columns:minmax(440px,.85fr) minmax(500px,1fr);align-items:end;gap:clamp(60px,9vw,145px);display:grid}.tableaux-origins h2{max-width:760px;font:clamp(48px,5.9vw,86px)/.94 var(--serif);letter-spacing:-.06em;margin:20px 0 0;font-weight:400}.tableaux-origins-lead p{color:var(--muted);font:18px/1.75 var(--serif);margin:0 0 18px}.tableaux-origin-principles{border-top:1px solid var(--line);border-left:1px solid var(--line);grid-template-columns:repeat(3,1fr);margin-top:60px;display:grid}.tableaux-origin-principles article{border-right:1px solid var(--line);border-bottom:1px solid var(--line);flex-direction:column;min-height:255px;padding:28px;display:flex}.tableaux-origin-principles span{color:var(--accent);font:15px/1 var(--serif)}.tableaux-origin-principles b{font:29px/1 var(--serif);margin-top:45px;font-weight:400}.tableaux-origin-principles p{max-width:34ch;color:var(--muted);margin:14px 0 25px;font-size:15px;line-height:1.65}.tableaux-origin-principles code{border:1px solid var(--line);color:var(--accent);background:#f2eee6;margin-top:auto;padding:13px 15px;font:15px/1.35 ui-monospace,SFMono-Regular,Menlo,monospace}.tableaux-origin-history{color:var(--paper);background:#13231f;grid-template-columns:repeat(3,1fr);margin-top:34px;display:grid}.tableaux-origin-history article{border-right:1px solid #f2eee624;grid-template-columns:auto 1fr;align-content:start;gap:22px;min-height:260px;padding:32px;display:grid}.tableaux-origin-history article:last-child{border-right:0}.tableaux-origin-history time{color:#d88c91;letter-spacing:.08em;text-transform:uppercase;writing-mode:vertical-rl;padding-top:4px;font-size:13px;font-weight:800}.tableaux-origin-history h3{font:29px/1.05 var(--serif);margin:0 0 18px;font-weight:400}.tableaux-origin-history p{color:#f2eee6a6;margin:0;font-size:15px;line-height:1.72}.tableaux-origins>footer{border-top:1px solid var(--line);grid-template-columns:1fr auto;gap:40px;margin-top:34px;padding:28px 0 0;display:grid}.tableaux-origins>footer p{max-width:1000px;color:var(--muted);margin:0;font-size:15px;line-height:1.72}.tableaux-origins>footer b{color:var(--ink)}.tableaux-origins>footer a{color:var(--accent);text-underline-offset:3px;text-decoration:underline}.tableaux-how-to{border-bottom:1px solid var(--line);background:#f2eee6;padding:clamp(64px,7vw,108px) clamp(24px,5vw,80px)}.tableaux-how-to>header{grid-template-columns:minmax(430px,.85fr) minmax(480px,1fr);align-items:end;gap:clamp(55px,9vw,145px);display:grid}.tableaux-how-to h2{max-width:760px;font:clamp(45px,5.6vw,82px)/.96 var(--serif);letter-spacing:-.055em;margin:20px 0 0;font-weight:400}.tableaux-how-to-lead p{color:var(--muted);font:17px/1.75 var(--serif);margin:0 0 18px}.tableaux-how-to-lead b{color:var(--accent)}.tableaux-steps{border-top:1px solid var(--line);border-left:1px solid var(--line);counter-reset:steps;grid-template-columns:repeat(5,1fr);margin:55px 0 0;padding:0;list-style:none;display:grid}.tableaux-steps li{border-right:1px solid var(--line);border-bottom:1px solid var(--line);counter-increment:steps;flex-direction:column;gap:15px;min-height:175px;padding:24px;display:flex}.tableaux-steps li:before{content:counter(steps,decimal-leading-zero);color:var(--accent);font:15px/1 var(--serif)}.tableaux-steps b{font:20px/1.15 var(--serif);margin-top:auto;font-weight:400}.tableaux-steps span{color:var(--muted);font-size:14px;line-height:1.55}.tableaux-profile-index{margin-top:70px}.tableaux-profile-index-heading{justify-content:space-between;align-items:end;gap:30px;margin-bottom:28px;display:flex}.tableaux-profile-index-heading p:last-child{max-width:520px;color:var(--muted);text-align:right;margin:0;font-size:15px;line-height:1.6}.tableaux-profile-index>section{border-top:1px solid var(--line);padding:22px 0}.tableaux-profile-index>section>h3{color:var(--muted);letter-spacing:.08em;text-transform:uppercase;margin:0 0 14px;font-size:13px;font-weight:800}.tableaux-profile-index>section>div{flex-wrap:wrap;gap:8px;display:flex}.tableaux-profile-index button{border:1px solid var(--line);min-height:58px;color:var(--ink);text-align:left;background:#fffaf2;align-items:center;gap:10px;padding:10px 15px;transition:border-color .18s,color .18s,background .18s;display:flex}.tableaux-profile-index button:hover,.tableaux-profile-index button.is-active{border-color:var(--accent);color:var(--accent);background:#fff}.tableaux-profile-index button b{font:21px/1 var(--serif);white-space:nowrap;font-weight:400}.tableaux-profile-index button span{max-width:170px;color:var(--muted);font-size:12px;line-height:1.25}.tableaux-profile-index button.is-active span{color:inherit}.comprehensive-intro{border-bottom:1px solid var(--line);grid-template-columns:minmax(400px,.85fr) minmax(440px,1fr);gap:clamp(60px,10vw,170px);padding:clamp(70px,8vw,120px) clamp(24px,5vw,80px);display:grid}.comprehensive-intro h2{max-width:720px;font:clamp(48px,6vw,88px)/.95 var(--serif);letter-spacing:-.055em;margin:20px 0 0;font-weight:400}.comprehensive-intro>div:last-child{align-self:end}.comprehensive-intro>div:last-child p{color:var(--muted);font:17px/1.72 var(--serif);margin:0 0 18px}.modal-roadmap{border-bottom:1px solid var(--line);background:#e8e2d6;grid-template-columns:minmax(420px,.72fr) minmax(520px,1fr);align-items:end;gap:clamp(55px,9vw,150px);padding:clamp(58px,7vw,96px) clamp(24px,5vw,80px);display:grid}.modal-roadmap h2{font:clamp(45px,5.5vw,78px)/.95 var(--serif);letter-spacing:-.05em;margin:18px 0 25px;font-weight:400}.modal-roadmap>div>p:last-child{max-width:650px;color:var(--muted);font:16px/1.7 var(--serif);margin:0}.modal-roadmap ol{border-top:1px solid var(--line);border-left:1px solid var(--line);grid-template-columns:repeat(4,1fr);margin:0;padding:0;list-style:none;display:grid}.modal-roadmap li{border-right:1px solid var(--line);border-bottom:1px solid var(--line);flex-direction:column;justify-content:space-between;min-height:122px;padding:20px;display:flex}.modal-roadmap b{color:var(--accent);font:30px/1 var(--serif);font-weight:400}.modal-roadmap span{color:var(--muted);letter-spacing:.08em;text-transform:uppercase;font-size:8px;font-weight:800}.comprehensive-lab{color:var(--paper);background:#0d1916;padding:clamp(38px,5vw,74px) clamp(14px,4vw,64px) clamp(90px,10vw,150px)}.comprehensive-workspace{border:1px solid #f2eee629;grid-template-columns:minmax(360px,.4fr) minmax(560px,.6fr);align-items:start;max-width:1600px;margin:auto;display:grid;box-shadow:0 35px 95px #0000003d}.comprehensive-controls{color:var(--ink);background:#f2eee6;padding:clamp(28px,3.5vw,52px);position:sticky;top:16px}.comprehensive-controls>header{border-bottom:1px solid var(--line);padding-bottom:28px}.comprehensive-controls>header h2{font:clamp(40px,4vw,62px)/.95 var(--serif);letter-spacing:-.045em;margin:13px 0 18px;font-weight:400}.comprehensive-controls>header>p:last-child{color:var(--muted);font:14px/1.65 var(--serif);margin:0}.comprehensive-selectors{grid-template-columns:1fr 1fr;gap:15px;padding:25px 0;display:grid}.comprehensive-selectors label,.comprehensive-formula{color:var(--muted);letter-spacing:.12em;text-transform:uppercase;font-size:8px;font-weight:800}.comprehensive-selectors label:nth-child(2){grid-column:1/-1}.comprehensive-selectors select,.comprehensive-selectors input{border:1px solid var(--line);width:100%;height:48px;color:var(--ink);font:14px/1 var(--serif);background:#fffaf2;border-radius:0;outline:0;margin-top:8px;padding:0 12px}.comprehensive-selectors select:focus,.comprehensive-selectors input:focus,.comprehensive-formula input:focus{border-color:var(--accent);box-shadow:0 0 0 3px #8c2d351a}.comprehensive-profile-strip{min-height:75px;color:var(--paper);background:#13231f;grid-template-columns:1fr auto;align-items:center;gap:6px 13px;padding:14px 16px;display:grid}.comprehensive-profile-strip div{align-items:baseline;gap:10px;display:flex}.comprehensive-profile-strip b{font:23px/1 var(--serif);font-weight:400}.comprehensive-profile-strip small{color:#f2eee673;letter-spacing:.1em;text-transform:uppercase;font-size:7px;font-weight:800}.comprehensive-profile-strip i{color:#f2eee68c;font-size:8px;font-style:normal}.solver-badge{letter-spacing:.09em;text-transform:uppercase;border:1px solid;grid-area:1/2/3;padding:7px 9px;font-size:7px;font-style:normal;font-weight:800}.solver-verified{color:#8fc6a7}.solver-documentary{color:#d9ab72}.comprehensive-formula{margin-top:25px;display:block}.comprehensive-formula>div{border:1px solid var(--line);background:#fffaf2;height:62px;margin-top:8px;display:flex}.comprehensive-formula input{min-width:0;color:var(--ink);font:21px/1 var(--serif);text-transform:none;background:0 0;border:0;outline:0;flex:1;padding:0 16px}.comprehensive-formula button{border:0;border-left:1px solid var(--line);width:52px;color:var(--muted);background:0 0;font-size:23px}.comprehensive-formula input:disabled,.comprehensive-formula button:disabled{cursor:not-allowed;opacity:.55}.comprehensive-help,.comprehensive-error{color:var(--muted);margin:8px 0 0;font-size:9px;line-height:1.5}.comprehensive-error{color:var(--accent)}.comprehensive-keyboard{border:1px solid var(--line);background:#e8e2d6;flex-wrap:wrap;gap:6px;margin-top:18px;padding:12px;display:flex}.comprehensive-keyboard button{min-width:37px;height:35px;color:var(--ink);font:16px/1 var(--serif);background:#fffaf2;border:1px solid #1725222e;padding:0 9px}.comprehensive-keyboard button:hover{border-color:var(--accent);color:var(--accent)}.comprehensive-keyboard button:disabled{cursor:not-allowed;opacity:.38}.comprehensive-actions{flex-wrap:wrap;align-items:center;gap:12px 18px;margin-top:24px;display:flex}.comprehensive-actions>button:not(.button-primary){color:var(--muted);letter-spacing:.08em;text-transform:uppercase;background:0 0;border:0;padding:0;font-size:9px;font-weight:800}.comprehensive-actions>a{color:var(--accent);letter-spacing:.06em;text-transform:uppercase;font-size:9px;font-weight:800}.comprehensive-actions .button-primary:disabled{cursor:not-allowed;opacity:.58}.comprehensive-result{min-width:0;color:var(--paper);background:#13231f}.comprehensive-result>header{border-bottom:1px solid #f2eee624;justify-content:space-between;align-items:end;gap:24px;min-height:135px;padding:clamp(25px,3vw,44px);display:flex}.comprehensive-result>header h2{font:clamp(45px,5vw,72px)/.85 var(--serif);margin:10px 0 0;font-weight:400}.comprehensive-playback{flex-wrap:wrap;justify-content:flex-end;gap:6px;display:flex}.comprehensive-playback button{min-height:36px;color:var(--paper);letter-spacing:.07em;text-transform:uppercase;background:0 0;border:1px solid #f2eee633;padding:0 12px;font-size:8px;font-weight:800}.comprehensive-playback button:hover{color:#d88c91;border-color:#d88c91}.comprehensive-status{color:#f2eee6ab;letter-spacing:.055em;text-transform:uppercase;border-bottom:1px solid #f2eee61f;justify-content:space-between;align-items:center;gap:20px;min-height:65px;padding:13px clamp(22px,3vw,44px);font-size:9px;font-weight:750;display:flex}.comprehensive-status small{color:#d88c91;text-align:right}.comprehensive-canvas{min-height:720px;max-height:920px}.comprehensive-canvas .truth-many{color:#d9ab72;width:auto;min-width:34px;padding:0 5px}.solver-unavailable{background:radial-gradient(circle at 75% 24%,#d88c911a,#0000 32%),#13231f;flex-direction:column;justify-content:center;min-height:720px;padding:clamp(50px,7vw,105px);display:flex}.solver-unavailable>span{color:#d9ab72;letter-spacing:.13em;text-transform:uppercase;font-size:8px;font-weight:800}.solver-unavailable h3{max-width:680px;font:clamp(38px,4.5vw,68px)/1.02 var(--serif);letter-spacing:-.045em;margin:24px 0;font-weight:400}.solver-unavailable p{color:#f2eee6a6;max-width:670px;font:17px/1.7 var(--serif);margin:0}.solver-unavailable small{color:#f2eee66b;letter-spacing:.04em;text-transform:uppercase;border-top:1px solid #f2eee624;max-width:620px;margin-top:30px;padding-top:24px;font-size:9px;line-height:1.7}.solver-error-state>span{color:#d88c91}.formal-system-panel{max-width:1600px;color:var(--paper);background:#13231f;border:1px solid #f2eee629;margin:28px auto 0}.formal-system-panel>header{border-bottom:1px solid #f2eee626;grid-template-columns:minmax(420px,.8fr) minmax(430px,1fr);align-items:end;gap:clamp(50px,8vw,120px);padding:clamp(34px,4vw,58px);display:grid}.formal-system-panel>header h2{font:clamp(40px,4.5vw,66px)/.96 var(--serif);letter-spacing:-.045em;margin:15px 0 0;font-weight:400}.formal-system-panel>header>p{color:#f2eee69e;max-width:720px;font:17px/1.7 var(--serif);margin:0}.formal-system-layout{grid-template-columns:minmax(360px,.4fr) minmax(580px,.6fr);align-items:stretch;display:grid}.formal-basis{color:var(--ink);background:#f2eee6;padding:clamp(30px,3.6vw,52px)}.formal-basis>header>span,.formal-tableau-rules>header>span{color:var(--accent);letter-spacing:.1em;text-transform:uppercase;font-size:12px;font-weight:800}.formal-tableau-rules>header>span{color:#d88c91}.formal-basis h3,.formal-tableau-rules h3{font:clamp(27px,2.5vw,38px)/1.05 var(--serif);margin:13px 0 15px;font-weight:400}.formal-basis>header p,.formal-tableau-rules>header p{color:var(--muted);margin:0;font-size:15px;line-height:1.65}.formal-tableau-rules>header p{color:#f2eee68c}.formal-basis ol{border-top:1px solid var(--line);margin:34px 0 0;padding:0;list-style:none}.formal-basis li{border-bottom:1px solid var(--line);grid-template-columns:58px 1fr;gap:5px 14px;padding:18px 0;display:grid}.formal-basis li>b{color:var(--accent);font:18px/1.4 var(--serif);font-weight:400}.formal-basis li code{overflow-wrap:anywhere;color:var(--ink);font:14px/1.55 ui-monospace,SFMono-Regular,Menlo,monospace}.formal-basis li small{color:var(--muted);grid-column:2;font-size:13px;line-height:1.5}.formal-basis-caveat{border-left:3px solid var(--accent);color:var(--muted);background:#e8e2d6;margin:28px 0 0;padding:20px;font-size:14px;line-height:1.65}.formal-tableau-rules{min-width:0;padding:clamp(30px,3.6vw,52px)}.formal-tableau-rules>header{max-width:820px}.formal-tableau-rules>div{grid-template-columns:repeat(3,minmax(0,1fr));gap:10px;margin-top:35px;display:grid}.formal-rule-card{min-width:0;position:relative}.formal-rule-card>button{width:100%;min-height:104px;color:var(--paper);text-align:left;background:#172a25;border:1px solid #f2eee62e;grid-template-columns:1fr auto;align-content:space-between;gap:9px 12px;padding:17px;transition:background .18s,border-color .18s,transform .18s;display:grid}:is(.formal-rule-card>button:hover,.formal-rule-card>button:focus-visible){z-index:3;background:#1d332d;border-color:#d88c91;outline:0;transform:translateY(-2px)}.formal-rule-card>button b{color:#d88c91;font:24px/1 var(--serif);font-weight:400}.formal-rule-card>button span{grid-column:1/-1;font-size:14px;line-height:1.35}.formal-rule-card>button i{color:#f2eee66b;font-size:16px;font-style:normal}.formal-rule-popover{z-index:20;visibility:hidden;opacity:0;width:min(440px,76vw);color:var(--paper);pointer-events:none;background:#07110f;border:1px solid #f2eee642;padding:0;transition:opacity .16s,transform .16s,visibility .16s;position:absolute;bottom:calc(100% + 13px);left:0;transform:translateY(8px);box-shadow:0 28px 80px #0000007a}.formal-rule-card:nth-child(3n) .formal-rule-popover{left:auto;right:0}.formal-rule-card:hover .formal-rule-popover,.formal-rule-card:focus-within .formal-rule-popover{visibility:visible;opacity:1;transform:translateY(0)}.formal-rule-popover>header{border-bottom:1px solid #f2eee624;align-items:center;gap:17px;padding:22px;display:flex}.formal-rule-popover>header>b{color:#d88c91;min-width:54px;font:30px/1 var(--serif);font-weight:400}.formal-rule-popover h4{font:24px/1.1 var(--serif);margin:0 0 5px;font-weight:400}.formal-rule-popover>header span{color:#f2eee66b;letter-spacing:.08em;text-transform:uppercase;font-size:12px;font-weight:800}.formal-rule-diagram{background:#10201c;justify-items:center;gap:12px;padding:25px;display:grid}.formal-rule-diagram>code{color:#f3d4d6;text-align:center;border:1px solid #f2eee629;width:100%;padding:13px;font:15px/1.5 ui-monospace,SFMono-Regular,Menlo,monospace}.formal-rule-diagram>i{color:#d88c91;font-size:20px;font-style:normal}.formal-rule-conclusions{gap:7px;width:100%;display:grid}.formal-rule-conclusions code{color:var(--paper);text-align:center;border:1px solid #f2eee61f;padding:10px;font:14px/1.45 ui-monospace,SFMono-Regular,Menlo,monospace}.formal-rule-branches{grid-template-columns:repeat(2,1fr);gap:10px;width:100%;display:grid}.formal-rule-branches code{color:var(--paper);text-align:center;background:#172a25;border-top:2px solid #d88c91;padding:13px 8px;font:14px/1.45 ui-monospace,SFMono-Regular,Menlo,monospace;position:relative}.formal-rule-popover>p{color:#f2eee69e;margin:0;padding:20px 22px 24px;font-size:14px;line-height:1.65}.profile-guide{max-width:1600px;color:var(--ink);background:#f2eee6;border:1px solid #f2eee629;margin:28px auto 0;padding:clamp(38px,5vw,76px)}.profile-guide-heading{border-bottom:1px solid var(--line);grid-template-columns:minmax(300px,.5fr) minmax(460px,1fr);align-items:end;gap:clamp(50px,8vw,125px);padding-bottom:45px;display:grid}.profile-guide-heading h2{color:var(--accent);font:clamp(76px,9vw,142px)/.72 var(--serif);letter-spacing:-.07em;margin:16px 0 0;font-weight:400}.profile-guide-heading h3{font:clamp(31px,3.5vw,48px)/1.08 var(--serif);margin:0 0 18px;font-weight:400}.profile-guide-heading>div:last-child p{color:var(--muted);font:16px/1.7 var(--serif);margin:0}.profile-guide-meta{border-bottom:1px solid var(--line);min-height:58px;color:var(--muted);letter-spacing:.1em;text-transform:uppercase;flex-wrap:wrap;align-items:center;gap:8px 30px;font-size:8px;font-weight:800;display:flex}.profile-guide-meta span+span:before{content:"◆";color:var(--accent);margin-right:30px;font-size:5px}.profile-guide-grid{border-bottom:1px solid var(--line);grid-template-columns:repeat(4,1fr);display:grid}.profile-guide-grid article{min-height:285px;padding:30px 28px 30px 0}.profile-guide-grid article+article{border-left:1px solid var(--line);padding-left:28px}.profile-guide-grid span{color:var(--accent);font:11px/1 var(--serif)}.profile-guide-grid h3{font:23px/1.12 var(--serif);margin:58px 0 16px;font-weight:400}.profile-guide-grid p{color:var(--muted);margin:0;font-size:11px;line-height:1.75}.profile-engine-note{border-bottom:1px solid var(--line);grid-template-columns:minmax(180px,.3fr) 1fr;gap:40px;padding:34px 0;display:grid}.profile-engine-note>p:last-child{max-width:960px;color:var(--ink);font:17px/1.65 var(--serif);margin:0}.profile-guide-lower{grid-template-columns:.65fr 1fr;gap:clamp(50px,8vw,120px);padding-top:45px;display:grid}.profile-guide-lower ul,.profile-guide-lower ol{counter-reset:guide;margin:25px 0 0;padding:0;list-style:none}.profile-guide-lower li{border-top:1px solid var(--line);color:var(--muted);counter-increment:guide;padding:13px 0 13px 42px;font-size:11px;line-height:1.65;position:relative}.profile-guide-lower li:before{content:counter(guide,decimal-leading-zero);color:var(--accent);font:10px/1 var(--serif);position:absolute;top:15px;left:0}.profile-research-layout{grid-template-columns:minmax(0,1.72fr) minmax(360px,.78fr);align-items:start;gap:clamp(55px,7vw,110px);padding-top:56px;display:grid}.profile-section-heading{border-bottom:1px solid var(--line);margin-bottom:35px;padding-bottom:28px}.profile-section-heading h3{max-width:850px;font:clamp(34px,3.7vw,52px)/1.08 var(--serif);letter-spacing:-.035em;margin:17px 0 0;font-weight:400}.profile-research-essay>p{color:#35413e;max-width:84ch;font:18px/1.82 var(--serif);margin:0 0 1.45em}.profile-research-essay>p:first-of-type{color:var(--ink);font-size:21px;line-height:1.72}.profile-research-essay code,.profile-formal-box code{background:#e8e2d6;padding:.08em .28em;font:.9em/1.4 ui-monospace,SFMono-Regular,Menlo,monospace}.profile-formal-box{border:1px solid var(--line);background:#e8e2d6}.profile-formal-box>header{border-bottom:1px solid var(--line);color:var(--paper);background:#13231f;padding:30px}.profile-formal-box>header .eyebrow{color:#d88c91}.profile-formal-box>header h3{font:30px/1.05 var(--serif);margin:14px 0 0;font-weight:400}.profile-formal-box dl{margin:0}.profile-formal-box dl>div{border-bottom:1px solid var(--line);padding:18px 24px}.profile-formal-box dt{color:var(--accent);letter-spacing:.035em;text-transform:uppercase;margin-bottom:7px;font-size:12px;font-weight:800}.profile-formal-box dd{color:#46514e;margin:0;font-size:14px;line-height:1.65}.profile-research-bibliography{padding:30px 24px}.profile-research-bibliography ol{counter-reset:references;margin:20px 0 0;padding:0;list-style:none}.profile-research-bibliography li{border-top:1px solid var(--line);color:#46514e;counter-increment:references;padding:14px 0 14px 34px;font-size:14px;line-height:1.6;position:relative}.profile-research-bibliography li:before{content:counter(references,decimal-leading-zero);color:var(--accent);font:11px/1 var(--serif);position:absolute;top:16px;left:0}@media (max-width:1050px){.comprehensive-hero{grid-template-columns:1fr;min-height:auto}.comprehensive-hero-count{max-width:420px}.comprehensive-intro,.modal-roadmap,.comprehensive-workspace,.profile-guide-heading{grid-template-columns:1fr}.comprehensive-controls{position:static}.profile-guide-grid{grid-template-columns:1fr 1fr}.profile-guide-grid article:nth-child(3){border-left:0;border-top:1px solid var(--line)}.profile-guide-grid article:nth-child(4){border-top:1px solid var(--line)}.tableaux-origins>header,.tableaux-how-to>header,.profile-research-layout,.formal-system-panel>header,.formal-system-layout,.tableaux-origin-history{grid-template-columns:1fr}.tableaux-origin-history article{border-bottom:1px solid #f2eee624;border-right:0;min-height:0}.tableaux-origin-history article:last-child{border-bottom:0}.formal-tableau-rules>div{grid-template-columns:repeat(2,minmax(0,1fr))}.formal-rule-card:nth-child(3n) .formal-rule-popover{left:0;right:auto}.formal-rule-card:nth-child(2n) .formal-rule-popover{left:auto;right:0}.tableaux-steps{grid-template-columns:repeat(2,1fr)}}@media (max-width:700px){.comprehensive-hero{padding-left:18px;padding-right:18px}.comprehensive-hero h1{font-size:clamp(55px,17vw,78px)}.comprehensive-family-marquee{justify-content:flex-start;overflow:hidden}.tableaux-origins{padding-left:18px;padding-right:18px}.tableaux-origins h2{font-size:48px}.tableaux-origin-principles{grid-template-columns:1fr}.tableaux-origin-principles article{min-height:0}.tableaux-origins>footer{grid-template-columns:1fr}.comprehensive-intro{grid-template-columns:1fr;padding-left:18px;padding-right:18px}.comprehensive-intro h2{font-size:50px}.modal-roadmap{grid-template-columns:1fr;padding-left:18px;padding-right:18px}.modal-roadmap ol{grid-template-columns:1fr 1fr}.comprehensive-lab{padding-left:8px;padding-right:8px}.comprehensive-selectors{grid-template-columns:1fr}.comprehensive-selectors label:nth-child(2){grid-column:auto}.comprehensive-result>header,.comprehensive-status{flex-direction:column;align-items:flex-start}.comprehensive-playback{justify-content:flex-start}.comprehensive-canvas{min-height:580px}.comprehensive-profile-strip{grid-template-columns:1fr}.solver-badge{grid-area:auto/1;justify-self:start}.solver-unavailable{min-height:580px;padding:42px 25px}.formal-system-panel>header,.formal-basis,.formal-tableau-rules{padding:30px 22px}.formal-tableau-rules>div{grid-template-columns:1fr}.formal-rule-card:nth-child(n) .formal-rule-popover{width:100%;margin-top:8px;display:none;position:static;transform:none}.formal-rule-card:hover .formal-rule-popover,.formal-rule-card:focus-within .formal-rule-popover{display:block}.profile-guide{padding:34px 22px}.profile-guide-heading h2{font-size:76px}.profile-guide-grid{grid-template-columns:1fr}.profile-guide-grid article,.profile-guide-grid article+article{border-left:0;border-top:1px solid var(--line);min-height:0;padding:27px 0}.profile-guide-grid article:first-child{border-top:0}.profile-guide-grid h3{margin-top:25px}.profile-guide-lower{grid-template-columns:1fr}.profile-engine-note{grid-template-columns:1fr;gap:14px}.profile-guide-meta span{width:100%}.profile-guide-meta span+span:before{display:none}.tableaux-how-to{padding-left:18px;padding-right:18px}.tableaux-how-to h2{font-size:48px}.tableaux-steps{grid-template-columns:1fr}.tableaux-steps li{min-height:0}.tableaux-profile-index-heading{flex-direction:column;align-items:flex-start}.tableaux-profile-index-heading p:last-child{text-align:left}.tableaux-profile-index button{width:100%}.tableaux-profile-index button span{max-width:none}.profile-research-essay>p,.profile-research-essay>p:first-of-type{font-size:17px;line-height:1.78}}