:root{color-scheme:dark;--bg:#101923;--panel:#15212e;--border:#2b3a4b;--text:#eff3f7;--muted:#a8b8ca;--accent:#77dac3;font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;font-size:14px}
*{box-sizing:border-box}body{margin:0;background:var(--bg);color:var(--text);height:100dvh;display:flex;flex-direction:column}a{color:#a7dccc;text-underline-offset:3px}button,input,select{font:inherit;color:inherit}button,select{border:1px solid var(--border);background:#1c2a39;border-radius:7px;min-height:36px;padding:7px 11px}button{cursor:pointer}button:hover,select:hover{background:#27394c;border-color:#647b93}button:disabled{opacity:.5;cursor:default}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible,svg:focus-visible{outline:2px solid var(--accent);outline-offset:3px}button[aria-pressed=true]{border-color:var(--accent);background:#28463f}button.quiet{background:transparent;white-space:nowrap;color:var(--muted)}.masthead{padding:22px 28px 17px;display:flex;align-items:center;justify-content:space-between;gap:20px;border-bottom:1px solid var(--border)}.eyebrow{font-size:10px;letter-spacing:1.65px;text-decoration:none;color:var(--muted);font-weight:650}.eyebrow span{color:#71879d}h1{font-size:clamp(19px,2vw,27px);font-weight:550;letter-spacing:-.6px;margin:9px 0 0}.verification{display:flex;flex-direction:column;align-items:flex-end;gap:7px;font-size:11px;flex-shrink:0}.verification a{color:var(--muted)}.badge{padding:6px 10px;border:1px solid #366e60;background:#19332e;color:#b7eadc;border-radius:20px;font-size:11px}.scope-bar{padding:8px 28px;display:flex;align-items:center;gap:15px;background:#122028;border-bottom:1px solid var(--border)}.scope-bar p{margin:0;font-size:12px;color:#c5d4df;line-height:1.6;flex:1}.scope-bar button{font-size:11px}.toolbar{padding:12px 28px 8px;display:flex;gap:8px;align-items:center;flex-wrap:wrap}.endpoint-label{display:flex;align-items:center;gap:8px;font-size:11px;color:var(--muted)}select{font-size:12px;max-width:280px}.toolbar>button{font-size:12px}.search-box{position:relative;flex:1;min-width:220px;max-width:520px;margin:0 4px}.search-box input{width:100%;height:36px;border:1px solid var(--border);border-radius:7px;background:#0b141f;padding:8px 35px 8px 12px;font-size:12px}.search-box>kbd{position:absolute;right:12px;top:9px;color:#768a9f}kbd{font-size:12px;border:1px solid var(--border);border-radius:3px;padding:0 4px;background:#101923}#search-results{position:absolute;top:43px;left:0;width:min(620px,90vw);max-height:55vh;overflow:auto;background:#182635;z-index:20;border:1px solid #53708b;border-radius:10px;padding:6px;box-shadow:0 16px 40px #0006}.search-result{display:block;width:100%;text-align:left;border:0;border-radius:5px;background:transparent;padding:10px;font-size:12px}.search-result small{display:block;color:var(--muted);margin-top:4px;overflow-wrap:anywhere;font-size:10px}.search-heading{padding:8px;color:var(--muted);font-size:11px}.families{display:flex;gap:6px;padding:5px 28px 12px;overflow-x:auto;flex-shrink:0;scrollbar-width:thin}.family-chip{white-space:nowrap;display:flex;align-items:center;gap:6px;border-radius:20px;font-size:10px;min-height:27px;padding:4px 9px;background:transparent}.family-chip .dot{width:7px;height:7px;border-radius:50%;background:var(--family)}.family-chip .family-count{color:#8096ac;font-size:10px}.family-chip[aria-pressed=true]{border-color:var(--family);background:color-mix(in srgb,var(--family) 12%,var(--bg))}#canvas{position:relative;flex:1;min-height:330px;border-top:1px solid var(--border);overflow:hidden;background:#0e1822}#graph{width:100%;height:100%;display:block;touch-action:none;cursor:grab}#graph.dragging{cursor:grabbing}.canvas-hint{position:absolute;top:14px;left:20px;pointer-events:none;font-size:10px;color:#889eb3;background:#0e1822e8;padding:6px 9px;border-radius:6px}.canvas-hint span{padding:0 6px;color:var(--accent)}.canvas-hint i{font-style:normal;padding:0 9px;color:#526a80}.zone{pointer-events:none}.zone-label{font-size:12px;font-weight:550;letter-spacing:.2px}.edge{fill:none;stroke:#7f93aa;stroke-opacity:.47;stroke-width:1.25;marker-end:url(#arrow);cursor:pointer;pointer-events:stroke}.edge-hit{fill:none;stroke:transparent;stroke-width:12;cursor:pointer;pointer-events:stroke}.edge.collapsed{stroke-dasharray:5 4}.edge.type{stroke:#b495c9}.edge.related{stroke:#bfdfdd;stroke-opacity:1;stroke-width:2}.node{cursor:pointer;outline:none}.node-box{fill:#192838;stroke:var(--family);stroke-width:1;transition:fill .15s}.node:hover .node-box,.node:focus .node-box{fill:#283e51;stroke-width:2}.node.selected .node-box{fill:#2b414c;stroke-width:2.4}.node.terminal .node-box{fill:#1b3832;stroke-width:2}.node-label{fill:#f1f4f7;font-size:14px;font-weight:500;pointer-events:none}.node-meta{fill:#95aac0;font-size:10px;pointer-events:none}.node-source{fill:#d1e8e1;font-size:16px}.node-source:hover{fill:white}.zoom-controls{position:absolute;bottom:16px;right:20px;display:flex;align-items:center;background:#152331f0;border:1px solid var(--border);border-radius:10px;padding:4px;gap:3px}.zoom-controls button{border:0;background:transparent;min-width:32px;font-size:18px}.zoom-controls #fit{font-size:12px;border-left:1px solid var(--border);border-radius:0;margin-left:4px;padding-left:14px}.zoom-controls output{min-width:45px;text-align:center;color:var(--muted);font-variant-numeric:tabular-nums;font-size:11px}#minimap{position:absolute;bottom:16px;left:20px;width:260px;height:112px;border:1px solid #35495b;border-radius:9px;background:#111d28ed;cursor:crosshair}.details{position:absolute;right:16px;top:14px;bottom:78px;width:min(410px,calc(100% - 32px));background:#172431f7;backdrop-filter:blur(10px);border:1px solid #4e6479;border-radius:12px;padding:23px;overflow:auto;box-shadow:0 12px 40px #0006;z-index:5}.close{position:absolute;right:10px;top:8px;border:0;background:transparent;font-size:24px;line-height:1;padding:6px;min-width:30px;min-height:30px;color:var(--muted)}.details h2{font-size:20px;font-weight:550;line-height:1.35;margin:11px 12px 12px 0;overflow-wrap:anywhere}.details p{font-size:12px;line-height:1.7;color:#bfd0df}.details .decl-name{font-size:11px;line-height:1.7;overflow-wrap:anywhere;color:#9bb1c7}.details h3{font-size:11px;font-weight:600;letter-spacing:.8px;text-transform:uppercase;margin:23px 0 10px;color:#bdcede}.details pre{background:#0d1924;border:1px solid var(--border);border-radius:8px;padding:13px;white-space:pre-wrap;overflow-wrap:anywhere;font-size:11px;line-height:1.65;color:#dae6ed}.details .button-row{display:flex;gap:8px;flex-wrap:wrap;margin:16px 0}.details .button-row button,.source-button{font-size:12px;min-height:35px}.source-button{display:inline-flex;align-items:center;padding:7px 11px;border:1px solid #5d9d8c;background:#23483d;border-radius:7px;color:#daf2e9;text-decoration:none}.details a.small-link{display:block;margin:8px 0;font-size:11px;overflow-wrap:anywhere}.details ul{padding-left:18px;font-size:12px;line-height:1.7;color:#bfd0df}.dependency{display:block;width:100%;background:#152432;text-align:left;font-size:11px;border:1px solid #31455a;margin:6px 0;overflow-wrap:anywhere}.dependency small{display:block;color:#809ab2;font-size:10px;margin-top:4px}.proof-kind{display:inline-block;color:var(--family);font-size:10px;letter-spacing:.5px;padding-right:25px}.audit-ok{color:#9fe2c8!important}.details details>summary{cursor:pointer;font-size:12px;color:#c4d3e0}.details details{margin-top:14px}.details .audit-field{font-size:11px}.details .status-value{font-size:11px;line-height:1.6;white-space:pre-wrap;color:#b8c9da}#tooltip{position:fixed;z-index:40;pointer-events:none;background:#213446;border:1px solid #6a8299;border-radius:10px;padding:14px 16px;max-width:400px;box-shadow:0 10px 30px #0007;font-size:11px;color:#cfdae5;line-height:1.6}#tooltip strong{display:block;color:#eef3f7;margin:4px 0;font-size:13px}#tooltip .hover-name{display:block;font-size:10px;overflow-wrap:anywhere;color:#96b0c8}#tooltip .hover-family{color:var(--family);text-transform:uppercase;letter-spacing:.6px;font-size:9px}#tooltip p{margin:8px 0 0}footer{padding:9px 28px;display:flex;align-items:center;justify-content:space-between;gap:12px;flex-wrap:wrap;font-size:10px;color:#859eb4;background:#111c27;border-top:1px solid var(--border)}footer a{color:#9fb8ca}dialog{background:#182735;color:var(--text);border:1px solid #546c84;border-radius:14px;max-width:620px;width:calc(100% - 30px);max-height:85vh;padding:30px;overflow:auto}dialog::backdrop{background:#030b14ad;backdrop-filter:blur(3px)}dialog h2{font-size:24px;font-weight:500;margin:10px 0 22px}dialog p{font-size:13px;line-height:1.8;color:#c1d0de}.sr-only{position:absolute;width:1px;height:1px;padding:0;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.noscript{position:fixed;top:20px;left:20px;right:20px;background:#2c403e;border:1px solid #77dac3;padding:25px;z-index:100} [hidden]{display:none!important}
@media(max-width:800px){.masthead{padding:17px 16px 14px;align-items:flex-start}.verification{font-size:9px;max-width:140px}.badge{font-size:9px}h1{font-size:20px}.eyebrow{font-size:9px}.scope-bar{padding:6px 16px}.scope-bar p{font-size:10px;line-height:1.6;max-height:49px;overflow:auto}.scope-bar button{font-size:10px;padding:5px}.toolbar{padding:9px 16px 6px}.endpoint-label{flex:1}select{max-width:calc(100vw - 96px)}.search-box{order:2;flex-basis:100%;max-width:none;margin:2px 0}.toolbar>button{min-height:31px;font-size:10px;padding:5px 8px}.families{padding:5px 16px 8px}.canvas-hint{left:9px;font-size:9px;right:9px;top:8px}.canvas-hint i{padding:0 4px}#minimap{width:156px;height:68px;left:10px;bottom:12px}.zoom-controls{right:10px;bottom:12px;padding:2px}.zoom-controls button{padding:4px;min-width:26px}.zoom-controls #fit{padding-left:8px}.details{right:10px;left:10px;width:auto;top:10px;bottom:86px;padding:21px}.details h2{font-size:18px}footer{padding:7px 16px;font-size:9px;gap:5px}#canvas{min-height:330px}.search-result{padding:9px}#tooltip{max-width:calc(100vw - 20px)}#terminal{display:none}}
@media(prefers-reduced-motion:reduce){*{transition:none!important;scroll-behavior:auto!important}}