._technical_1vswm_1{font-variant-ligatures:none;overflow-wrap:anywhere;white-space:inherit;direction:ltr;unicode-bidi:isolate}._document_13mjb_1{min-width:0;color:var(--ink);font-family:var(--font-body,Arial, sans-serif);overflow-wrap:anywhere;font-size:15px;line-height:1.9}.modal:has(._document_13mjb_1)>.modal-head{z-index:3;background:var(--paper);box-shadow:0 -28px 0 var(--paper), 0 8px 0 var(--paper);position:sticky;top:0}._document_13mjb_1 h2{letter-spacing:-.02em;text-transform:none;margin:0 0 14px;font-size:21px;line-height:1.5}._document_13mjb_1 h3{text-transform:none;margin:22px 0 9px;font-size:17px}._document_13mjb_1 p{margin:10px 0 16px}._document_13mjb_1 header>p{color:var(--muted)}._document_13mjb_1 ul,._document_13mjb_1 ol{padding-inline-start:24px}._document_13mjb_1 li{margin-block:7px}._documentSection_13mjb_43{border-top:1px solid var(--line);margin-top:28px;padding-top:24px;scroll-margin-top:18px}._documentSection_13mjb_43>h2{border-inline-start:3px solid var(--cyan);padding-inline-start:13px}._code_13mjb_53{border:1px solid var(--line);background:var(--surface-soft);min-width:0;margin:20px 0}._code_13mjb_53 figcaption{color:var(--muted);border-bottom:1px solid var(--line);padding:10px 14px;font-size:13px}._code_13mjb_53 pre{text-align:left;unicode-bidi:isolate;max-width:100%;margin:0;padding:16px;font-size:12px;line-height:1.9;overflow-x:auto}._code_13mjb_53 code,._inlineCode_13mjb_76,._condition_13mjb_77 code{font-family:SFMono-Regular,Consolas,monospace}._inlineCode_13mjb_76{white-space:pre-wrap;text-align:left;unicode-bidi:isolate;display:inline-block}._tableScroll_13mjb_86{max-width:100%;margin-block:18px;overflow-x:auto}._tableScroll_13mjb_86 table{border-collapse:collapse;width:100%;font-size:13px}._tableScroll_13mjb_86 th,._tableScroll_13mjb_86 td{border:1px solid var(--line);text-align:start;vertical-align:top;min-width:80px;padding:10px}._tableScroll_13mjb_86 th{background:var(--surface-soft);color:var(--ink)}._callout_13mjb_108{border:1px solid var(--line);border-inline-start:3px solid var(--cyan);background:var(--surface-soft);margin-block:18px;padding:15px}._callout_13mjb_108 p{margin:5px 0 0}._warning_13mjb_118{border-inline-start-color:var(--amber,#d48a09)}._decision_13mjb_121{border:1px solid var(--line);background:var(--surface-soft);margin:20px 0;padding:16px}._condition_13mjb_77{text-align:center;color:var(--cyan);border:1px solid var(--cyan);overflow-wrap:anywhere;padding:12px}._branches_13mjb_134{grid-template-columns:1fr 1fr;gap:12px;margin-top:0;display:grid}._branches_13mjb_134>div{border:1px solid var(--line);min-width:0;padding:12px}._branches_13mjb_134>div:first-child{border-color:color-mix(in srgb, var(--success) 45%, var(--line));background:var(--success-soft)}._branches_13mjb_134>div:last-child{border-color:color-mix(in srgb, var(--amber,#d48a09) 45%, var(--line))}._branches_13mjb_134 ._truthValue_13mjb_152{margin-inline:auto;display:table}._branchConnectors_13mjb_156,._branchJoin_13mjb_157{grid-template-columns:1fr 1fr;height:26px;margin-inline:25%;display:grid}._branchConnectors_13mjb_156>span{border-top:1px solid var(--cyan);border-inline-start:1px solid var(--cyan);margin-top:9px}._branchConnectors_13mjb_156>span:last-child{border-inline-start:0;border-inline-end:1px solid var(--cyan)}._branchJoin_13mjb_157>span{border-bottom:1px solid var(--line);border-inline-start:1px solid var(--line);margin-bottom:9px}._branchJoin_13mjb_157>span:last-child{border-inline-start:0;border-inline-end:1px solid var(--line)}._decision_13mjb_121>figcaption{color:var(--muted);text-align:center;font-size:13px}._exampleGrid_13mjb_186{grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;margin-block:18px;display:grid}._exampleCard_13mjb_192{border:1px solid var(--line);background:var(--surface-soft);min-width:0;padding:14px}._exampleCard_13mjb_192 h4{color:var(--cyan);text-transform:none;margin:0 0 12px;font-family:inherit;font-size:12px}._exampleIO_13mjb_205{grid-template-columns:1fr 1fr;gap:10px;margin:0;display:grid}._exampleIO_13mjb_205>div{min-width:0}._exampleIO_13mjb_205 dt{color:var(--muted);font-size:12px}._exampleIO_13mjb_205 dd{border:1px solid var(--line);background:var(--paper);margin:5px 0 0;padding:8px}._exampleIO_13mjb_205 pre{white-space:pre-wrap;overflow-wrap:anywhere;text-align:left;unicode-bidi:isolate;margin:0;font-size:13px;line-height:1.6}._exampleCard_13mjb_192>p{margin:12px 0 0;font-size:13px;line-height:1.8}._explorer_13mjb_238{border:1px solid var(--cyan);background:var(--surface-soft);min-width:0;margin:20px 0;padding:16px}._explorer_13mjb_238 h4,._explorer_13mjb_238 figcaption>strong{font:inherit;margin:0 0 6px;font-size:15px;font-weight:650}._explorer_13mjb_238 figcaption>strong,._explorer_13mjb_238 figcaption>code{display:block}._explorer_13mjb_238 figcaption>code{white-space:pre-wrap;text-align:left;font-size:12px}._explorer_13mjb_238>p{color:var(--muted);margin:6px 0 12px;font-size:13px}._truthControls_13mjb_266,._truthResults_13mjb_267,._visualActions_13mjb_268{flex-wrap:wrap;gap:12px;display:flex}._truthControls_13mjb_266 fieldset{border:1px solid var(--line);min-width:0;margin:0;padding:8px}._truthControls_13mjb_266 legend{padding:0 6px}._truthControls_13mjb_266 button,._visualActions_13mjb_268 button{cursor:pointer;border:1px solid var(--line);background:var(--paper);color:var(--ink);min-width:44px;min-height:44px;font:inherit;padding:8px 12px;font-size:12px}._truthControls_13mjb_266 button+button{margin-inline-start:6px}._truthControls_13mjb_266 button[aria-pressed=true],._visualActions_13mjb_268 button[aria-pressed=true]{border-color:var(--cyan);box-shadow:inset 0 -2px var(--cyan)}:is(._truthControls_13mjb_266 button:focus-visible,._visualActions_13mjb_268 button:focus-visible,._numberLine_13mjb_304 input:focus-visible,._traceDetails_13mjb_305 summary:focus-visible){outline:2px solid var(--cyan);outline-offset:3px}._visualActions_13mjb_268 button:disabled{opacity:.5;cursor:default}._truthValue_13mjb_152{unicode-bidi:isolate;border:1px solid;padding:2px 6px;font-family:SFMono-Regular,Consolas,monospace;font-size:12px;line-height:1.5;display:inline-block}._truthTrue_13mjb_322{color:var(--success);background:var(--success-soft)}._truthFalse_13mjb_326{color:var(--muted);background:var(--paper)}._truthResults_13mjb_267{padding-block:14px;font-size:12px}._activeTruthRow_13mjb_334 td{background:var(--cyan-soft);border-block-color:var(--cyan)}._traceSteps_13mjb_338{gap:5px;margin-block:16px;display:flex}._traceSteps_13mjb_338>span{text-align:center;border-bottom:3px solid var(--line);color:var(--muted);flex:1;padding:4px;font-size:11px}._traceSteps_13mjb_338>span[data-completed=true]{color:var(--cyan);border-color:var(--cyan)}._traceState_13mjb_355{grid-template-columns:minmax(0,1fr) minmax(100px,.55fr);gap:15px;margin-block:16px;display:grid}._traceState_13mjb_355>div{min-width:0}._traceState_13mjb_355 strong,._traceState_13mjb_355 code,._visualLabel_13mjb_366{display:block}._traceState_13mjb_355 code{white-space:pre-wrap;overflow-wrap:anywhere;text-align:left;margin-top:8px;font-size:12px}._visualLabel_13mjb_366{color:var(--muted);margin-bottom:6px;font-size:11px}._traceValue_13mjb_381{border:1px solid var(--cyan);background:var(--cyan-soft);padding:12px;font-size:12px}._traceValue_13mjb_381>code{text-align:center;color:var(--cyan);font-size:30px}._traceDetails_13mjb_305{margin-top:16px;font-size:13px}._traceDetails_13mjb_305 summary{cursor:pointer;align-content:center;min-height:44px}._numberLine_13mjb_304{max-width:560px;margin-inline:auto}._numberLine_13mjb_304 svg{width:100%;display:block;overflow:visible}._numberLine_13mjb_304 text{fill:var(--ink);font:12px monospace}._rangeTrack_13mjb_414{stroke:var(--line);stroke-width:3px}._rangeIncluded_13mjb_418{stroke:var(--success);stroke-width:5px}._endpointIncluded_13mjb_422{fill:var(--success);stroke:var(--success);stroke-width:2px}._endpointExcluded_13mjb_427{fill:var(--paper);stroke:var(--success);stroke-width:2px}._rangePointer_13mjb_432{fill:var(--cyan)}._numberLine_13mjb_304 input{width:100%;min-height:44px;accent-color:var(--cyan);margin:0;padding:0;display:block}._rangeValue_13mjb_443{flex-wrap:wrap;justify-content:space-between;gap:8px;margin-block:8px 14px;font-size:12px;display:flex}._branches_13mjb_134 strong{text-align:center;direction:ltr;font-family:monospace;display:block}._branches_13mjb_134>div:first-child strong{color:var(--success,#00c878)}._branches_13mjb_134 p{margin:7px 0 0}._search_13mjb_463{color:var(--muted);align-items:center;gap:10px;margin-block:20px 12px;display:flex}._search_13mjb_463 input{width:100%;min-width:0}._contents_13mjb_474{flex-wrap:wrap;gap:8px;padding-block:8px;display:flex}._contents_13mjb_474 button{background:var(--surface-soft);color:var(--ink);border:1px solid var(--line);text-align:start;cursor:pointer;min-height:44px;padding:9px 12px;font-size:12px}:is(._contents_13mjb_474 button:focus-visible,._tabs_13mjb_491 button:focus-visible){outline:2px solid var(--cyan);outline-offset:3px}._loading_13mjb_495{color:var(--muted);padding:22px 0}._workspacePane_13mjb_499{min-width:0}._tabs_13mjb_491{border-bottom:1px solid var(--line);flex-wrap:wrap;gap:6px;margin-bottom:18px;padding:12px 0;display:flex}._tabs_13mjb_491 button{border:1px solid var(--line);background:var(--surface-soft);color:var(--ink);cursor:pointer;align-items:center;gap:7px;min-height:44px;padding:10px 13px;font-size:12px;display:inline-flex}._tabs_13mjb_491 button[aria-pressed=true]{background:var(--cyan-soft,var(--surface-soft));border-color:var(--cyan);color:var(--cyan)}._inlineReader_13mjb_527{padding-bottom:24px}._readerChapter_13mjb_530{color:var(--muted);margin:15px 0;font-size:13px}._chapterSelect_13mjb_535{gap:7px;margin-block:15px;font-size:13px;display:grid}._chapterSelect_13mjb_535 select{width:100%;min-width:0}._mobileReader_13mjb_545{min-width:0}._picker_13mjb_548{border:1px solid var(--line);background:var(--surface-soft);padding:16px}._picker_13mjb_548 summary{cursor:pointer;min-height:44px;color:var(--ink);align-content:center;font-weight:600}._picker_13mjb_548 p{color:var(--muted);font-size:13px;line-height:1.7}._pickChapter_13mjb_565{border-top:1px solid var(--line);padding:14px 0}._pickChapter_13mjb_565 h4{margin:0 0 9px;font-size:14px}._pickOptions_13mjb_573{flex-wrap:wrap;gap:10px;display:flex}._pickOptions_13mjb_573 label{border:1px solid var(--line);align-items:center;gap:8px;min-height:44px;padding:8px 10px;font-size:13px;display:flex}._pickOptions_13mjb_573 input{width:18px;height:18px}@media (max-width:700px){._document_13mjb_1{font-size:15px}._document_13mjb_1 h2{font-size:19px}._code_13mjb_53 pre{padding:12px;font-size:11px}._branches_13mjb_134{gap:8px}._branches_13mjb_134>div{padding:9px}._exampleGrid_13mjb_186{grid-template-columns:1fr}._explorer_13mjb_238{padding:12px}._traceState_13mjb_355{grid-template-columns:1fr}._traceValue_13mjb_381{justify-content:space-between;align-items:center;gap:10px;display:flex}._traceValue_13mjb_381>code{margin:0}._truthControls_13mjb_266{gap:8px}._truthControls_13mjb_266 fieldset{padding:6px}._truthControls_13mjb_266 button{padding-inline:7px}._tabs_13mjb_491 button{flex:95px;padding-inline:9px}._tableScroll_13mjb_86 th,._tableScroll_13mjb_86 td{min-width:72px;padding:8px}}@media print{._truthControls_13mjb_266,._visualActions_13mjb_268,._numberLine_13mjb_304 input{display:none}._exampleCard_13mjb_192,._explorer_13mjb_238,._decision_13mjb_121{break-inside:avoid}}@media (max-width:700px){._workspacePane_13mjb_499 .modal-backdrop:has(._mobileReader_13mjb_545){align-items:stretch;padding:8px}._workspacePane_13mjb_499 .modal:has(>._mobileReader_13mjb_545){min-height:calc(100dvh - 16px);max-height:calc(100dvh - 16px);margin:0;padding:18px 15px}}._sectionIndex_13mjb_672{border:1px solid var(--line);background:var(--surface-soft);margin-block:12px 18px;padding:8px 12px}._sectionIndex_13mjb_672>summary{cursor:pointer;align-content:center;min-height:44px;font-size:13px;font-weight:600}._tabs_13mjb_491{z-index:2;background:var(--paper);position:sticky;top:0}@media (max-width:700px){._workspacePane_13mjb_499 .modal:has(>._mobileReader_13mjb_545)>.modal-head{z-index:3;background:var(--paper);position:sticky;top:0}}