.PaperLink-module__-nC-BW__link{color:var(--muted);white-space:nowrap;font-size:14px;text-decoration:none}.PaperLink-module__-nC-BW__link:hover{color:var(--ink)}.PaperLink-module__-nC-BW__link:focus-visible{color:var(--ink)}@media (max-width:560px){.PaperLink-module__-nC-BW__link{white-space:normal}}
.AnswerSection-module__r3Drva__answer{margin:0 0 96px}.AnswerSection-module__r3Drva__heading{letter-spacing:-.02em;margin:0;font-size:24px;font-weight:600;line-height:1.25}.AnswerSection-module__r3Drva__label{margin:40px 0 12px;font-size:16px;font-weight:600}.AnswerSection-module__r3Drva__terms{border-collapse:collapse;width:100%}.AnswerSection-module__r3Drva__terms th,.AnswerSection-module__r3Drva__terms td{border-bottom:1px solid var(--line);text-align:left;vertical-align:top;padding:10px 0}.AnswerSection-module__r3Drva__terms tr:first-child th,.AnswerSection-module__r3Drva__terms tr:first-child td{border-top:1px solid var(--line)}.AnswerSection-module__r3Drva__terms th{width:36%;padding-right:24px;font-weight:600}.AnswerSection-module__r3Drva__sentence{margin:0 0 12px;font-size:18px;line-height:1.55}.AnswerSection-module__r3Drva__cite{white-space:nowrap;margin-right:12px}.AnswerSection-module__r3Drva__note,.AnswerSection-module__r3Drva__why{color:var(--muted);margin:0;font-size:14px}.AnswerSection-module__r3Drva__read{margin:0;padding:0;list-style:none}.AnswerSection-module__r3Drva__read li{gap:12px;padding:6px 0;display:flex}.AnswerSection-module__r3Drva__read a{text-decoration:none}.AnswerSection-module__r3Drva__read a:hover{text-underline-offset:.2em;text-decoration:underline}.AnswerSection-module__r3Drva__number{width:28px;color:var(--muted);font-variant-numeric:tabular-nums;flex:none}@media (max-width:560px){.AnswerSection-module__r3Drva__terms th,.AnswerSection-module__r3Drva__terms td{border:0;width:auto;padding:0;display:block}.AnswerSection-module__r3Drva__terms tr{border-bottom:1px solid var(--line);padding:10px 0;display:block}.AnswerSection-module__r3Drva__terms tr:first-child{border-top:1px solid var(--line)}.AnswerSection-module__r3Drva__terms tr:first-child th,.AnswerSection-module__r3Drva__terms tr:first-child td{border:0}.AnswerSection-module__r3Drva__sentence{font-size:17px}}
.Desk-module__UZA1Zq__desk{margin:0 0 96px}.Desk-module__UZA1Zq__position,.Desk-module__UZA1Zq__meta{color:var(--muted);margin:0;font-size:14px}.Desk-module__UZA1Zq__title{letter-spacing:-.015em;margin:8px 0 4px;font-size:20px;font-weight:600;line-height:1.3}.Desk-module__UZA1Zq__abstract{-webkit-line-clamp:6;-webkit-box-orient:vertical;margin:16px 0 0;display:-webkit-box;overflow:hidden}.Desk-module__UZA1Zq__label{margin:32px 0 8px;font-weight:600}.Desk-module__UZA1Zq__quote{margin:0 0 12px;font-size:18px;line-height:1.55}.Desk-module__UZA1Zq__links{color:var(--muted);flex-wrap:wrap;gap:4px 16px;margin:24px 0 0;font-size:14px;display:flex}.Desk-module__UZA1Zq__links a{color:var(--ink);text-decoration:none}.Desk-module__UZA1Zq__links a:hover{text-underline-offset:.2em;text-decoration:underline}.Desk-module__UZA1Zq__pager{gap:24px;margin:32px 0 0;display:flex}.Desk-module__UZA1Zq__pager button{color:var(--ink);cursor:pointer;background:0 0;border:0;padding:0;font-weight:600}.Desk-module__UZA1Zq__pager button:hover{text-underline-offset:.2em;text-decoration:underline}
.EngineLog-module__o_bH_q__engine{background:var(--soft);font-family:var(--mono);border-radius:10px;margin:0 0 64px;padding:18px 20px 16px;font-size:12.5px;line-height:1.7}.EngineLog-module__o_bH_q__head{justify-content:space-between;padding-bottom:10px;font-weight:600;display:flex}.EngineLog-module__o_bH_q__live{color:var(--accent)}.EngineLog-module__o_bH_q__idle{color:var(--muted)}.EngineLog-module__o_bH_q__lines{height:23.8em;margin:0;padding:0;list-style:none;overflow:hidden}.EngineLog-module__o_bH_q__lines li{white-space:nowrap;grid-template-columns:15ch 11ch 1fr;gap:12px;display:grid}.EngineLog-module__o_bH_q__source{color:var(--muted)}.EngineLog-module__o_bH_q__detail{white-space:pre;text-overflow:ellipsis;overflow:hidden}.EngineLog-module__o_bH_q__totals{border-top:1px solid var(--line);flex-wrap:wrap;gap:4px 32px;margin:12px 0 0;padding-top:10px;display:flex}.EngineLog-module__o_bH_q__totals div{gap:8px;display:flex}.EngineLog-module__o_bH_q__totals dt{color:var(--muted)}.EngineLog-module__o_bH_q__totals dd{font-variant-numeric:tabular-nums;margin:0;font-weight:600}@media (max-width:560px){.EngineLog-module__o_bH_q__engine{font-size:11px}.EngineLog-module__o_bH_q__lines li{grid-template-columns:9ch 1fr}.EngineLog-module__o_bH_q__source{display:none}}
.EvidenceGraph-module__n0hIiW__evidence{margin:0 0 80px}.EvidenceGraph-module__n0hIiW__heading{letter-spacing:-.02em;margin:0;font-size:24px;font-weight:600;line-height:1.25}.EvidenceGraph-module__n0hIiW__legend{color:var(--muted);font-family:var(--mono);margin:16px 0 8px;font-size:11.5px;display:flex}.EvidenceGraph-module__n0hIiW__legend span:first-child{width:70%}.EvidenceGraph-module__n0hIiW__svg{width:100%;height:auto;display:block;overflow:visible}.EvidenceGraph-module__n0hIiW__group{fill:none;stroke:var(--line);stroke-width:1px}.EvidenceGraph-module__n0hIiW__groupLit{fill:none;stroke:var(--accent);stroke-width:1.25px}.EvidenceGraph-module__n0hIiW__edge,.EvidenceGraph-module__n0hIiW__edgeLit,.EvidenceGraph-module__n0hIiW__edgeDim{fill:none}.EvidenceGraph-module__n0hIiW__edge{stroke:#cfcfd6;stroke-width:1px}.EvidenceGraph-module__n0hIiW__edgeLit{stroke:var(--accent);stroke-width:1.5px}.EvidenceGraph-module__n0hIiW__edgeDim{stroke:var(--line);stroke-width:1px}.EvidenceGraph-module__n0hIiW__hit{fill:transparent}.EvidenceGraph-module__n0hIiW__finding,.EvidenceGraph-module__n0hIiW__findingLit{stroke-width:1.5px}.EvidenceGraph-module__n0hIiW__finding{fill:var(--background);stroke:var(--ink)}.EvidenceGraph-module__n0hIiW__findingLit{fill:var(--accent);stroke:var(--accent)}.EvidenceGraph-module__n0hIiW__id{font-family:var(--mono);fill:var(--muted);font-size:11.5px}.EvidenceGraph-module__n0hIiW__title,.EvidenceGraph-module__n0hIiW__titleDim{font-family:var(--sans);font-size:12.5px}.EvidenceGraph-module__n0hIiW__title{fill:var(--ink)}.EvidenceGraph-module__n0hIiW__titleDim{fill:#cfcfd6}.EvidenceGraph-module__n0hIiW__port,.EvidenceGraph-module__n0hIiW__paper{fill:var(--ink)}.EvidenceGraph-module__n0hIiW__paperLit{fill:var(--accent)}.EvidenceGraph-module__n0hIiW__rest{fill:#cfcfd6}a:focus-visible .EvidenceGraph-module__n0hIiW__finding{stroke:var(--accent)}.EvidenceGraph-module__n0hIiW__caption{color:var(--muted);margin:12px 0 0;font-size:13px}@media (max-width:560px){.EvidenceGraph-module__n0hIiW__legend{display:none}}.EvidenceGraph-module__n0hIiW__single{max-width:600px;color:var(--muted);margin:0;font-size:15px;line-height:1.6}
.Methods-module__5-jwjq__methods{margin:128px 0 0}.Methods-module__5-jwjq__heading{letter-spacing:-.025em;margin:0;font-size:28px;font-weight:600;line-height:1.15}.Methods-module__5-jwjq__lead{margin:12px 0 0}.Methods-module__5-jwjq__lead a{color:var(--muted);text-decoration:none}.Methods-module__5-jwjq__lead a:hover{color:var(--ink)}.Methods-module__5-jwjq__protocol{margin:56px 0 0;padding:0;list-style:none}.Methods-module__5-jwjq__protocol li{border-top:1px solid var(--line);grid-template-columns:36px 80px 1fr 136px;gap:16px;padding:14px 0;display:grid}.Methods-module__5-jwjq__number{color:var(--muted);font-variant-numeric:tabular-nums}.Methods-module__5-jwjq__step{font-weight:600}.Methods-module__5-jwjq__spec{font-family:var(--mono);text-align:right;white-space:nowrap;font-size:12.5px;line-height:1.9}.Methods-module__5-jwjq__subheading{margin:64px 0 12px;font-size:16px;font-weight:600}.Methods-module__5-jwjq__math{background:var(--soft);font-family:var(--mono);border-radius:10px;margin:0;padding:16px 20px;font-size:12.5px;line-height:1.9;overflow-x:auto}.Methods-module__5-jwjq__caption{color:var(--muted);margin:12px 0 0;font-size:13px}.Methods-module__5-jwjq__sheet{border-collapse:collapse;width:100%;font-family:var(--mono);margin:64px 0 0;font-size:13px}.Methods-module__5-jwjq__sheet caption{text-align:left;font-family:var(--sans);padding-bottom:12px;font-size:16px;font-weight:600}.Methods-module__5-jwjq__sheet th,.Methods-module__5-jwjq__sheet td{border-top:1px solid var(--line);text-align:left;vertical-align:top;padding:10px 0}.Methods-module__5-jwjq__sheet th{width:36%;color:var(--muted);padding-right:16px;font-weight:400}@media (max-width:560px){.Methods-module__5-jwjq__protocol li{grid-template-columns:32px 1fr;gap:4px 12px}.Methods-module__5-jwjq__how,.Methods-module__5-jwjq__spec{grid-column:2}.Methods-module__5-jwjq__spec{text-align:left}.Methods-module__5-jwjq__sheet th,.Methods-module__5-jwjq__sheet td{width:auto;display:block}.Methods-module__5-jwjq__sheet td{border:0;padding-top:0}}
.Rail-module__4HsAHq__rail{align-self:start;max-height:calc(100vh - 96px);font-size:13px;position:-webkit-sticky;position:sticky;top:80px;overflow-y:auto}.Rail-module__4HsAHq__stats{border-top:1px solid var(--ink);border-bottom:1px solid var(--line);grid-template-columns:1fr 1fr;gap:12px 16px;margin:0;padding:12px 0 16px;display:grid}.Rail-module__4HsAHq__stats dt{color:var(--muted);font-size:11.5px}.Rail-module__4HsAHq__stats dd{font-family:var(--mono);letter-spacing:-.02em;font-variant-numeric:tabular-nums;margin:0;font-size:18px}.Rail-module__4HsAHq__label{color:var(--muted);font-family:var(--mono);margin:24px 0 6px;font-size:11.5px}.Rail-module__4HsAHq__index,.Rail-module__4HsAHq__sections{margin:0;padding:0;list-style:none}.Rail-module__4HsAHq__index a{border-bottom:1px solid var(--line);grid-template-columns:40px 1fr;gap:0 6px;padding:7px 0;text-decoration:none;display:grid}.Rail-module__4HsAHq__index a:hover .Rail-module__4HsAHq__title{text-underline-offset:.2em;text-decoration:underline}.Rail-module__4HsAHq__id{font-family:var(--mono);color:var(--muted);grid-row:span 2;padding-top:1px;font-size:11.5px}.Rail-module__4HsAHq__title{font-weight:600;line-height:1.35}.Rail-module__4HsAHq__meta{color:var(--muted);font-size:12px}.Rail-module__4HsAHq__sections li{padding:3px 0}.Rail-module__4HsAHq__sections a,.Rail-module__4HsAHq__sections button{color:var(--ink);font:inherit;cursor:pointer;background:0 0;border:0;padding:0;text-decoration:none}.Rail-module__4HsAHq__sections a:hover,.Rail-module__4HsAHq__sections button:hover{text-underline-offset:.2em;text-decoration:underline}@media (max-width:1099px){.Rail-module__4HsAHq__rail{max-height:none;margin-bottom:56px;position:static}}
.RunRecord-module__3Iir0q__record{border-top:1px solid var(--ink);font-family:var(--mono);margin:0 0 40px;font-size:12.5px;line-height:1.6}.RunRecord-module__3Iir0q__head{border-bottom:1px solid var(--line);justify-content:space-between;padding:10px 0;font-weight:600;display:flex}.RunRecord-module__3Iir0q__live{color:var(--accent)}.RunRecord-module__3Iir0q__state{color:var(--muted)}.RunRecord-module__3Iir0q__rows{margin:0}.RunRecord-module__3Iir0q__rows div{border-bottom:1px solid var(--line);grid-template-columns:120px 1fr;gap:16px;padding:7px 0;display:grid}.RunRecord-module__3Iir0q__rows dt{color:var(--muted)}.RunRecord-module__3Iir0q__rows dd{overflow-wrap:anywhere;margin:0}@media (max-width:560px){.RunRecord-module__3Iir0q__rows div{grid-template-columns:1fr;gap:0}}
.ProblemList-module__XFfw6a__list{scroll-margin-top:80px}.ProblemList-module__XFfw6a__heading{letter-spacing:-.025em;margin:0;font-size:28px;font-weight:600;line-height:1.15}.ProblemList-module__XFfw6a__deck,.ProblemList-module__XFfw6a__meta{color:var(--muted);margin:16px 0 0;font-size:14px}.ProblemList-module__XFfw6a__findings{border-collapse:collapse;width:100%;margin:32px 0 0;font-size:13px}.ProblemList-module__XFfw6a__findings th,.ProblemList-module__XFfw6a__findings td{border-bottom:1px solid var(--line);text-align:left;vertical-align:top;padding:8px 12px 8px 0}.ProblemList-module__XFfw6a__findings th{border-top:1px solid var(--ink);color:var(--muted);font-family:var(--mono);white-space:nowrap;font-size:11.5px;font-weight:400}.ProblemList-module__XFfw6a__id,.ProblemList-module__XFfw6a__num{font-family:var(--mono);font-variant-numeric:tabular-nums;white-space:nowrap}.ProblemList-module__XFfw6a__nowrap{white-space:nowrap}.ProblemList-module__XFfw6a__id a{text-decoration:none}.ProblemList-module__XFfw6a__id a:hover{text-decoration:underline}.ProblemList-module__XFfw6a__stamp{color:var(--muted);font-family:var(--mono);white-space:pre-wrap;margin-top:2px;font-size:11.5px;display:block}.ProblemList-module__XFfw6a__stamp a{color:var(--ink);font-size:inherit;text-decoration:none}.ProblemList-module__XFfw6a__stamp a:hover{text-decoration:underline}.ProblemList-module__XFfw6a__cite{color:var(--ink);font-family:var(--mono);cursor:pointer;background:0 0;border:0;margin-top:8px;padding:0;font-size:12px;font-weight:600}.ProblemList-module__XFfw6a__cite:hover{text-decoration:underline}.ProblemList-module__XFfw6a__problems{margin:64px 0 0;padding:0;list-style:none}.ProblemList-module__XFfw6a__problem{gap:12px;margin-bottom:72px;display:flex}.ProblemList-module__XFfw6a__number{width:48px;font-family:var(--mono);color:var(--muted);font-variant-numeric:tabular-nums;flex:none;padding-top:4px;font-size:13px}.ProblemList-module__XFfw6a__title{letter-spacing:-.015em;margin:0;font-size:20px;font-weight:600;line-height:1.3}.ProblemList-module__XFfw6a__meta{margin:4px 0 16px}.ProblemList-module__XFfw6a__text{margin:0}.ProblemList-module__XFfw6a__label{margin:24px 0 4px;font-size:16px;font-weight:600}.ProblemList-module__XFfw6a__quote{margin:0 0 12px;font-size:17px;line-height:1.55}@media (max-width:560px){.ProblemList-module__XFfw6a__findings th:nth-child(3),.ProblemList-module__XFfw6a__findings td:nth-child(3),.ProblemList-module__XFfw6a__findings th:nth-child(4),.ProblemList-module__XFfw6a__findings td:nth-child(4),.ProblemList-module__XFfw6a__findings th:nth-child(5),.ProblemList-module__XFfw6a__findings td:nth-child(5){display:none}.ProblemList-module__XFfw6a__problem{display:block}.ProblemList-module__XFfw6a__number{padding:0;display:block}}
.ReadingList-module__mPbwsW__list{margin:0}.ReadingList-module__mPbwsW__list summary{cursor:pointer;font-weight:600;list-style:none}.ReadingList-module__mPbwsW__list summary::-webkit-details-marker{display:none}.ReadingList-module__mPbwsW__list summary:hover{text-underline-offset:.2em;text-decoration:underline}.ReadingList-module__mPbwsW__list ol{margin:16px 0 0;padding:0;list-style:none}.ReadingList-module__mPbwsW__list li{gap:12px;padding:6px 0;display:flex}.ReadingList-module__mPbwsW__number{width:28px;color:var(--muted);font-variant-numeric:tabular-nums;flex:none}.ReadingList-module__mPbwsW__list a{text-decoration:none}.ReadingList-module__mPbwsW__list a:hover{text-underline-offset:.2em;text-decoration:underline}.ReadingList-module__mPbwsW__meta{color:var(--muted);font-size:14px;display:block}
.page-module__XF6Hjq__page{max-width:728px;margin:0 auto;padding:0 24px}.page-module__XF6Hjq__wide{max-width:1104px}.page-module__XF6Hjq__wide .page-module__XF6Hjq__intro{max-width:680px}.page-module__XF6Hjq__workspace{grid-template-columns:248px minmax(0,680px);align-items:start;gap:64px;padding-top:48px;display:grid}.page-module__XF6Hjq__papers{margin:0 0 96px}.page-module__XF6Hjq__nav{z-index:10;background:var(--background);justify-content:space-between;align-items:baseline;padding:24px 0 16px;display:flex;position:-webkit-sticky;position:sticky;top:0}.page-module__XF6Hjq__home{color:var(--ink);cursor:pointer;background:0 0;border:0;padding:0}.page-module__XF6Hjq__name{font-family:var(--name);perspective:400px;font-size:20px}.page-module__XF6Hjq__share{color:var(--muted);cursor:pointer;background:0 0;border:0;padding:0;font-size:14px;text-decoration:none}.page-module__XF6Hjq__actions{gap:20px;display:flex}.page-module__XF6Hjq__share:hover{color:var(--ink)}.page-module__XF6Hjq__status{border-top:1px solid var(--line);border-bottom:1px solid var(--line);color:var(--muted);font-family:var(--mono);flex-wrap:wrap;gap:2px 20px;margin:0;padding:8px 0;font-size:11.5px;display:flex}.page-module__XF6Hjq__online,.page-module__XF6Hjq__offline{font-weight:600}.page-module__XF6Hjq__online{color:var(--accent)}.page-module__XF6Hjq__offline{color:var(--ink)}.page-module__XF6Hjq__intro{padding:72px 0 64px}.page-module__XF6Hjq__question{letter-spacing:-.025em;margin:0;font-size:max(28px,min(5vw,34px));font-weight:600;line-height:1.15}.page-module__XF6Hjq__lead{color:var(--muted);margin:12px 0 32px;font-size:16px;line-height:1.6}.page-module__XF6Hjq__console{border:1px solid var(--ink);border-radius:10px}.page-module__XF6Hjq__consoleHead{border-bottom:1px solid var(--line);font-family:var(--mono);justify-content:space-between;gap:16px;padding:10px 16px;font-size:11.5px;display:flex}.page-module__XF6Hjq__consoleHead span:last-child{color:var(--muted)}.page-module__XF6Hjq__textarea{background:var(--background);width:100%;color:var(--ink);resize:none;border:0;border-radius:0;outline:none;padding:14px 16px;font-size:17px;line-height:1.5;display:block}.page-module__XF6Hjq__console:focus-within{outline:2px solid var(--ink);outline-offset:2px}.page-module__XF6Hjq__textarea::placeholder,.page-module__XF6Hjq__textarea:disabled{color:var(--muted)}.page-module__XF6Hjq__bar{border-top:1px solid var(--line);align-items:center;gap:16px;padding:12px 16px;display:flex}.page-module__XF6Hjq__button{background:var(--ink);color:var(--background);cursor:pointer;border:0;border-radius:8px;flex:none;padding:14px 22px;font-size:16px;font-weight:600}.page-module__XF6Hjq__button:disabled{opacity:.2;cursor:default}.page-module__XF6Hjq__hint{color:var(--muted);font-family:var(--mono);font-size:12px}.page-module__XF6Hjq__error{margin:16px 0 0}.page-module__XF6Hjq__numbers{border-top:1px solid var(--ink);grid-template-columns:repeat(3,1fr);gap:0;margin:56px 0 0;display:grid}.page-module__XF6Hjq__numbers>div{padding:14px 16px 0 0}.page-module__XF6Hjq__numbers dt{font-family:var(--mono);letter-spacing:-.02em;font-variant-numeric:tabular-nums;font-size:26px;line-height:1.1}.page-module__XF6Hjq__numbers dd{color:var(--muted);margin:6px 0 0;font-size:12px;line-height:1.45}.page-module__XF6Hjq__source{color:var(--muted);margin:16px 0 0;font-size:12px}.page-module__XF6Hjq__examples{margin:56px 0 0}.page-module__XF6Hjq__examples ol{margin:8px 0 0;padding:0;list-style:none}.page-module__XF6Hjq__examples li{gap:12px;padding:4px 0;display:flex}.page-module__XF6Hjq__examples a{text-decoration:none}.page-module__XF6Hjq__examples a:hover{text-underline-offset:.2em;text-decoration:underline}.page-module__XF6Hjq__label{margin:0;font-weight:600}.page-module__XF6Hjq__number{width:28px;color:var(--muted);font-variant-numeric:tabular-nums;flex:none}.page-module__XF6Hjq__exports{flex-wrap:wrap;gap:8px 24px;margin:-24px 0 40px;display:flex}.page-module__XF6Hjq__exports button{color:var(--ink);font-family:var(--mono);cursor:pointer;background:0 0;border:0;padding:0;font-size:12.5px;font-weight:600}.page-module__XF6Hjq__exports button:hover{text-underline-offset:.2em;text-decoration:underline}.page-module__XF6Hjq__steps{margin:0 0 32px;padding:0;list-style:none}.page-module__XF6Hjq__step,.page-module__XF6Hjq__stepDone{font-family:var(--mono);gap:12px;padding:2px 0;font-size:12.5px;display:flex}.page-module__XF6Hjq__stepDone{color:var(--muted)}.page-module__XF6Hjq__footnote{color:var(--muted);margin:64px 0 0;font-size:14px}.page-module__XF6Hjq__footer{color:var(--muted);padding:96px 0 48px;font-size:14px}@media (max-width:1099px){.page-module__XF6Hjq__wide{max-width:728px}.page-module__XF6Hjq__workspace{display:block}}@media (max-width:560px){.page-module__XF6Hjq__page{padding:0 16px}.page-module__XF6Hjq__status{border-top:1px solid var(--line);border-bottom:1px solid var(--line);color:var(--muted);font-family:var(--mono);flex-wrap:wrap;gap:2px 20px;margin:0;padding:8px 0;font-size:11.5px;display:flex}.page-module__XF6Hjq__online,.page-module__XF6Hjq__offline{font-weight:600}.page-module__XF6Hjq__online{color:var(--accent)}.page-module__XF6Hjq__offline{color:var(--ink)}.page-module__XF6Hjq__intro{padding:40px 0 48px}.page-module__XF6Hjq__hint,.page-module__XF6Hjq__consoleHead span:last-child{display:none}.page-module__XF6Hjq__numbers dt{font-size:20px}}