.source-view{--source-bg:#080b0b;--source-line:#202a25;--source-dim:#708379;--source-green:#bbd990;--source-amber:#d9b981;--source-blue:#9dbdd1;min-height:calc(100dvh - 118px);background:var(--source-bg)}
.source-intro{padding:30px 30px 24px;display:flex;align-items:end;justify-content:space-between;gap:28px;border-bottom:1px solid var(--source-line)}
.source-intro h1{font:500 clamp(32px,4vw,54px)/1 Tenmora,'Segoe UI',sans-serif;letter-spacing:-2px;margin:10px 0 12px}.source-intro h1 span{color:var(--rust)}.source-intro p{font-size:14px;color:#b0bcb3}.source-edition{font:10px/1.9 var(--mono);color:var(--source-dim);text-align:right}.source-edition strong{color:var(--ink);font-weight:400}.source-edition span{display:block}.source-edition a{text-underline-offset:3px}.source-led{color:var(--source-green)}.source-warning{color:var(--source-amber)}
.source-module-tabs{display:flex;overflow:auto;border-bottom:1px solid var(--source-line);padding:0 25px}.source-module-tabs button{flex:1;white-space:nowrap;font:10px var(--mono);padding:17px 10px;color:#9ea9a2;position:relative;text-align:left}.source-module-tabs button span{color:var(--source-dim);margin-right:9px}.source-module-tabs button.selected{color:var(--ink);background:#111813}.source-module-tabs button.selected:after{content:'';height:2px;position:absolute;bottom:0;left:10px;right:10px;background:var(--rust)}
.source-workspace{display:grid;grid-template-columns:218px minmax(0,1fr) 300px;min-height:650px}.source-file-explorer{border-right:1px solid var(--source-line);padding:21px 12px 24px;min-width:0;max-height:830px;overflow:auto}.source-pane-title{display:flex;align-items:center;justify-content:space-between;font:9px var(--mono);letter-spacing:1.1px;color:var(--source-dim);padding:0 9px 17px}.source-pane-title small{letter-spacing:0}.source-tree details{margin-bottom:5px}.source-tree summary{cursor:pointer;font:10px/1.5 var(--mono);padding:9px 3px;color:#c0ccc3;list-style:none}.source-tree summary:before{content:'›';color:var(--source-dim);margin-right:6px}.source-tree details[open]>summary:before{content:'⌄'}.source-tree summary>span{color:var(--source-dim);margin-right:4px}.source-tree summary small{float:right;color:var(--source-dim)}.source-tree button{width:100%;display:flex;align-items:start;gap:8px;padding:9px 6px 9px 19px;text-align:left;border-left:1px solid var(--source-line);margin-left:7px;width:calc(100% - 7px);font:10px/1.4 var(--mono);overflow-wrap:anywhere}.source-tree button small{display:block;font-size:8px;color:var(--source-dim);margin-top:4px}.file-icon{color:var(--source-amber);font:8px var(--mono);padding-top:2px}.source-tree button.selected{background:#142016;border-left-color:var(--source-green);color:var(--source-green)}.source-outline{border-top:1px solid var(--source-line);margin-top:24px;padding-top:20px}.source-outline button{display:flex;align-items:center;gap:9px;width:100%;padding:7px 9px;font:10px var(--mono);text-align:left;color:#aebdb2}.source-outline small{margin-left:auto;color:var(--source-dim)}.symbol-icon{color:var(--source-blue);width:10px}.source-outline button:hover{background:#141d17}
.source-editor{min-width:0;display:flex;flex-direction:column;background:#090d0b}.source-file-tabs{display:flex;overflow:auto;min-height:42px;background:var(--source-bg);border-bottom:1px solid var(--source-line)}.source-file-tabs button{font:10px var(--mono);color:var(--source-dim);white-space:nowrap;padding:13px 16px;border-right:1px solid var(--source-line)}.source-file-tabs .selected{color:var(--ink);background:#101712;box-shadow:inset 0 2px var(--source-green)}.source-file-header{display:flex;align-items:center;justify-content:space-between;gap:12px;padding:17px 18px 12px;font:10px var(--mono)}.source-file-header small{font-size:8px;color:var(--source-dim);text-align:right}.source-code-tools{display:flex;align-items:center;gap:8px;padding:0 18px 12px;border-bottom:1px solid var(--source-line);flex-wrap:wrap}.source-code-tools select{min-width:140px;flex:1;padding:6px 8px;font:9px var(--mono);border:1px solid var(--source-line);background:#0d1410}.source-code-tools button{font:9px var(--mono);color:#adb9b0;padding:7px 8px;border:1px solid var(--source-line);white-space:nowrap}.source-code-tools button[aria-pressed=true]{color:var(--source-green);border-color:#5b7645}.source-search-row{display:flex;align-items:center;gap:8px;padding:9px 18px;background:#0d130f;border-bottom:1px solid var(--source-line)}.source-search-row>label{font:9px var(--mono);color:var(--source-dim)}.source-search-row input{min-width:60px;width:100%;max-width:230px;font:10px var(--mono);background:transparent;border:0;border-bottom:1px solid #394c40;padding:7px 3px}.source-search-row>span{font:9px var(--mono);color:var(--source-dim);white-space:nowrap;min-width:52px}.source-search-row>button{font:12px var(--mono);padding:6px}.source-line-form{display:flex;align-items:center;gap:4px;margin-left:auto}.source-line-form label{font:9px var(--mono);color:var(--source-dim)}.source-line-form input{width:46px}.source-line-form button{font:9px var(--mono);padding:7px 4px}.source-code-scroll{position:relative;height:620px;overflow:auto;scroll-behavior:smooth;overscroll-behavior:contain;padding:18px 0 40px;flex:1;min-height:440px;max-height:720px;outline-offset:-3px}.source-code{min-width:max-content;position:relative}.source-code-line{display:flex;align-items:stretch;min-height:22px;font:12px/22px var(--mono);color:#c0ccc4;padding-right:26px;border-left:2px solid transparent}.source-code-line:hover{background:#111b14}.source-code-line.selected-line{background:#1b2a1b;border-left-color:var(--source-green)}.source-code-line.search-hit{background:#1b2114}.source-code-line.selected-line.search-hit{background:#2d351b}.line-number{min-width:50px;width:50px;flex-shrink:0;text-align:right;padding:0 12px 0 4px;color:#62796c;font:10px/22px var(--mono);user-select:none}.selected-line>.line-number{color:var(--source-green)}.fold-toggle,.fold-space{display:inline-block;width:20px;min-width:20px;color:#778d7f;font:10px/22px var(--mono);text-align:center}.source-code-line code{font:inherit;white-space:pre;display:block}.code-indent{background:repeating-linear-gradient(90deg,#25362b 0,#25362b 1px,transparent 1px,transparent 2ch)}.fold-summary{margin-left:10px;color:var(--source-dim);font:10px var(--mono);background:#17241b;padding:1px 6px}.source-gap{padding:13px 20px 13px 70px;color:var(--source-amber);font:9px var(--mono);border-block:1px dashed var(--source-line);margin:14px 0;background:#131710}.wrap-code .source-code{min-width:0;width:100%}.wrap-code .source-code-line code{white-space:pre-wrap;overflow-wrap:anywhere;min-width:0}.syn-keyword{color:#a5bfd0}.syn-function{color:#c5dca1}.syn-type{color:#99cec0}.syn-string{color:#d4bc8f}.syn-number,.syn-literal{color:#c6a9cc}.syn-comment{color:#718b7b;font-style:italic}.syn-property{color:#a8cbc0}.syn-regex{color:#d6bd79}.syn-punctuation{color:#91a59a}
.source-editor-footer{display:flex;justify-content:space-between;gap:10px;padding:11px 18px;border-top:1px solid var(--source-line);color:var(--source-dim);font:8px var(--mono)}.source-message{min-height:29px;padding:8px 18px;font:9px var(--mono);color:var(--source-green);background:#0c130e}.source-diff-controls{display:flex;align-items:center;gap:10px;padding:10px 18px;border-bottom:1px solid var(--source-line);font:10px var(--mono)}.source-diff-controls select{padding:6px;background:#0c130e;border:1px solid var(--source-line);font:10px var(--mono);max-width:150px}.source-diff-caption{font:12px/1.8 var(--mono);padding:16px 24px 28px;color:var(--ink)}.source-diff-caption span{font-size:10px;color:var(--source-dim)}.source-diff-line{display:flex;font:12px/23px var(--mono);padding-right:20px;white-space:pre}.source-diff-line>span{display:block;width:35px;flex-shrink:0;text-align:right;font-size:10px;color:var(--source-dim)}.source-diff-line>b{width:25px;text-align:center;flex-shrink:0;font-weight:400}.source-diff-line code{font:inherit}.diff-add{background:#15251a;color:#bcd59a}.diff-delete{background:#291d14;color:#dcb68b}
.source-inspector{padding:21px 20px;border-left:1px solid var(--source-line);max-height:830px;overflow:auto;min-width:0}.source-inspector>.source-pane-title{padding:0 0 22px}.source-inspector h2{font-size:21px;font-weight:500;line-height:1.3;margin-bottom:12px}.source-inspector p{font:11px/1.75 Tenmora,'Segoe UI',sans-serif;color:#a6b6ab}.source-flow{list-style:none;padding:14px 0 17px;margin:16px 0;border-block:1px solid var(--source-line);font:10px/1.8 var(--mono)}.source-flow li{padding:5px 0}.source-flow li>span{color:var(--source-dim);margin-right:10px}.source-inspector h3{font:9px var(--mono);letter-spacing:1px;color:var(--source-dim);margin:20px 0 12px}.source-inspector h4{font:10px var(--mono);color:var(--source-green);margin:25px 0 14px}.source-notes article{padding:13px 0;border-bottom:1px solid var(--source-line)}.source-notes button{display:block;width:100%;text-align:left;font:11px var(--mono);color:var(--source-green);margin-bottom:8px}.source-notes small{display:block;color:var(--source-dim);font-size:8px;margin-top:5px}.source-related{display:flex;flex-direction:column;gap:9px}.source-related button{text-align:left;font:9px/1.6 var(--mono);color:#b4c4b8}.source-integrity{border-top:1px solid var(--source-line);margin-top:22px;padding-top:18px;font:8px var(--mono);line-height:1.6}.source-integrity p{font:9px/1.7 var(--mono);margin-top:9px}.source-integrity code,.source-hash{display:block;overflow-wrap:anywhere;font:9px/1.7 var(--mono);color:#8ca495}.source-runtime{border-top:1px solid var(--source-line);margin-top:25px;padding-top:8px}.source-runtime label{display:block;font:8px var(--mono);color:var(--source-dim);margin:14px 0 7px}.source-runtime select{max-width:100%;width:100%;background:#0c130e;border:1px solid var(--source-line);padding:8px;font:10px var(--mono)}.source-trace-status{font:8px/1.6 var(--mono);color:var(--source-dim);margin:12px 0}.source-trace-verdict{display:flex;justify-content:space-between;align-items:center;gap:6px;margin-top:20px}.source-trace-verdict>.outcome{font-size:16px}.source-trace-verdict>span+span{font:8px var(--mono);text-align:right;color:var(--source-dim)}.source-inspector p.source-trace-title{color:#d1dacd;font-size:12px;margin:12px 0 17px}.source-data-pair{display:flex;justify-content:space-between;gap:10px;padding:6px 0;font:9px/1.6 var(--mono)}.source-data-pair>span{color:var(--source-dim)}.source-data-pair>b{font-weight:400;text-align:right}.source-observations{margin:14px 0}.source-observations>div{display:grid;grid-template-columns:18px 1fr auto;gap:7px;padding:8px 0;border-bottom:1px solid var(--source-line);font:9px/1.6 var(--mono)}.source-observations code{font:inherit;overflow-wrap:anywhere;color:#9cae9f}.source-observations>div>span{color:var(--source-dim)}.source-observations strong{font-weight:400}.source-inspector p.source-small,.source-small{font:9px/1.7 var(--mono);color:var(--source-dim)}.source-evidence-link{display:block;font:10px/1.5 var(--mono);color:var(--source-green);text-align:left;border-bottom:1px solid #394c2c;padding:10px 0;margin:8px 0}.source-hash-links>*{display:block;font:9px/1.7 var(--mono);text-align:left;margin:7px 0;color:#a0b8aa}.source-role-counts{display:grid;grid-template-columns:1fr 1fr;gap:8px;margin:15px 0}.source-role-counts>span{font:8px/1.6 var(--mono);color:var(--source-dim)}.source-role-counts b{display:block;font-size:15px;font-weight:400;color:#bccdb9}.source-reaction{display:block;width:100%;text-align:left;padding:12px 0;border-top:1px solid var(--source-line)}.source-reaction>span{display:block;font:8px var(--mono);color:var(--source-blue)}.source-reaction b{display:block;font:10px/1.6 var(--mono);margin:6px 0;color:#bdd39d}.source-reaction small{font:8px/1.8 var(--mono);color:var(--source-dim)}.source-journal{margin:18px 0;color:var(--source-dim);font:9px var(--mono)}.source-journal summary{cursor:pointer;padding:12px 0}.source-journal>div{padding:8px 0;display:grid;grid-template-columns:35px 1fr;gap:5px;border-top:1px solid var(--source-line)}.source-journal b{font-size:9px;font-weight:400;color:#b0c2b5}.source-journal small{grid-column:2}
.source-reality-flow{display:grid;grid-template-columns:repeat(4,1fr);border-block:1px solid var(--source-line);background:#0d140f}.source-reality-flow button{text-align:left;padding:19px 24px;font:10px/1.5 var(--mono);border-right:1px solid var(--source-line);color:#b5c8b7;overflow-wrap:anywhere}.source-reality-flow button:last-child{border-right:0}.source-reality-flow span{display:block;font:8px var(--mono);color:var(--source-dim);margin-bottom:9px}.source-publication{font:9px/1.7 var(--mono);color:#b1c4b1;padding:16px 30px;display:flex;gap:9px;flex-wrap:wrap}.source-publication>span:last-child{margin-left:auto;color:var(--source-dim)}.source-empty{padding:20px 0;color:var(--source-dim)}.source-loading{padding:70px 30px;font:12px var(--mono);color:var(--source-amber)}
@media(min-width:1700px){.source-workspace{grid-template-columns:240px minmax(0,1fr) 340px}.source-code-scroll{height:690px;max-height:820px}.source-inspector,.source-file-explorer{max-height:950px}.source-code-line{font-size:13px;line-height:24px}}
@media(max-width:1150px){.source-workspace{grid-template-columns:190px minmax(0,1fr) 260px}.source-inspector{padding:20px 14px}.source-intro{padding-inline:22px}.source-file-header{flex-direction:column;align-items:start}.source-search-row{flex-wrap:wrap}.source-search-row>input{flex:1}.source-line-form{margin-left:0}.source-code-tools{padding-inline:12px;gap:5px}.source-module-tabs{padding-inline:12px}.source-file-explorer{padding-inline:8px}.source-tree button{font-size:9px}.source-reality-flow button{padding:16px}}
@media(max-width:900px){.source-workspace{grid-template-columns:190px minmax(0,1fr)}.source-inspector{grid-column:1/-1;max-height:none;display:grid;grid-template-columns:1fr 1fr;gap:0 30px;border-left:0;border-top:1px solid var(--source-line);padding:25px}.source-inspector>.source-pane-title,.source-inspector>h2,.source-inspector>p,.source-inspector>.source-flow{grid-column:1}.source-inspector .source-runtime{grid-column:2;grid-row:1/14;margin:0;border-top:0;border-left:1px solid var(--source-line);padding:0 0 0 25px}.source-reality-flow{grid-template-columns:1fr 1fr}.source-reality-flow button:nth-child(2){border-right:0}.source-reality-flow button:nth-child(n+3){border-top:1px solid var(--source-line)}}
@media(max-width:620px){.source-intro{padding:28px 18px;align-items:start;flex-direction:column;gap:15px}.source-edition{text-align:left;display:flex;gap:12px;flex-wrap:wrap}.source-module-tabs{padding:0}.source-module-tabs button{padding:14px 12px;font-size:9px}.source-workspace{display:block}.source-file-explorer{max-height:280px;border-right:0;border-bottom:1px solid var(--source-line);padding:15px}.source-outline{display:none}.source-tree{display:grid;grid-template-columns:1fr 1fr;gap:6px}.source-code-scroll{height:520px;min-height:420px}.source-file-header{padding:15px 12px}.source-search-row{padding-inline:12px}.source-code-line{font-size:11px}.line-number{width:38px;min-width:38px;padding-right:8px}.fold-toggle,.fold-space{width:17px;min-width:17px}.source-inspector{display:block;padding:25px 18px}.source-inspector .source-runtime{border-left:0;padding:20px 0 0;border-top:1px solid var(--source-line);margin-top:25px}.source-publication{padding:16px 18px}.source-publication>span:last-child{margin-left:0;width:100%}nav{gap:20px}}
@media(prefers-reduced-motion:reduce){.source-code-scroll{scroll-behavior:auto}}
.source-code-line mark{background:#46542c;color:#edf2c9;border-bottom:1px solid #9dab61}.source-runtime{margin-top:6px;padding-top:0;border-top:0}.source-inspector h3{margin-top:22px}.source-reality-flow button:hover{background:#172218}
.source-intro{padding-block:24px 20px}.source-intro h1{font-size:clamp(32px,4vw,44px)}.source-flow-disclosure{border-block:1px solid var(--source-line);margin:15px 0}.source-flow-disclosure>summary{cursor:pointer;padding:11px 0;font:9px var(--mono);color:var(--source-dim);list-style:none}.source-flow-disclosure>summary>span{float:right;color:var(--source-green)}.source-flow-disclosure .source-flow{border:0;margin:0;padding:0 0 12px}.source-flow-disclosure[open]>summary>span{transform:rotate(180deg)}