.ZGmE4a_backdrop{background:var(--canvas);position:absolute;inset:0}.ZGmE4a_backdrop[data-grid=true]{background-image:radial-gradient(var(--grid) .65px, transparent .65px);background-size:20px 20px}.ZGmE4a_stage{min-width:0;min-height:0;transition:right .16s ease-out,bottom .16s ease-out;position:absolute;inset:66px 24px 90px}.ZGmE4a_stage[data-inspector=true]{right:406px}.ZGmE4a_currentState{color:var(--selected);align-items:center;gap:5px;display:flex}.ZGmE4a_diagram{width:100%;height:100%;min-height:0;margin:0}.ZGmE4a_initialKey{text-align:center;width:12px;font:16px/1 var(--font-math)}.ZGmE4a_currentKey{background:var(--selected);border-radius:50%;width:8px;height:8px}.ZGmE4a_acceptKey{border:3px double var(--accent);border-radius:50%;width:12px;height:12px}.ZGmE4a_runPanel{z-index:3;border:1px solid var(--line);background:var(--surface);-webkit-backdrop-filter:blur(18px);backdrop-filter:blur(18px);width:auto;max-width:960px;max-height:195px;box-shadow:var(--shadow);border-radius:12px;margin-inline:auto;padding:13px 16px;position:absolute;bottom:82px;left:20px;right:20px;overflow:auto;container:dfa-run/inline-size}.ZGmE4a_runPanel[data-inspector=true]{right:398px}.ZGmE4a_runPanel{visibility:visible;transition:right .16s ease-out,visibility}.ZGmE4a_runPanel[data-open=false]{visibility:hidden;pointer-events:none;transition:right .16s ease-out,visibility 0s .16s}.ZGmE4a_runTop{grid-template-columns:minmax(0,1fr) auto auto;align-items:center;gap:18px;display:grid}.ZGmE4a_wordField{min-width:0}.ZGmE4a_wordEntry{align-items:center;gap:9px;display:flex}.ZGmE4a_wordLabel{color:var(--muted);white-space:nowrap;flex-shrink:0;font-size:11px}.ZGmE4a_wordInput{border:1px solid var(--line);background:var(--canvas);width:150px;min-width:0;max-width:190px;height:32px;color:var(--ink);font:14px var(--font-math);letter-spacing:2px;border-radius:6px;flex:1;padding:5px 9px}.ZGmE4a_wordInput::placeholder{letter-spacing:0;font-size:12px}.ZGmE4a_wordInput[aria-invalid=true],.ZGmE4a_alphabetField input[aria-invalid=true]{border-color:var(--selected)}.ZGmE4a_wordHelp{color:var(--dim);flex-wrap:wrap;gap:2px 12px;margin:5px 0 0;font-size:10px;line-height:1.5;display:flex}.ZGmE4a_wordHelp .math-label{font-size:12px}.ZGmE4a_runControls{border:1px solid var(--line);background:var(--canvas);border-radius:8px;align-items:center;gap:3px;padding:3px;display:flex}.ZGmE4a_runControls>button{white-space:nowrap;gap:5px;height:29px;padding-inline:8px;font-size:11px}.ZGmE4a_runControls>button:first-child{width:28px;padding:0}.ZGmE4a_playbackDivider{background:var(--line);width:1px;height:16px;margin-inline:2px}.ZGmE4a_runResult{align-content:center;justify-items:end;gap:5px;min-width:94px;display:grid}.ZGmE4a_verdict{color:var(--muted);white-space:nowrap;align-items:center;gap:5px;font-size:11px;display:flex}.ZGmE4a_verdict[data-outcome=accepted]{color:var(--accent)}.ZGmE4a_verdict[data-outcome=rejected],.ZGmE4a_verdict[data-outcome=invalid]{color:var(--selected)}.ZGmE4a_help{color:var(--muted);margin:8px 0 0;font-size:11px;line-height:1.65}.ZGmE4a_error{color:var(--selected);margin:8px 0 0;font-size:11px;line-height:1.6}.ZGmE4a_progressCount{color:var(--dim);font-variant-numeric:tabular-nums;font-size:10px}.ZGmE4a_trace{border-top:1px solid var(--line);align-items:center;gap:12px;margin-top:11px;padding-top:7px;display:flex}.ZGmE4a_traceLabel{color:var(--muted);flex-shrink:0;font-size:10px}.ZGmE4a_trace ol{scrollbar-width:thin;scrollbar-color:var(--line) transparent;flex:1;min-width:0;margin:0;padding:8px 2px 3px;list-style:none;display:flex;overflow-x:auto}.ZGmE4a_trace li{align-items:center;display:flex}.ZGmE4a_trace button{background:var(--canvas);color:var(--dim);min-width:33px;font:16px var(--font-math);border:1px solid #0000;border-radius:5px;flex-shrink:0;padding:5px 8px}.ZGmE4a_trace button[data-visited=true]{color:var(--ink)}.ZGmE4a_trace button[aria-current=step]{border-color:var(--selected-line);color:var(--selected);background:var(--selected-soft)}.ZGmE4a_traceArrow{width:32px;color:var(--dim);place-items:center;padding-top:8px;display:grid;position:relative}.ZGmE4a_traceArrow[data-read=true]{color:var(--muted)}.ZGmE4a_traceArrow[data-active=true]{color:var(--selected)}.ZGmE4a_traceArrow small{font:12px var(--font-math);position:absolute;top:-6px}@container dfa-run (max-width:640px){.ZGmE4a_runTop{grid-template-columns:minmax(0,1fr) auto;gap:11px 14px}.ZGmE4a_runControls{grid-area:2/1/auto/-1;justify-self:start}.ZGmE4a_runResult{grid-area:1/2}}.ZGmE4a_fieldLabel{margin:0 0 9px;font-size:11px;font-weight:500;display:block}.ZGmE4a_alphabetField{align-items:center;gap:8px;display:flex}.ZGmE4a_alphabetField input{width:100%;min-width:0;font-family:var(--font-math);border:1px solid var(--line);background:var(--canvas);color:var(--ink);border-radius:6px;padding:7px 9px}.ZGmE4a_tableScroll{margin:20px 0 14px;padding:3px;overflow-x:auto}.ZGmE4a_transitionTable{border-collapse:collapse;text-align:center;white-space:nowrap;width:100%}.ZGmE4a_transitionTable th{color:var(--muted);padding:9px 5px;font-size:11px;font-weight:450}.ZGmE4a_transitionTable thead{border-bottom:1px solid var(--line)}.ZGmE4a_transitionTable tbody th{font:18px var(--font-math);color:var(--ink);text-align:left}.ZGmE4a_transitionTable td{padding:9px 4px}.ZGmE4a_transitionTable tr[data-current=true]{background:var(--canvas)}.ZGmE4a_transitionTable td:last-child>button{width:24px;height:24px}.ZGmE4a_guide{width:330px}.ZGmE4a_guide h2{margin:0 0 12px;font-size:14px}.ZGmE4a_guide p{color:var(--muted);margin:10px 0 0;font-size:12px;line-height:1.7}.ZGmE4a_editorBody{padding-top:4px}.ZGmE4a_stateActions{align-items:center;gap:3px;display:flex}.ZGmE4a_startState{color:var(--ink);background:0 0;border:1px solid #0000;border-radius:6px;align-items:center;gap:5px;padding:6px 7px 6px 3px;font-size:17px;display:flex}.ZGmE4a_startState>svg{opacity:0;color:var(--accent)}.ZGmE4a_startState[aria-pressed=true]{background:var(--accent-soft);border-color:color-mix(in srgb, var(--accent) 18%, transparent)}.ZGmE4a_startState[aria-pressed=true]>svg,.ZGmE4a_startState:hover>svg{opacity:1}.ZGmE4a_startState:hover{background:var(--hover)}.ZGmE4a_acceptState{width:27px;height:28px;color:var(--dim);background:0 0;border:0;border-radius:5px;place-items:center;padding:0;display:grid}.ZGmE4a_acceptState:hover{background:var(--hover);color:var(--accent)}.ZGmE4a_acceptState[aria-pressed=true]{background:var(--accent-soft);color:var(--accent)}.ZGmE4a_acceptGlyph{border:1.4px solid;border-radius:50%;width:14px;height:14px}.ZGmE4a_acceptState[aria-pressed=true] .ZGmE4a_acceptGlyph{border:3px double}.ZGmE4a_tableScroll{scrollbar-width:thin;scrollbar-color:var(--muted) var(--canvas);isolation:isolate;overscroll-behavior-x:contain;padding:0 0 8px}.ZGmE4a_transitionTable{border-collapse:separate;border-spacing:0}.ZGmE4a_transitionTable th:first-child{z-index:2;background:var(--canvas);min-width:94px;box-shadow:1px 0 var(--line);position:sticky;left:0}.ZGmE4a_transitionTable tr[data-current=true] th:first-child{background:var(--canvas)}.ZGmE4a_transitionTable tr>:last-child{z-index:2;background:var(--canvas);min-width:28px;box-shadow:-1px 0 var(--line);position:sticky;right:0}.ZGmE4a_transitionTable thead th{border-bottom:1px solid var(--line);height:34px}.ZGmE4a_tableFooter{justify-content:space-between;align-items:center;gap:12px;display:flex}.ZGmE4a_symbolScroll{color:var(--muted);align-items:center;gap:4px;font-size:12px;display:flex}.ZGmE4a_symbolScroll>button{width:25px;height:25px}.ZGmE4a_transitionTrigger{min-width:51px;color:var(--ink);background:0 0;border:1px solid #0000;border-radius:6px;justify-content:center;align-items:center;gap:5px;padding:7px 5px;font-size:17px;display:inline-flex}.ZGmE4a_transitionTrigger>svg{opacity:0;color:var(--muted)}.ZGmE4a_transitionTrigger:hover,.ZGmE4a_transitionTrigger[data-state=open]{background:var(--hover)}.ZGmE4a_transitionTrigger:hover>svg,.ZGmE4a_transitionTrigger:focus-visible>svg,.ZGmE4a_transitionTrigger[data-state=open]>svg{opacity:1}.ZGmE4a_transitionTable td[data-active=true] .ZGmE4a_transitionTrigger{color:var(--selected);background:var(--selected-soft)}.ZGmE4a_transitionTable tbody tr:not(:last-child)>*{border-bottom:1px solid var(--line)}.ZGmE4a_transitionTable thead th:not(:first-child):not(:last-child){font:14px var(--font-math)}.ZGmE4a_destinationPicker{width:150px;padding:7px}.ZGmE4a_destinationHeading{color:var(--muted);margin:3px 7px 7px;font-size:10px}.ZGmE4a_destinationPicker [role=listbox]{scrollbar-width:thin;max-height:240px;overflow-y:auto}.ZGmE4a_destinationPicker [role=option]{width:100%;color:var(--ink);text-align:left;background:0 0;border:0;border-radius:5px;justify-content:space-between;align-items:center;padding:7px 10px;font-size:18px;display:flex}.ZGmE4a_destinationPicker [role=option][aria-selected=true]{background:var(--accent-soft);color:var(--accent)}.ZGmE4a_destinationPicker [role=option]:hover,.ZGmE4a_destinationPicker [role=option]:focus-visible{background:var(--hover);outline-offset:-2px}@media (prefers-reduced-motion:reduce){.ZGmE4a_stage,.ZGmE4a_runPanel,.ZGmE4a_runPanel[data-open=false]{transition:none}}
.Z3m8aG_host{width:100%;min-width:0;height:100%;min-height:0;position:relative}.Z3m8aG_host>canvas{-webkit-user-select:none;user-select:none;display:block;width:100%!important;height:100%!important}.Z3m8aG_host>canvas:active{cursor:grabbing!important}
.pGtx1q_sidebar{min-height:0}.pGtx1q_section{scrollbar-width:thin;flex:1;min-height:0;overflow-y:auto}:is(.pGtx1q_sidebar .sidebar-brand,.pGtx1q_sidebar .sidebar-repository){flex-shrink:0}.pGtx1q_sidebar .sidebar-about{flex-shrink:0;padding-top:20px}
.NBt8ia_trigger{gap:8px;min-width:0;max-width:260px}.NBt8ia_triggerLabel{color:var(--muted);font-size:10px}.NBt8ia_triggerCode{color:var(--muted);flex-shrink:0;font-size:11px}.NBt8ia_selectedLabel{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.NBt8ia_trigger>svg{color:var(--muted);flex-shrink:0}.NBt8ia_panel{flex-direction:column;width:390px;max-height:min(560px,70dvh);display:flex}.NBt8ia_heading{justify-content:space-between;align-items:center;gap:12px;margin-bottom:12px;display:flex}.NBt8ia_heading h2{margin:0;font-size:12px;font-weight:550}.NBt8ia_heading button{width:25px;height:25px}.NBt8ia_search{border:1px solid var(--line);background:var(--canvas);min-height:34px;color:var(--muted);border-radius:7px;align-items:center;gap:8px;padding:0 10px;display:flex}.NBt8ia_search:focus-within{border-color:var(--accent)}.NBt8ia_search input{width:100%;min-width:0;color:var(--ink);background:0 0;border:0;outline:none;font-size:12px}.NBt8ia_groupFilter{background:var(--canvas);border:1px solid var(--line);width:100%;min-height:28px;color:var(--muted);border-radius:5px;margin-top:10px;padding:0 7px;font-size:11px}.NBt8ia_count{color:var(--dim);margin:11px 0 7px;font-size:10px}.NBt8ia_list{scrollbar-width:thin;scrollbar-color:var(--line) transparent;border-radius:6px;min-height:0;margin:0 -3px;padding:3px;overflow-y:auto}.NBt8ia_list:focus-visible{outline-offset:-2px}.NBt8ia_groupHeading{color:var(--muted);margin:16px 9px 7px;font-size:10px;font-weight:500;line-height:1.5}.NBt8ia_list>div:first-child .NBt8ia_groupHeading{margin-top:7px}.NBt8ia_option{text-align:left;width:100%;color:var(--ink);background:0 0;border:1px solid #0000;border-radius:6px;align-items:baseline;gap:10px;padding:10px 9px;display:flex}.NBt8ia_option[data-highlighted=true]{background:var(--hover);border-color:var(--line)}.NBt8ia_option[aria-selected=true]{color:var(--accent)}.NBt8ia_option>svg{flex-shrink:0;align-self:center;margin-left:auto}.NBt8ia_optionId{color:var(--muted);font-variant-numeric:tabular-nums;flex-shrink:0;font-size:10px}.NBt8ia_optionText{gap:4px;display:grid}.NBt8ia_optionText strong{font-size:12px;font-weight:500;line-height:1.5}.NBt8ia_optionText small{color:var(--muted);font-size:11px;line-height:1.5}.NBt8ia_empty{color:var(--muted);text-align:center;padding:25px 10px;font-size:12px}.NBt8ia_hint{border-top:1px solid var(--line);color:var(--dim);margin:12px 0 0;padding-top:10px;font-size:10px}
.GxANPW_surface canvas[tabindex]:focus:not(:focus-visible){outline:none}.board-app[data-input-method=pointer] .GxANPW_surface canvas[tabindex]:focus{outline:none}.GxANPW_surface canvas[tabindex]:focus-visible{outline:2px solid var(--accent);outline-offset:-4px}.GxANPW_legend{z-index:2;border:1px solid var(--line);background:var(--surface);max-width:min(300px,100% - 44px);box-shadow:var(--shadow);color:var(--muted);pointer-events:none;border-radius:8px;padding:10px 12px;font-size:10px;line-height:1.5;position:absolute;top:60px;left:22px}.GxANPW_legendTitle{color:var(--ink);align-items:center;gap:6px;margin-bottom:8px;display:flex}.GxANPW_legendTitle>svg{color:var(--selected)}.GxANPW_legendItems{gap:6px;display:grid}.GxANPW_legendItems>span{align-items:center;gap:7px;display:flex}.GxANPW_legendItems i{flex:none}.GxANPW_inspector{visibility:visible;transition:visibility}.GxANPW_inspector[data-open=false]{visibility:hidden;pointer-events:none;transition-delay:.16s}.GxANPW_resizeHandle{cursor:col-resize;z-index:2;width:6px;position:absolute;top:0;bottom:0;left:0}.GxANPW_resizeHandle:hover,.GxANPW_resizeHandle:focus-visible{background:color-mix(in srgb, var(--accent) 20%, transparent)}.GxANPW_tabs{border:1px solid var(--line);background:var(--toolbar);border-radius:7px;gap:3px;margin-bottom:17px;padding:3px;display:flex}.GxANPW_tabs button{color:var(--muted);background:0 0;border:0;border-radius:4px;flex:1;padding:7px 10px;font-size:11px}.GxANPW_tabs button[aria-selected=true]{color:var(--ink);background:var(--active);box-shadow:var(--shadow)}@media (prefers-reduced-motion:reduce){.GxANPW_inspector[data-open=false]{transition-delay:0s}}
.I653ia_figure{margin:0;padding:16px 0}.I653ia_panels{grid-template-columns:repeat(2,minmax(0,1fr));align-items:center;gap:34px 28px;display:grid}:is(.I653ia_panels:has(>:only-child),.I653ia_stacked){grid-template-columns:minmax(0,1fr)}.I653ia_panel{min-width:0}.I653ia_drawing{width:100%;height:340px;position:relative}.I653ia_tall{max-width:850px;height:780px;margin-inline:auto}.I653ia_launch{border-radius:6px;display:block;position:relative}.I653ia_launch canvas{pointer-events:none}.I653ia_launch:focus-visible{outline:2px solid var(--accent);outline-offset:3px}.I653ia_open{color:var(--accent);opacity:0;align-items:center;gap:5px;font:11px/1.5 Geist Variable,sans-serif;transition:opacity .12s;display:flex;position:absolute;bottom:6px;right:8px}.I653ia_launch:hover .I653ia_open,.I653ia_launch:focus-visible .I653ia_open{opacity:1}.I653ia_subcaption{text-align:center;color:var(--muted);font:16px/1.4 var(--font-math);margin:8px 0 0}.I653ia_figure figcaption{border-top:1px solid var(--line);flex-wrap:wrap;align-items:baseline;gap:8px 15px;margin-top:20px;padding-top:15px;display:flex}.I653ia_figure figcaption>span{color:var(--muted);font:500 11px/1.5 Geist Variable,sans-serif}.I653ia_figure figcaption>div{font-size:17px;line-height:1.6}
.mNsm9W_transcription{min-width:0;margin:28px 0 44px}.mNsm9W_prose{font-size:18px;line-height:1.85}.mNsm9W_prose p{text-wrap:pretty;margin-bottom:20px}.mNsm9W_prose>p:last-child{margin-bottom:20px}.mNsm9W_prose ul,.mNsm9W_prose ol{margin:14px 0 24px}.mNsm9W_prose li{margin-bottom:12px}.mNsm9W_prose table{width:100%;margin:26px 0 30px;font-size:17px;line-height:1.9}.mNsm9W_prose th{color:var(--muted);font:500 11px/1.5 Geist Variable,sans-serif}.mNsm9W_prose td,.mNsm9W_prose th{text-align:left;vertical-align:top;padding:14px 12px}.mNsm9W_prose td:first-child,.mNsm9W_prose th:first-child{padding-left:0}.mNsm9W_prose .katex-display{margin:22px 0 26px}.mNsm9W_prose .katex-display>.katex{text-align:left}.mNsm9W_introduction{margin-bottom:30px}.mNsm9W_introduction .mNsm9W_prose ul{padding-left:18px;list-style:none}.mNsm9W_heading{border-top:1px solid var(--line);color:var(--ink);align-items:baseline;gap:17px;margin:42px 0 22px;padding-top:24px;scroll-margin-top:26px;font:400 26px/1.35 Newsreader Variable,Georgia,serif;display:flex}.mNsm9W_heading>a{align-items:baseline;gap:17px;width:100%;display:flex}.mNsm9W_heading>a:hover{color:var(--accent)}.mNsm9W_heading>a>svg{color:var(--muted);flex-shrink:0;align-self:center;margin-left:auto}.mNsm9W_label{color:var(--accent);flex-shrink:0;font:500 11px/1.5 Geist Variable,sans-serif}.mNsm9W_heading .mNsm9W_title{font:inherit;color:inherit;min-width:0}.mNsm9W_formula{flex-wrap:wrap;align-items:baseline;gap:9px;min-width:0;margin:22px 0 28px;padding:4px 18px;font-size:19px;display:flex}.mNsm9W_formula>div,.mNsm9W_formula>span,.mNsm9W_formula>a>span{color:inherit;min-width:0;font-size:19px}.mNsm9W_formula .katex-display{margin:0;padding-block:5px}.mNsm9W_formula .katex-display>.katex{text-align:left}.mNsm9W_expression{max-width:100%;color:var(--accent);text-underline-offset:4px;border-radius:4px;text-decoration:underline}.mNsm9W_expression:hover{background:var(--accent-soft)}.mNsm9W_figure{min-width:0;margin:30px 0 34px;scroll-margin-top:24px}.mNsm9W_parts{margin:14px 0 28px;padding-left:30px;font:18px/1.85 Newsreader Variable,Georgia,serif;list-style:lower-alpha}.mNsm9W_parts>li{margin:10px 0;padding-left:8px}.mNsm9W_parts .mNsm9W_prose>p:last-child{margin-bottom:0}.mNsm9W_roman{list-style:lower-roman}.mNsm9W_note{color:var(--muted);margin:16px 0 26px;font:12px/1.7 Geist Variable,sans-serif}.mNsm9W_note summary{cursor:pointer;width:fit-content}.mNsm9W_note>div{margin-top:12px;font-size:16px}@container exploration (max-width:960px){.mNsm9W_heading,.mNsm9W_heading>a{flex-wrap:wrap;gap:8px 15px}.mNsm9W_heading .mNsm9W_title{font-size:24px}.mNsm9W_formula{padding-inline:8px}.mNsm9W_prose td,.mNsm9W_prose th{padding-inline:9px}}
.OBaKMa_introduction{width:100%;min-width:0;max-width:100%;margin:30px 0 36px;padding:0}.OBaKMa_sections{margin:0 0 34px;padding:0;list-style:none}.OBaKMa_sections>li{border-top:1px solid var(--line)}.OBaKMa_sections a{border-radius:6px;align-items:baseline;gap:16px;padding:22px 8px;display:flex}.OBaKMa_sections a:hover{background:var(--accent-soft)}.OBaKMa_number{width:32px;color:var(--accent);font:18px var(--font-math);flex-shrink:0}.OBaKMa_sections h3{color:var(--ink);flex:1;margin:0;font:400 25px/1.25 Newsreader Variable,Georgia,serif}.OBaKMa_sections a>svg{color:var(--muted);flex-shrink:0;align-self:center}.OBaKMa_introductionText{width:100%;min-width:0;max-width:100%}.OBaKMa_introductionText>p{overflow-wrap:break-word;word-break:normal;text-wrap:pretty;max-width:100%}
._313cda_canvas{touch-action:none;cursor:crosshair;background-image:radial-gradient(var(--grid) .65px, transparent .65px);background-size:24px 24px;width:100%;height:100%;position:absolute;inset:0}._313cda_row{flex-wrap:wrap;align-items:center;gap:5px;display:flex}._313cda_row [data-active=true]{background:var(--accent-soft);color:var(--accent)}._313cda_editor{padding:4px 20px 24px}._313cda_editor section{border-bottom:1px solid var(--line);padding:17px 0}._313cda_editor h3,._313cda_mathematics h3{margin:0 0 10px;font-size:13px;font-weight:600}._313cda_editor p{color:var(--muted);margin:8px 0 12px;font-size:12px;line-height:1.65}._313cda_editor label{color:var(--muted);gap:7px;margin:12px 0;font-size:12px;display:grid}._313cda_editor input,._313cda_editor textarea{border:1px solid var(--line);background:var(--canvas);width:100%;color:var(--ink);font:inherit;resize:vertical;border-radius:8px;padding:9px 10px;font-size:13px}._313cda_editor input:focus-visible,._313cda_editor textarea:focus-visible{outline:2px solid var(--accent);outline-offset:2px}._313cda_editor ._313cda_error{color:var(--selected)}._313cda_comparison{background:var(--panel);border:1px solid var(--line);border-radius:14px;width:min(640px,100% - 70px);padding:12px 17px;position:absolute;bottom:76px;left:50%;transform:translate(-50%);box-shadow:0 5px 24px #00000007}._313cda_comparisonTop{justify-content:space-between;align-items:center;gap:10px;display:flex}._313cda_comparisonTop strong{color:var(--ink);font-size:13px}._313cda_signatures{max-height:70px;font-size:16px;overflow:auto}._313cda_signatures p{margin:6px 0}._313cda_notice{color:var(--muted);margin:3px 0 0;font-size:11px;line-height:1.5}._313cda_focusLabel{overflow-wrap:anywhere;max-width:220px;font-size:12px}._313cda_rhoKey,._313cda_sigmaKey,._313cda_witnessKey,._313cda_sampleKey{flex:none;width:10px;height:10px;margin-right:5px;display:inline-block}._313cda_rhoKey{background:var(--selected);border-radius:50%}._313cda_sigmaKey{border:2px solid var(--accent);border-radius:50%}._313cda_witnessKey{border:1.5px solid var(--selected);width:8px;height:8px;margin-left:1px;transform:rotate(45deg)}._313cda_sampleKey{border:1.5px solid #9b83b2}._313cda_legendNote{flex-basis:100%;max-width:300px;line-height:1.55}._313cda_diamond{color:var(--selected);font-size:25px;line-height:1}._313cda_mathematics{padding:18px 22px 28px}._313cda_mathematics h2{margin:8px 0 20px;font-family:Newsreader Variable,Georgia,serif;font-size:27px;font-weight:500;line-height:1.1}._313cda_mathematics section{border-top:1px solid var(--line);padding:17px 0}._313cda_mathematics h3{color:var(--muted)}._313cda_mathematics details{border-top:1px solid var(--line);margin-top:18px;padding-top:14px}._313cda_mathematics summary{cursor:pointer;color:var(--ink);font-size:12px;font-weight:500;line-height:1.6}._313cda_mathematics ._313cda_coordinates{color:var(--muted);overflow-wrap:anywhere;font-size:12px;line-height:1.8}._313cda_eyebrow{color:var(--muted);letter-spacing:.1em;font-size:10px}._313cda_reading{padding:0}._313cda_reading h2{font-size:36px}
.xmD5iW_content{min-width:0;margin:30px 0 40px}.xmD5iW_definition{border-left:2px solid var(--accent);background:color-mix(in srgb, var(--accent-soft) 45%, transparent);border-radius:0 8px 8px 0;padding:23px 26px}.xmD5iW_definition>div{font-size:18px;line-height:1.8}.xmD5iW_definition ol{margin-bottom:0}.xmD5iW_definition .katex-display{text-align:left;margin:9px 0}.xmD5iW_heading{margin:38px 0 18px;font:400 27px/1.3 Newsreader Variable,Georgia,serif}.xmD5iW_recursion{font-size:18px;line-height:1.8}.xmD5iW_recursion .katex-display{text-align:left;margin:16px 0 24px;padding-left:18px}.xmD5iW_figure{min-width:0;margin:32px 0 0;padding:0}.xmD5iW_controls{align-items:center;gap:36px;margin-bottom:22px;display:flex}.xmD5iW_alphabet{align-items:baseline;gap:10px;display:flex}.xmD5iW_alphabet label{color:var(--ink);font-size:18px}.xmD5iW_alphabet input{border:0;border-bottom:1px solid var(--line);width:132px;height:31px;color:var(--ink);font:18px var(--font-math);background:0 0;border-radius:0;outline:none;padding:3px 1px}.xmD5iW_alphabet input:focus{border-color:var(--accent);box-shadow:0 1px var(--accent)}.xmD5iW_rowControls{color:var(--muted);align-items:center;gap:8px;font-size:11px;display:flex}.xmD5iW_rowControls>span{margin-right:5px}.xmD5iW_rowControls button{width:25px;height:27px}.xmD5iW_rowControls output{text-align:center;min-width:12px;color:var(--ink)}.xmD5iW_rowLabel{flex:0 0 52px;font-size:19px}.xmD5iW_rowLabel p,.xmD5iW_element p{margin:0}.xmD5iW_familySet{min-width:0;color:var(--ink);font:18px/2.1 var(--font-math);flex:1}.xmD5iW_element{vertical-align:baseline;max-width:100%;margin-right:10px;font-size:17px;line-height:2.1;display:inline-block}.xmD5iW_brace{font-family:var(--font-math);font-size:21px}.xmD5iW_brace:first-child{margin-right:5px}.xmD5iW_error{color:var(--selected);margin:16px 0;font-size:12px}.xmD5iW_controls{flex-wrap:wrap;gap:12px 28px}.xmD5iW_figure .xmD5iW_math{color:inherit;font-size:17px;line-height:inherit;display:inline}.xmD5iW_count{color:var(--muted);font-variant-numeric:tabular-nums;font-size:10px}.xmD5iW_member{vertical-align:baseline;margin-right:7px;display:inline-block}.xmD5iW_figure .xmD5iW_element{color:var(--ink);cursor:pointer;background:0 0;border:0;border-radius:4px;margin:0;padding:3px 2px;display:inline}.xmD5iW_element:hover,.xmD5iW_parentButton:hover{background:var(--accent-soft)}.xmD5iW_figure .xmD5iW_selected{color:var(--selected);background:var(--selected-soft)}.xmD5iW_figure .xmD5iW_parent{color:var(--accent);box-shadow:0 1px var(--accent)}.xmD5iW_element:focus-visible,.xmD5iW_parentButton:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.xmD5iW_comma{margin-left:1px}.xmD5iW_construction{color:var(--ink);margin:13px 0 12px;padding:4px 0 6px}.xmD5iW_constructionHeader{color:var(--muted);align-items:center;gap:10px;margin-bottom:7px;font-size:10px;display:flex}.xmD5iW_constructionHeader .xmD5iW_math{font-size:12px}.xmD5iW_constructionHeader button{height:25px;font-size:10px}.xmD5iW_constructionHeader .xmD5iW_close{width:24px;margin-left:auto}.xmD5iW_equation{flex-wrap:wrap;align-items:baseline;gap:7px;display:flex}.xmD5iW_factor{align-items:baseline;gap:7px;display:inline-flex}.xmD5iW_parentButton{color:var(--accent);cursor:pointer;background:0 0;border:0;border-radius:3px;padding:3px 2px}.xmD5iW_result{color:var(--selected)}.xmD5iW_familyRow{align-items:baseline;gap:14px;min-width:0;padding:11px 0;display:flex}.xmD5iW_familyBody{flex:1;min-width:0}
.rAqcFW_content{color:var(--ink);overflow-wrap:break-word;min-width:0;font:400 17px/1.75 Newsreader Variable,Georgia,serif}.rAqcFW_content p{margin:0 0 14px}.rAqcFW_content p:last-child{margin-bottom:0}.rAqcFW_content h2{letter-spacing:-.2px;margin:27px 0 12px;font:500 20px/1.3 Newsreader Variable,Georgia,serif}.rAqcFW_content h2:first-child{margin-top:0}.rAqcFW_content h3{margin:24px 0 12px;font:500 18px/1.35 Newsreader Variable,Georgia,serif}.rAqcFW_content strong{font-weight:600}.rAqcFW_content a{color:var(--accent);text-underline-offset:3px;text-decoration:underline}.rAqcFW_content a:has(>.katex){vertical-align:baseline;border-radius:3px;display:inline-block}.rAqcFW_content a:has(>.katex):hover{background:var(--accent-soft)}.rAqcFW_content ul,.rAqcFW_content ol{margin:12px 0 16px;padding-left:21px}.rAqcFW_content ul{list-style:outside}.rAqcFW_content ol{list-style:decimal}.rAqcFW_content li{margin:0 0 10px;padding-left:3px}.rAqcFW_content code{overflow-wrap:anywhere;font-size:.8em}.rAqcFW_content .katex{color:inherit;font-size:1.04em}.rAqcFW_content .katex-display{scrollbar-width:thin;max-width:100%;margin:18px 0;padding:7px 0;overflow:auto hidden}.rAqcFW_content table{border-collapse:collapse;width:100%;font-size:15px}.rAqcFW_content td,.rAqcFW_content th{border-bottom:1px solid var(--line);text-align:left;padding:8px}.rAqcFW_tableScroll{scrollbar-width:thin;max-width:100%;overflow-x:auto}.rAqcFW_tableScroll:focus-visible{outline:2px solid var(--accent);outline-offset:3px}
.vKVwTG_exampleCaption{max-width:calc(100% - 45px);line-height:1.4}.vKVwTG_exampleCaption>span:nth-child(2){text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.vKVwTG_eyebrow{letter-spacing:1.25px;color:var(--muted);margin:0;font:500 9px/1.4 Geist Variable,sans-serif}.vKVwTG_topologyBadge{color:var(--accent);background:var(--accent-soft);white-space:nowrap;border-radius:5px;flex-shrink:0;margin-top:2px;padding:6px 8px;font-size:9px}.vKVwTG_topologyBadge[data-topology=closed]{background:color-mix(in srgb, #7297b5 15%, var(--canvas));color:color-mix(in srgb, #7297b5 85%, var(--ink))}.vKVwTG_topologyBadge[data-topology=neither]{background:var(--selected-soft);color:var(--selected)}.vKVwTG_powerControl,.vKVwTG_memberPicker{color:var(--muted);align-items:center;gap:8px;font-size:10px;display:flex}.vKVwTG_powerControl input{border:1px solid var(--line);background:var(--surface);width:51px;height:28px;color:var(--ink);text-align:center;border-radius:5px;padding:3px 5px;font-size:11px}.vKVwTG_powerControl input:disabled{opacity:.4}.vKVwTG_memberPicker select{border:1px solid var(--line);background:var(--surface);max-width:104px;color:var(--ink);border-radius:5px;height:28px;padding:0 5px;font-size:10px}.vKVwTG_canvasHost{background-image:radial-gradient(var(--grid) .7px, transparent .7px);background-size:22px 22px;position:absolute;inset:0}.vKVwTG_canvas{touch-action:none;cursor:grab;width:100%;height:100%;display:block}.vKVwTG_canvas:active{cursor:grabbing}.vKVwTG_orbitKey{background:var(--selected);border-radius:50%;width:7px;height:7px;display:inline-block}.vKVwTG_dashedKey{border-top:1px dashed var(--muted);width:13px;height:0;display:inline-block}.vKVwTG_canvasHint{color:var(--dim)}.vKVwTG_evaluationNote{color:var(--selected)}.vKVwTG_orbitPanel{z-index:3;border:1px solid var(--line);background:var(--surface);-webkit-backdrop-filter:blur(18px);backdrop-filter:blur(18px);width:min(640px,100% - 44px);box-shadow:var(--shadow);border-radius:12px;padding:11px 14px 10px;position:absolute;bottom:110px;left:50%;transform:translate(-50%)}.vKVwTG_orbitTop{align-items:center;gap:10px;display:flex}.vKVwTG_pointPicker{align-items:center;gap:7px;display:flex}.vKVwTG_pointPicker label{color:var(--muted);white-space:nowrap;font-size:10px}.vKVwTG_pointPicker input{border:1px solid var(--line);background:var(--canvas);width:74px;height:25px;color:var(--ink);border-radius:4px;padding:0 6px;font-size:11px}.vKVwTG_pointPicker button{color:var(--accent);background:0 0;border:0;place-items:center;padding:3px;display:grid}.vKVwTG_traceStatus{color:var(--dim);margin-left:auto;font-size:9px}.vKVwTG_orbitSteps{gap:1px;display:flex}.vKVwTG_orbitSteps button{width:26px;height:26px}.vKVwTG_selectedFacts{color:var(--dim);flex-wrap:wrap;gap:21px;margin-top:9px;font-size:10px;display:flex}.vKVwTG_selectedFacts>span{gap:7px;min-width:0;display:flex}.vKVwTG_selectedFacts strong{color:var(--ink);overflow-wrap:anywhere;font-weight:500}.vKVwTG_coordinate{color:var(--muted);font:14px var(--font-math);margin:8px 0 0}.vKVwTG_orbitChain{scrollbar-width:thin;align-items:center;gap:3px;margin-top:11px;padding-bottom:2px;display:flex;overflow-x:auto}.vKVwTG_orbitChain>span{color:var(--dim);align-items:center;gap:5px;display:flex}.vKVwTG_orbitChain button{background:var(--canvas);color:var(--muted);font-variant-numeric:tabular-nums;border:1px solid #0000;border-radius:4px;padding:4px 7px;font-size:10px}.vKVwTG_orbitChain button:hover{border-color:var(--line)}.vKVwTG_orbitChain button[data-selected=true]{color:var(--selected);background:var(--selected-soft)}.vKVwTG_mathematics{padding:12px 3px 22px}.vKVwTG_mathIntro{margin-bottom:24px}.vKVwTG_mathIntro h2{letter-spacing:-.5px;margin:13px 0 10px;font:400 27px/1.15 Newsreader Variable,Georgia,serif}.vKVwTG_mathIntro>p{color:var(--muted);margin:0;font-size:11px;line-height:1.7}.vKVwTG_smallHeading{letter-spacing:1.1px;color:var(--muted);margin:0 0 12px;font:500 8px/1.5 Geist Variable,sans-serif;display:block}.vKVwTG_representative{background:var(--accent-soft);border-radius:8px;margin-bottom:26px;padding:17px 16px}.vKVwTG_representative>.vKVwTG_smallHeading{color:var(--accent)}.vKVwTG_representative>.vKVwTG_prose{font-size:15px;line-height:1.65}.vKVwTG_representative p{margin:0 0 9px}.vKVwTG_representative p:last-child{margin-bottom:0}.vKVwTG_powerNote,.vKVwTG_powerNote .vKVwTG_prose{color:var(--muted);margin-top:9px;font:10px/1.7 Geist Variable,sans-serif}.vKVwTG_mathSection{margin:0 0 24px}.vKVwTG_prose{min-width:0}.vKVwTG_exploreSection{border-left:2px solid var(--selected-line);margin-bottom:28px;padding-left:14px}.vKVwTG_exploreSection .vKVwTG_smallHeading{color:var(--selected);margin-bottom:8px}.vKVwTG_exploreSection p{color:var(--muted);margin:0;font-size:11px;line-height:1.8}.vKVwTG_proofDetails{border-top:1px solid var(--line);border-bottom:1px solid var(--line);padding:15px 0}.vKVwTG_proofDetails summary{cursor:pointer;color:var(--accent);align-items:center;gap:8px;font-size:11px;line-height:1.5;list-style:none;display:flex}.vKVwTG_proofDetails summary::-webkit-details-marker{display:none}.vKVwTG_proofDetails summary>span{margin-left:auto;font-size:16px;font-weight:300}.vKVwTG_proofDetails[open] summary>span{transform:rotate(45deg)}.vKVwTG_proofDetails[open]>.vKVwTG_prose{margin-top:22px}.vKVwTG_sources{gap:10px;margin-top:25px;display:grid}.vKVwTG_sources .vKVwTG_smallHeading{margin-bottom:0}.vKVwTG_sources a{color:var(--muted);align-items:center;gap:5px;font-size:9px;line-height:1.5;display:flex}.vKVwTG_sources a:hover{color:var(--accent)}.vKVwTG_sources>p{color:var(--dim);margin:3px 0 0;font-size:9px;line-height:1.7}.vKVwTG_windowPopover{width:270px}.vKVwTG_windowPopover h2{margin:0 0 6px;font-size:13px}.vKVwTG_windowPopover p{color:var(--muted);margin:0 0 17px;font-size:10px;line-height:1.6}.vKVwTG_windowPopover label{color:var(--muted);gap:6px;margin-bottom:13px;font-size:10px;display:grid}.vKVwTG_windowPopover input{background:var(--canvas);border:1px solid var(--line);height:33px;color:var(--ink);border-radius:5px;width:100%;padding:6px 8px}.vKVwTG_windowPopover button[type=submit]{width:100%;height:32px;margin:4px 0 10px;font-size:11px}.vKVwTG_windowPopover small{color:var(--dim);font-size:9px;line-height:1.7;display:block}.vKVwTG_error{margin:9px 0;font-size:10px;line-height:1.5;color:var(--selected)!important}.vKVwTG_conditional{text-align:center;flex-direction:column;justify-content:center;align-items:center;height:100%;padding:28px 32px 65px;display:flex}.vKVwTG_conditionalIcon{background:var(--accent-soft);width:38px;height:38px;color:var(--accent);border-radius:50%;place-items:center;margin-bottom:16px;font:24px Newsreader Variable,Georgia,serif;display:grid}.vKVwTG_conditional h2{letter-spacing:-.5px;margin:13px 0 11px;font:25px/1.15 Newsreader Variable,Georgia,serif}.vKVwTG_conditional>p{max-width:430px;color:var(--muted);margin:0;font-size:11px;line-height:1.8}.vKVwTG_conditionalChoices{grid-template-columns:1fr 1fr;gap:13px;width:100%;max-width:450px;margin:21px 0;display:grid}.vKVwTG_conditionalChoices>div{border:1px solid var(--line);background:var(--surface);border-radius:8px;gap:12px;padding:17px 10px;display:grid}.vKVwTG_conditionalChoices strong{color:var(--muted);font-size:9px;font-weight:500}.vKVwTG_conditionalChoices span{font:22px var(--font-math);color:var(--accent)}.vKVwTG_conditionalChoices small{color:var(--dim);font-size:9px}.vKVwTG_conditional>.vKVwTG_conditionalNote{font-size:9px}.vKVwTG_readingMathematics{padding:0}.vKVwTG_readingMathematics .vKVwTG_mathIntro h2{font-size:38px}.vKVwTG_readingMathematics .vKVwTG_prose{font-size:18px;line-height:1.75}.vKVwTG_readingMathematics .vKVwTG_powerNote .vKVwTG_prose{font:11px/1.7 Geist Variable,sans-serif}.vKVwTG_readingMathematics .vKVwTG_representative{padding:21px}.vKVwTG_readingMathematics .vKVwTG_sources{margin-top:35px}.vKVwTG_orbitChain button,.vKVwTG_selectedFacts strong,.vKVwTG_coordinate{font-family:var(--font-math)}
.q7tC_a_caption{z-index:2;pointer-events:none;align-items:baseline;gap:12px;display:flex;position:absolute;top:20px;left:22px}.q7tC_a_caption>span{font:22px/1.2 Newsreader Variable,Georgia,serif}.q7tC_a_caption small{color:var(--muted);font-size:11px}.q7tC_a_stage{min-height:160px;position:absolute;top:64px;left:20px}.q7tC_a_stage canvas{cursor:grab}.q7tC_a_currentDot{background:var(--selected);border-radius:50%;width:8px;height:8px}.q7tC_a_acceptingDot{border:3px double var(--accent);border-radius:50%;flex:none;width:12px;height:12px;display:inline-block}.q7tC_a_machineInfo{margin:4px 0 20px;font-size:17px}.q7tC_a_tableScroll{scrollbar-width:thin;max-height:calc(100dvh - 220px);overflow:auto}.q7tC_a_tableScroll table{border-collapse:collapse;width:100%;font-size:16px}.q7tC_a_tableScroll th,.q7tC_a_tableScroll td{text-align:center;border-bottom:1px solid var(--line);white-space:nowrap;padding:12px 8px}.q7tC_a_tableScroll thead{color:var(--muted);font:11px/1.5 Geist Variable,sans-serif}.q7tC_a_tableScroll tbody th{text-align:left;font-weight:400}.q7tC_a_tableScroll tr[data-current=true]{background:var(--selected-soft)}.q7tC_a_state{align-items:center;gap:5px;display:flex}.q7tC_a_run{z-index:3;scrollbar-width:thin;border:1px solid var(--line);background:var(--surface);max-height:230px;box-shadow:var(--shadow);border-radius:12px;padding:15px 18px;position:absolute;bottom:78px;left:28px;overflow:auto}.q7tC_a_runTop{justify-content:space-between;align-items:center;gap:18px;display:flex}.q7tC_a_runTop label{color:var(--muted);align-items:center;gap:10px;font-size:11px;display:flex}.q7tC_a_runTop input{border:1px solid var(--line);width:166px;font:17px/1.3 var(--font-math);color:var(--ink);background:var(--input);border-radius:6px;padding:6px 9px}.q7tC_a_playback{border:1px solid var(--line);border-radius:8px;align-items:center;gap:3px;padding:3px;display:flex}.q7tC_a_playback button{gap:5px;height:30px;padding-inline:7px;font-size:11px}.q7tC_a_status{min-width:94px;color:var(--muted);grid-template-columns:13px auto;align-items:center;gap:3px 6px;font-size:11px;display:grid}.q7tC_a_status[data-accepted=true]{color:var(--accent)}.q7tC_a_status small{color:var(--dim);grid-column:2;font-size:10px}.q7tC_a_trace{border-top:1px solid var(--line);scrollbar-width:thin;align-items:center;gap:10px;min-height:47px;margin-top:16px;padding-top:13px;display:flex;overflow-x:auto}.q7tC_a_trace>span{color:var(--muted);margin-right:4px;font-size:10px}.q7tC_a_traceStep{flex-shrink:0;align-items:center;gap:8px;display:flex}.q7tC_a_traceStep button{background:var(--canvas);cursor:pointer;border:1px solid #0000;border-radius:5px;padding:6px 8px;font-size:16px}.q7tC_a_traceStep button[data-current=true]{color:var(--selected);background:var(--selected-soft);border-color:color-mix(in srgb,var(--selected) 35%,transparent)}.q7tC_a_traceStep button[data-future=true]{opacity:.5}.q7tC_a_traceArrow{color:var(--muted);justify-items:center;gap:1px;font-size:11px;display:grid}.q7tC_a_error{color:var(--selected);margin:15px 0 0;font-size:12px}.q7tC_a_footer{color:var(--dim);white-space:nowrap;gap:13px;font-size:10px;display:flex;position:absolute;bottom:26px;left:50%;transform:translate(-50%)}.q7tC_a_footer span{border-left:1px solid var(--line);padding-left:13px}.q7tC_a_invalid{color:var(--selected);font-size:14px;position:absolute;top:120px;left:26px}@container exploration (max-width:1080px){.q7tC_a_runTop{flex-wrap:wrap;gap:12px}.q7tC_a_status{margin-left:auto}}
.VD9nIG_page{scrollbar-width:thin;background:var(--canvas);padding:44px 48px 64px;position:absolute;inset:0;overflow-y:auto}.VD9nIG_page:focus-visible{outline:2px solid var(--accent);outline-offset:-4px}.VD9nIG_content{max-width:1060px;margin-inline:auto}.VD9nIG_eyebrow{color:var(--muted);align-items:center;gap:10px;margin:0 0 20px;font-size:11px;display:flex}.VD9nIG_eyebrow>span{color:var(--dim)}.VD9nIG_title{max-width:820px;color:var(--ink);letter-spacing:-.8px;text-wrap:balance;margin:0;font:400 44px/1.12 Newsreader Variable,Georgia,serif}.VD9nIG_contentsHeading{justify-content:space-between;align-items:baseline;margin:32px 0 12px;display:flex}.VD9nIG_contentsHeading h3{margin:0;font-size:12px;font-weight:550}.VD9nIG_chapters{grid-template-columns:repeat(2,minmax(0,1fr));gap:10px;margin:0;padding:0;list-style:none;display:grid}.VD9nIG_chapters a{background:var(--surface);border:1px solid var(--line);border-radius:9px;align-items:center;gap:17px;height:100%;min-height:87px;padding:17px 20px;transition:border-color .14s,background .14s;display:flex}.VD9nIG_chapters a:hover{border-color:var(--accent);background:var(--accent-soft)}.VD9nIG_chapterNumber{color:var(--accent);font:19px var(--font-math);flex-shrink:0}.VD9nIG_chapterTitle{color:var(--ink);flex:1;font:400 20px/1.25 Newsreader Variable,Georgia,serif}.VD9nIG_chapters a>svg{color:var(--dim);flex-shrink:0}.VD9nIG_tools a{min-height:74px}.VD9nIG_tools a>svg:first-child{color:var(--accent)}.VD9nIG_breadcrumb{color:var(--muted);align-items:center;gap:10px;margin:28px 0 16px;font-size:11px;display:flex}.VD9nIG_breadcrumb a:hover{color:var(--accent)}.VD9nIG_placeholder{text-align:center;border:1px solid var(--line);background:var(--surface);border-radius:12px;flex-direction:column;justify-content:center;align-items:center;min-height:285px;margin:32px 0;padding:40px;display:flex}.VD9nIG_placeholder>svg{color:var(--accent);margin-bottom:19px}.VD9nIG_badge{background:var(--accent-soft);color:var(--accent);border-radius:5px;padding:4px 9px;font-size:10px}.VD9nIG_placeholder p{max-width:430px;color:var(--muted);margin:16px 0 0;font:400 20px/1.5 Newsreader Variable,Georgia,serif}.VD9nIG_existingTool{color:var(--accent);align-items:center;gap:7px;margin-top:22px;font-size:11px;display:flex}.VD9nIG_existingTool:hover{text-decoration:underline}.VD9nIG_adjacent{border-top:1px solid var(--line);grid-template-columns:1fr 1fr;gap:24px;padding-top:20px;display:grid}.VD9nIG_adjacent a{color:var(--muted);align-items:center;gap:12px;font-size:12px;line-height:1.5;display:flex}.VD9nIG_adjacent a:hover{color:var(--accent)}.VD9nIG_adjacent a:nth-child(2){text-align:right;justify-content:flex-end}.VD9nIG_adjacent svg{flex-shrink:0}.VD9nIG_adjacent small{color:var(--dim);margin-bottom:3px;font-size:10px;display:block}@container exploration (max-width:960px){.VD9nIG_page{padding:32px 32px 48px}.VD9nIG_title{font-size:36px}}
.wr-GHW_readButton{height:33px;padding:0 10px;font-size:11px}.wr-GHW_dialogOverlay{z-index:100;-webkit-backdrop-filter:blur(5px);backdrop-filter:blur(5px);background:#11191470;position:fixed;inset:0}.wr-GHW_readingDialog{z-index:101;border:1px solid var(--line);background:var(--panel);border-radius:13px;outline:none;flex-direction:column;display:flex;position:fixed;inset:32px max(32px,50vw - 490px);box-shadow:0 25px 120px #0003}.wr-GHW_readingHeader{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;padding:17px 23px;display:flex}.wr-GHW_readingHeader h2{margin:0 0 4px;font-size:12px;font-weight:500}.wr-GHW_readingHeader p{color:var(--muted);margin:0;font-size:10px}.wr-GHW_readingBody{scrollbar-width:thin;flex:1;min-height:0;overflow-y:auto}.wr-GHW_readingContent{width:100%;max-width:820px;margin-inline:auto;padding:40px 40px 64px}
.Gax9Tq_calculator{--regex-right:#5268a4;flex-direction:column;min-width:0;display:flex;position:absolute;inset:0;overflow:hidden}html[data-theme=dark] .Gax9Tq_calculator{--regex-right:#afc0ef}.Gax9Tq_editor{align-items:center;gap:10px;min-width:0;display:flex}.Gax9Tq_editor>label{color:var(--muted);font-size:11px}.Gax9Tq_inputGroup{border:1px solid var(--line);background:var(--canvas);border-radius:6px;align-items:center;gap:1px;width:clamp(210px,25vw,365px);padding-right:4px;display:flex}.Gax9Tq_inputGroup:focus-within{border-color:var(--accent)}.Gax9Tq_inputGroup input{width:100%;min-width:0;height:32px;color:var(--ink);font:17px var(--font-math);letter-spacing:.4px;background:0 0;border:0;outline:0;flex:1;padding:4px 10px}.Gax9Tq_inputGroup>button{height:28px;font:16px var(--font-math);padding-inline:7px}.Gax9Tq_stepper{flex-shrink:0;align-items:center;gap:5px;min-height:30px;display:flex}.Gax9Tq_stepper>span{color:var(--muted);white-space:nowrap;align-items:baseline;gap:7px;font-size:11px;display:flex}.Gax9Tq_stepper button{width:27px;height:29px}.Gax9Tq_inlineMath{vertical-align:baseline;color:inherit;font-size:17px;line-height:1.4;display:inline-block}.Gax9Tq_views{flex:1;min-width:0;min-height:0;display:grid}.Gax9Tq_treePane,.Gax9Tq_constructionPane{grid-template-rows:auto minmax(0,1fr) 64px;min-width:0;min-height:0;display:grid;position:relative}.Gax9Tq_constructionPane{grid-template-rows:minmax(0,1fr) auto;container:regex-construction/inline-size}.Gax9Tq_treeHeader{min-width:0;min-height:53px;padding:12px 22px 10px}.Gax9Tq_treeHeader h2{margin:0;font:400 23px/1.2 Newsreader Variable,Georgia,serif}.Gax9Tq_nodeCaption{align-items:baseline;gap:9px;min-width:0;margin-top:8px;display:flex}.Gax9Tq_nodeCaption>span:first-child{color:var(--muted);font-size:11px}.Gax9Tq_nodeCaption .Gax9Tq_inlineMath{color:var(--selected);scrollbar-width:thin;min-width:0;overflow-x:auto}.Gax9Tq_constructionFooter{min-width:0;padding:10px 18px 64px;position:relative}.Gax9Tq_constructionCaption{width:max-content;max-width:100%;margin-left:auto}.Gax9Tq_constructionCaption>[data-canvas-legend]{max-width:100%;font-size:11px;position:relative;inset:auto}.Gax9Tq_constructionCaption>[data-canvas-legend]>div:last-child{flex-wrap:wrap;gap:6px 14px;display:flex}.Gax9Tq_previewSettings{border:1px solid var(--line);background:var(--panel);box-shadow:var(--shadow);border-radius:12px;align-items:center;gap:12px;padding:4px 8px;display:flex;position:absolute;bottom:10px;left:50%;transform:translate(-50%)}.Gax9Tq_constructionFooter>.Gax9Tq_cameraArea{position:absolute;inset:auto 0 0}.Gax9Tq_figureArea{min-width:0;min-height:0;position:relative}.Gax9Tq_figureArea>.Gax9Tq_viewport{width:100%;height:100%}.Gax9Tq_leftDot,.Gax9Tq_rightDot,.Gax9Tq_selectionDot{background:var(--selected);border-radius:50%;flex:none;width:7px;height:7px}.Gax9Tq_leftDot{background:var(--accent)}.Gax9Tq_rightDot{background:var(--regex-right)}.Gax9Tq_viewport{scrollbar-width:thin;overscroll-behavior:contain;min-width:0;min-height:0;overflow:auto}.Gax9Tq_drawing{background-image:radial-gradient(var(--line) .6px,transparent .6px);background-size:20px 20px;position:relative}.Gax9Tq_constructionSurface{position:sticky;top:0}.Gax9Tq_overlays{transform-origin:0 0;pointer-events:none;position:absolute;top:0;left:0}.Gax9Tq_overlays button{pointer-events:auto}.Gax9Tq_languageHeading{border-bottom:1px solid var(--line);height:52px;position:absolute}.Gax9Tq_resultHeading{height:28px}.Gax9Tq_languageTitle{align-items:center;min-width:0;height:28px;display:flex}.Gax9Tq_languageTitle>button{text-align:left;cursor:pointer;scrollbar-width:thin;background:0 0;border:0;border-radius:4px;min-width:0;max-width:100%;padding:0;overflow-x:auto}.Gax9Tq_languageTitle>button:hover{background:var(--accent-soft)}.Gax9Tq_languageTitle .Gax9Tq_inlineMath{white-space:nowrap;font-size:18px}.Gax9Tq_left{color:var(--accent)}.Gax9Tq_right{color:var(--regex-right)}.Gax9Tq_wordPages{min-height:24px;color:var(--muted);justify-content:space-between;align-items:center;gap:8px;font-size:11px;display:flex}.Gax9Tq_wordPages>div{flex-shrink:0;align-items:center;gap:3px;display:flex}.Gax9Tq_wordPages button{width:25px;height:26px}.Gax9Tq_wordAnchor{pointer-events:none;position:absolute}.Gax9Tq_derivationPopover{--regex-right:#5268a4;width:max-content;max-width:min(370px,100vw - 24px);max-height:min(260px,var(--radix-popover-content-available-height));border-radius:10px;padding:10px 12px}html[data-theme=dark] .Gax9Tq_derivationPopover{--regex-right:#afc0ef}.Gax9Tq_hoverTitle{color:var(--muted);margin:0;font-weight:400}.Gax9Tq_hoverTitle:has(+.Gax9Tq_factors){margin-bottom:7px}.Gax9Tq_hoverTitle .Gax9Tq_inlineMath{font-size:16px}.Gax9Tq_factors{flex-wrap:wrap;align-items:center;gap:8px;display:flex}.Gax9Tq_factors>button{background:var(--surface);border:1px solid var(--line);color:var(--ink);cursor:pointer;border-radius:6px;align-items:baseline;gap:5px;padding:7px 10px;display:flex}.Gax9Tq_factors>button[aria-pressed=true]{border-color:var(--selected);background:var(--selected-soft)}.Gax9Tq_factors>button:hover{border-color:var(--accent)}.Gax9Tq_factors .Gax9Tq_inlineMath{font-size:17px}.Gax9Tq_factors small{color:var(--muted);font-size:12px;line-height:1.5}.Gax9Tq_divider{cursor:col-resize;background:linear-gradient(to right,transparent 3px,var(--line) 3px,var(--line) 4px,transparent 4px);z-index:3;position:relative}.Gax9Tq_divider:after{content:"";background:var(--muted);opacity:.45;border-radius:3px;width:4px;height:32px;position:absolute;top:45%;left:2px}.Gax9Tq_divider:hover{background:var(--accent-soft)}.Gax9Tq_divider:focus-visible{background:var(--accent-soft);outline:2px solid var(--accent);outline-offset:-2px}.Gax9Tq_cameraArea{min-width:0;height:64px;position:relative}.Gax9Tq_cameraArea .floating-controls{bottom:10px;left:18px}.Gax9Tq_error{border-bottom:1px solid var(--selected-line);color:var(--selected);background:var(--surface);flex-shrink:0;padding:10px 22px;font-size:12px;line-height:1.6}.Gax9Tq_error small{color:var(--muted);font-size:11px;display:block}.Gax9Tq_empty{color:var(--muted);padding:45px 25px;font:19px/1.6 Newsreader Variable,Georgia,serif}.Gax9Tq_help{width:320px;padding:18px}.Gax9Tq_help h4{margin:0 0 14px;font-size:12px;font-weight:500}.Gax9Tq_help dl{grid-template-columns:85px 1fr;gap:8px 12px;margin:0 0 16px;display:grid}.Gax9Tq_help dt{font:16px var(--font-math);color:var(--ink)}.Gax9Tq_help dd{color:var(--muted);margin:0;font-size:11px}.Gax9Tq_help p{color:var(--muted);margin:12px 0 0;font-size:12px;line-height:1.7}.Gax9Tq_abbreviation{display:contents}@container exploration (max-width:1080px){.Gax9Tq_editor>label{display:none}.Gax9Tq_inputGroup{width:220px}.Gax9Tq_treeHeader{padding-inline:16px}.Gax9Tq_treeHeader h2{font-size:21px}}@container regex-construction (max-width:700px){.Gax9Tq_constructionFooter{padding-bottom:108px}.Gax9Tq_previewSettings{bottom:56px}}