.RM4tMq_Trigger{border:none}.RM4tMq_Popup{box-sizing:border-box;background-color:var(--color-surface);box-shadow:var(--box-shadow-convex);color:var(--color-text);border-radius:.4rem;padding-block:.25rem;padding-inline:.8rem;font-size:.875rem;font-weight:300;line-height:1rem}.RM4tMq_Positioner{z-index:1100}@media (forced-colors:active){.RM4tMq_Popup{border:1px solid}}
.XZwBQa_Host{flex:1;min-height:0;display:flex}.XZwBQa_Host:has(>.XZwBQa_Slot>[data-side=below]){flex-direction:column}.XZwBQa_Slot{display:contents}.XZwBQa_Divider{z-index:1;touch-action:none;flex:none;position:relative}.XZwBQa_Divider:before{content:"";border:0 solid var(--color-hairline);position:absolute}.XZwBQa_Divider:hover:before{border-color:var(--color-text-lightest)}.XZwBQa_Divider:active:before{border-color:var(--color-link)}.XZwBQa_Divider[data-side=beside]{cursor:col-resize}.XZwBQa_Divider[data-side=beside]:before{border-inline-start-width:1px;inset-block:0;inset-inline-start:calc(50% - .5px)}.XZwBQa_Divider[data-side=below]{cursor:row-resize}.XZwBQa_Divider[data-side=below]:before{border-block-start-width:1px;inset-block-start:calc(50% - .5px);inset-inline:0}.XZwBQa_Dock{flex-direction:column;flex:none;min-width:0;min-height:0;display:flex;overflow:auto}.XZwBQa_Button{align-items:baseline;padding-block:6px;padding-inline:12px;font-size:.875rem;}.XZwBQa_Button>svg{align-self:center}@media (max-width:40rem){.XZwBQa_ButtonWords{display:none}}.XZwBQa_Menu,.XZwBQa_Close{color:var(--color-text-secondary);}
._8LHhbW_Page{--document-formula-size:1.25rem;--formula-editor-size:var(--document-formula-size);--toolbar-room:1.5rem;--toolbar-reach:0px;--formula-line:0px;--block-gap:max(1.5rem, var(--toolbar-reach) + 4px - var(--formula-line));--gutter:1.5rem;width:100%;max-width:66rem;margin-inline:auto;padding-block:4rem;padding-inline:16px;container-type:inline-size}@media (max-width:40rem){._8LHhbW_Page{padding-block:2.5rem}}._8LHhbW_Head{flex-direction:column;gap:1rem;margin-block-end:calc(var(--toolbar-room) + var(--block-gap));padding-inline-start:var(--gutter);display:flex}._8LHhbW_HeadAct{}._8LHhbW_HeadWords{}._8LHhbW_CheckAllSays{color:var(--color-text-secondary);align-items:center;gap:.5rem;font-size:.875rem;display:flex}._8LHhbW_CheckAllSays p{margin:0}._8LHhbW_Dismiss{color:inherit;background:0 0;flex:none;}._8LHhbW_Title{margin:0;font-size:clamp(2rem,1.25rem + 3cqi,2.5rem);line-height:1.2}._8LHhbW_TitleLines{display:grid}._8LHhbW_TitleLines:after{content:attr(data-text) " "}._8LHhbW_TitleLines:after,._8LHhbW_TitleCopy{visibility:hidden}._8LHhbW_TitleLines:after,._8LHhbW_TitleCopy,._8LHhbW_TitleField{font:inherit;letter-spacing:inherit;word-spacing:inherit;text-indent:inherit;text-transform:inherit;white-space:pre-wrap;overflow-wrap:anywhere;border:none;grid-area:1/1;margin:0;padding:0}._8LHhbW_TitleField{color:inherit;resize:none;background:0 0;overflow:hidden}._8LHhbW_TitleField::placeholder{color:var(--color-text-lightest)}._8LHhbW_TitleField:focus{outline:none}._8LHhbW_Renamed{overflow-wrap:anywhere;margin:0}._8LHhbW_RenamedToNone{color:var(--color-text-lightest);}._8LHhbW_Blocks{gap:var(--block-gap);flex-direction:column;margin:0;padding:0;list-style:none;display:flex}._8LHhbW_Block{grid-template-areas:"gutter formula"".status"".notice";grid-template-columns:var(--gutter) minmax(0, 1fr);align-items:start;display:grid}._8LHhbW_Block:has(>:not(._8LHhbW_Formula,._8LHhbW_Gutter,._8LHhbW_Status)){padding-block-end:var(--toolbar-room)}._8LHhbW_Formula{grid-area:formula}._8LHhbW_Gutter{height:var(--document-formula-size);color:var(--color-text-secondary);grid-area:gutter;align-items:center;display:flex}._8LHhbW_Pending{animation:1s linear infinite _8LHhbW_turn}@media (prefers-reduced-motion:reduce){._8LHhbW_Pending{animation:none}}@keyframes _8LHhbW_turn{to{rotate:1turn}}._8LHhbW_Status{color:var(--color-text-secondary);flex-wrap:wrap;grid-area:status;column-gap:.5em;font-size:.875rem;line-height:1.5;display:flex}._8LHhbW_Words{}._8LHhbW_Block:has(:focus-visible) ._8LHhbW_Status{margin-block-start:0}._8LHhbW_Block:has(:focus-visible) ._8LHhbW_Words{clip-path:none;white-space:normal;width:auto;height:auto;margin:0;position:static;overflow:visible}@container (min-width:40rem){._8LHhbW_Block:where(:hover) ._8LHhbW_Status{margin-block-start:-1.5em}._8LHhbW_Block:hover ._8LHhbW_Words{clip-path:none;white-space:normal;width:auto;height:auto;margin:0;position:static;overflow:visible}}._8LHhbW_Block:has(.formula-editor-check:not([data-shows=none])) ._8LHhbW_InPanel{display:none}._8LHhbW_Alert{color:var(--color-main-text)}._8LHhbW_Notice{box-shadow:var(--box-shadow-thin-convex);border-radius:.6rem;flex-direction:column;grid-area:notice;gap:.5rem;margin-block-start:.75rem;padding-block:.75rem;padding-inline:1rem;display:flex}@media (forced-colors:active){._8LHhbW_Notice{border:1px solid}}._8LHhbW_Says{color:var(--color-main-text);margin:0}._8LHhbW_Drawn{font-size:var(--document-formula-size);overflow-x:auto}._8LHhbW_Drawn math{width:max-content}._8LHhbW_Acts{flex-wrap:wrap;gap:.5rem;display:flex}._8LHhbW_Act{padding-block:6px;padding-inline:12px;}._8LHhbW_Block._8LHhbW_Asked{grid-template-areas:"gutter formula"".status"".ask"".notice"}._8LHhbW_Ask{grid-area:ask;min-width:0;margin-block-start:.75rem}._8LHhbW_AskCard{width:fit-content;max-width:100%}._8LHhbW_AskStatus{color:var(--color-text-secondary);margin:0;font-size:.875rem}._8LHhbW_AskPart{font-size:var(--document-formula-size)}._8LHhbW_AskChanged{font-size:.875rem}._8LHhbW_Block._8LHhbW_Proving{grid-template-areas:"gutter formula"".status"".notice"".proof"}._8LHhbW_Block._8LHhbW_Asked._8LHhbW_Proving{grid-template-areas:"gutter formula"".status"".ask"".notice"".proof"}._8LHhbW_Proofs{flex-direction:column;grid-area:proof;align-items:flex-start;gap:1rem;min-width:0;margin-block-start:.5rem;display:flex}._8LHhbW_Proof{min-width:0;color:var(--color-text-secondary);flex-direction:column;align-self:stretch;align-items:flex-start;gap:.25rem;font-size:.875rem;display:flex}._8LHhbW_ProofSource{box-sizing:border-box;field-sizing:content;background:var(--color-recessed);width:100%;min-height:calc(3lh + 1rem);max-height:calc(16lh + 1rem);font-family:var(--font-code);color:var(--color-text);resize:none;border:none;border-radius:.4rem;margin:0;padding:.5rem .75rem;font-size:.875rem;line-height:1.5;overflow-y:auto}@media (forced-colors:active){._8LHhbW_ProofSource{border:1px solid}}._8LHhbW_ProofLabel{color:var(--color-text-lightest);font-size:.875rem}._8LHhbW_ProofActs{flex-wrap:wrap;align-self:stretch;align-items:center;gap:4px;margin-inline-start:calc(1px - 12px - var(--box-shadow-offset-inline-start));display:flex}._8LHhbW_ProofActs:empty{display:none}._8LHhbW_ProofAct{padding-block:4px;padding-inline:12px;}._8LHhbW_ChangedMarkers{margin-block-end:.5rem;margin-inline-start:calc(1px - 12px - var(--box-shadow-offset-inline-start));display:flex}._8LHhbW_ChangedMarker{text-align:start;}._8LHhbW_Ended{color:var(--color-text-lightest)}._8LHhbW_ProposalAnswers{margin-inline-start:calc(1px - 12px - var(--box-shadow-offset-inline-start));}._8LHhbW_ProofDelete{color:var(--color-main-text);margin-inline:auto -12px;}._8LHhbW_ProofAdd{margin-inline-start:-8px;padding-block:4px;padding-inline:8px;}._8LHhbW_Questions{margin-block-start:calc(var(--toolbar-room) + var(--block-gap));padding-inline-start:var(--gutter)}._8LHhbW_QuestionsHeading{margin:0;font-size:1.25rem}._8LHhbW_QuestionsTrigger{color:inherit;font-size:inherit;text-align:start;align-items:start;gap:.25rem;margin-inline-start:calc(-8px - 1.25rem);padding-block:4px;padding-inline:8px;display:flex;}._8LHhbW_QuestionsTrigger svg{flex:none;margin-block-start:calc(.5lh - .5rem);transition:rotate .15s}._8LHhbW_QuestionsTrigger[data-panel-open] svg{rotate:90deg}._8LHhbW_QuestionsPanel{flex-direction:column;align-items:flex-start;gap:.75rem;margin-block-start:.75rem;display:flex}._8LHhbW_QuestionsList{flex-direction:column;gap:1rem;width:100%;margin:0;padding:0;list-style:none;display:flex}._8LHhbW_Question{grid-template-columns:minmax(0,1fr) auto;grid-template-areas:"title acts""note acts""card card";column-gap:1rem;display:grid}@container not (min-width:30rem){._8LHhbW_Question{grid-template-columns:minmax(0,1fr);grid-template-areas:"title""note""acts""card"}}._8LHhbW_QuestionTitle{overflow-wrap:anywhere;grid-area:title;margin:0;font-size:1rem}._8LHhbW_QuestionNote{color:var(--color-text-lightest);grid-area:note;margin:0;font-size:.875rem}._8LHhbW_QuestionActs{grid-area:acts;gap:.25rem;display:flex}@container not (min-width:30rem){._8LHhbW_QuestionActs{margin-inline-start:calc(1px - 12px - var(--box-shadow-offset-inline-start))}}._8LHhbW_QuestionAct{min-block-size:1.5rem;}._8LHhbW_QuestionCard{grid-area:card;min-width:0;margin-block-start:.75rem}._8LHhbW_QuestionsMore{min-block-size:1.5rem;}._8LHhbW_ProofStatus{margin:0}._8LHhbW_ProofStatus svg{vertical-align:-.2em;margin-inline-end:.375rem}._8LHhbW_ProofLine{margin:0}._8LHhbW_ProofSays{white-space:pre-wrap;overflow-wrap:anywhere;margin:0}._8LHhbW_ProofCode{font-family:var(--font-code);}._8LHhbW_ProofDraft{max-height:16lh;overflow-y:auto;}
.rQ-UAq_ChatDock{flex-direction:column;flex:1;min-height:0;display:flex}.rQ-UAq_Header{align-items:center;gap:.25rem;padding-block:.375rem;padding-inline:.5rem;display:flex}.rQ-UAq_Title{min-width:0;color:var(--color-text);font:inherit;background:0 0;border-radius:.4rem;gap:.25rem;margin-inline-end:auto;padding-block:.25rem;padding-inline:.5rem;}.rQ-UAq_TitleText{text-overflow:ellipsis;white-space:nowrap;min-width:0;overflow:hidden}.rQ-UAq_Open{color:var(--color-text-secondary);}.rQ-UAq_Chats{max-width:min(24rem, var(--available-width));max-height:var(--available-height);overflow-y:auto}.rQ-UAq_TaskForm{background-color:var(--color-surface);flex:1;min-height:0;padding-block:.5rem 1rem;overflow-y:auto;}.rQ-UAq_Started{}.rQ-UAq_StartedLink{}
@layer reset;@layer house{.OdCI2W_Backdrop{background:color-mix(in srgb, var(--color-surface) 40%, transparent);-webkit-backdrop-filter:blur(6px);backdrop-filter:blur(6px);transition:opacity .2s;position:fixed;inset:0}.OdCI2W_Backdrop[data-starting-style],.OdCI2W_Backdrop[data-ending-style]{opacity:0}@media (prefers-reduced-motion:reduce){.OdCI2W_Backdrop{transition:none}}}
.JgnqEG_Backdrop{z-index:100;}.JgnqEG_Card{z-index:100;background:var(--color-surface);height:fit-content;max-height:calc(100dvh - 2rem);box-shadow:var(--box-shadow-convex);color:var(--color-text);border:1px solid #0000;border-radius:.75rem;flex-direction:column;margin:auto;padding:1.5rem;transition:opacity .2s;display:flex;position:fixed;inset:0;overflow-y:auto}.JgnqEG_Card[data-starting-style],.JgnqEG_Card[data-ending-style]{opacity:0}@media (prefers-reduced-motion:reduce){.JgnqEG_Card{transition:none}}.JgnqEG_Measure{width:min(28rem,100vw - 2rem)}.JgnqEG_Popup{gap:.75rem;}.JgnqEG_Title{margin:0;font-size:1.125rem}.JgnqEG_Description{color:var(--color-text-secondary);margin:0;font-size:1rem}.JgnqEG_Actions{flex-wrap:wrap;justify-content:flex-end;gap:.75rem;margin-block-start:.5rem;display:flex}.JgnqEG_Answer{overflow-wrap:anywhere;min-height:2.5rem;padding:.5rem 1rem;font-size:.875rem;}.JgnqEG_Destructive{color:var(--color-main-text)}
.ybQgnG_Trigger{background-color:var(--color-surface);border:none;padding-inline:0;display:flex;}.ybQgnG_Panel{background-color:var(--color-surface);box-shadow:var(--box-shadow-thin-convex);border:none;border-radius:.3rem;font-weight:300}.ybQgnG_Popup{padding:.25rem;}.ybQgnG_Highlight{cursor:pointer}.ybQgnG_Highlight[data-highlighted]:not([data-disabled]){box-shadow:var(--box-shadow-thin-convex)}@media (forced-colors:active){.ybQgnG_Highlight[data-highlighted]:not([data-disabled]):not(:focus-visible){outline-offset:-1px;outline:1px solid}}.ybQgnG_Row{flex-direction:row;align-items:center;gap:8px;padding-block:.5rem;font-size:.875rem;display:flex;}.ybQgnG_Item{border-radius:.25rem;padding-inline:.75rem;}.ybQgnG_SelectTrigger{border:none;align-items:center;width:fit-content;display:flex;}.ybQgnG_SelectTrigger:focus,.ybQgnG_SelectTrigger:hover{box-shadow:var(--box-shadow-thin-convex)}.ybQgnG_SelectTrigger[data-popup-open]{box-shadow:var(--box-shadow-thin-concave)}@media (forced-colors:active){.ybQgnG_SelectTrigger[data-popup-open]{outline-offset:-1px;outline:1px solid}}.ybQgnG_RadioItem{justify-content:space-between;gap:1rem;}.ybQgnG_ItemContent{flex-direction:column;align-items:flex-start;gap:.25rem;display:flex}.ybQgnG_ItemDescription{color:var(--color-text-lightest);font-size:.875rem;line-height:1.25}.ybQgnG_GroupLabel{color:var(--color-text-lightest);padding-block:.25rem;padding-inline:1rem;font-size:.875rem}.ybQgnG_Separator{border-block-start:1px solid var(--color-hairline);margin-block:.25rem}.ybQgnG_Positioner{z-index:1100}@media (forced-colors:active){.ybQgnG_Panel{border:1px solid}}