@layer properties{@supports (((-webkit-hyphens:none)) and (not (margin-trim:inline))) or ((-moz-orient:inline) and (not (color:rgb(from red r g b)))){*,:before,:after,::backdrop{--tw-rotate-x:initial;--tw-rotate-y:initial;--tw-rotate-z:initial;--tw-skew-x:initial;--tw-skew-y:initial;--tw-space-y-reverse:0;--tw-border-style:solid;--tw-leading:initial;--tw-font-weight:initial;--tw-tracking:initial;--tw-shadow:0 0 #0000;--tw-shadow-color:initial;--tw-shadow-alpha:100%;--tw-inset-shadow:0 0 #0000;--tw-inset-shadow-color:initial;--tw-inset-shadow-alpha:100%;--tw-ring-color:initial;--tw-ring-shadow:0 0 #0000;--tw-inset-ring-color:initial;--tw-inset-ring-shadow:0 0 #0000;--tw-ring-inset:initial;--tw-ring-offset-width:0px;--tw-ring-offset-color:#fff;--tw-ring-offset-shadow:0 0 #0000;--tw-outline-style:solid}}}@layer theme{:root,:host{--font-sans:ui-sans-serif,system-ui,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji";--font-mono:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,"Liberation Mono","Courier New",monospace;--spacing:.25rem;--container-sm:24rem;--container-xl:36rem;--container-4xl:56rem;--container-6xl:72rem;--text-xs:.75rem;--text-xs--line-height:calc(1/.75);--text-sm:.875rem;--text-sm--line-height:calc(1.25/.875);--text-base:1rem;--text-base--line-height:calc(1.5/1);--text-lg:1.125rem;--text-lg--line-height:calc(1.75/1.125);--text-xl:1.25rem;--text-xl--line-height:calc(1.75/1.25);--text-2xl:1.5rem;--text-2xl--line-height:calc(2/1.5);--text-3xl:1.875rem;--text-3xl--line-height:calc(2.25/1.875);--text-4xl:2.25rem;--text-4xl--line-height:calc(2.5/2.25);--text-5xl:3rem;--text-5xl--line-height:1;--font-weight-medium:500;--font-weight-semibold:600;--font-weight-black:900;--tracking-tight:-.025em;--leading-snug:1.375;--leading-relaxed:1.625;--radius-md:.375rem;--radius-lg:.5rem;--radius-xl:.75rem;--default-transition-duration:.15s;--default-transition-timing-function:cubic-bezier(.4,0,.2,1);--default-font-family:var(--font-sans);--default-mono-font-family:var(--font-mono)}}@layer base{*,:after,:before,::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,:host{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--default-font-family,ui-sans-serif,system-ui,sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:var(--default-mono-font-family,ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,"Liberation Mono","Courier New",monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-moz-focusring{outline:auto}progress{vertical-align:baseline}summary{display:list-item}ol,ul,menu{list-style:none}img,svg,video,canvas,audio,iframe,embed,object{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab, red, red)){::placeholder{color:color-mix(in oklab,currentcolor 50%,transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit{padding-block:0}::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-day-field{padding-block:0}::-webkit-datetime-edit-hour-field{padding-block:0}::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-millisecond-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){appearance:button}::file-selector-button{appearance:button}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}}@layer components;@layer utilities{.pointer-events-none{pointer-events:none}.invisible{visibility:hidden}.visible{visibility:visible}.absolute{position:absolute}.fixed{position:fixed}.relative{position:relative}.inset-0{inset:calc(var(--spacing)*0)}.right-4{right:calc(var(--spacing)*4)}.bottom-4{bottom:calc(var(--spacing)*4)}.z-0{z-index:0}.z-10{z-index:10}.z-40{z-index:40}.z-50{z-index:50}.container{width:100%}@media (min-width:40rem){.container{max-width:40rem}}@media (min-width:48rem){.container{max-width:48rem}}@media (min-width:64rem){.container{max-width:64rem}}@media (min-width:80rem){.container{max-width:80rem}}@media (min-width:96rem){.container{max-width:96rem}}.mt-1{margin-top:calc(var(--spacing)*1)}.mt-2{margin-top:calc(var(--spacing)*2)}.mt-3{margin-top:calc(var(--spacing)*3)}.mt-4{margin-top:calc(var(--spacing)*4)}.mt-6{margin-top:calc(var(--spacing)*6)}.mt-8{margin-top:calc(var(--spacing)*8)}.line-clamp-2{-webkit-line-clamp:2;-webkit-box-orient:vertical;display:-webkit-box;overflow:hidden}.block{display:block}.flex{display:flex}.grid{display:grid}.hidden{display:none}.inline{display:inline}.inline-flex{display:inline-flex}.table{display:table}.h-3{height:calc(var(--spacing)*3)}.h-28{height:calc(var(--spacing)*28)}.h-\[70vh\]{height:70vh}.h-full{height:100%}.h-screen{height:100vh}.max-h-80{max-height:calc(var(--spacing)*80)}.min-h-screen{min-height:100vh}.w-3{width:calc(var(--spacing)*3)}.w-\[92vw\]{width:92vw}.w-full{width:100%}.w-screen{width:100vw}.max-w-4xl{max-width:var(--container-4xl)}.max-w-6xl{max-width:var(--container-6xl)}.max-w-sm{max-width:var(--container-sm)}.max-w-xl{max-width:var(--container-xl)}.shrink{flex-shrink:1}.transform{transform:var(--tw-rotate-x,)var(--tw-rotate-y,)var(--tw-rotate-z,)var(--tw-skew-x,)var(--tw-skew-y,)}.cursor-pointer{cursor:pointer}.resize{resize:both}.flex-col{flex-direction:column}.flex-wrap{flex-wrap:wrap}.items-baseline{align-items:baseline}.items-center{align-items:center}.items-start{align-items:flex-start}.justify-between{justify-content:space-between}.justify-center{justify-content:center}.justify-end{justify-content:flex-end}.gap-0\.5{gap:calc(var(--spacing)*.5)}.gap-1{gap:calc(var(--spacing)*1)}.gap-2{gap:calc(var(--spacing)*2)}.gap-3{gap:calc(var(--spacing)*3)}.gap-4{gap:calc(var(--spacing)*4)}:where(.space-y-2>:not(:last-child)){--tw-space-y-reverse:0;margin-block-start:calc(calc(var(--spacing)*2)*var(--tw-space-y-reverse));margin-block-end:calc(calc(var(--spacing)*2)*calc(1 - var(--tw-space-y-reverse)))}:where(.space-y-3>:not(:last-child)){--tw-space-y-reverse:0;margin-block-start:calc(calc(var(--spacing)*3)*var(--tw-space-y-reverse));margin-block-end:calc(calc(var(--spacing)*3)*calc(1 - var(--tw-space-y-reverse)))}.truncate{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.overflow-hidden{overflow:hidden}.overflow-y-auto{overflow-y:auto}.rounded{border-radius:.25rem}.rounded-full{border-radius:3.40282e38px}.rounded-lg{border-radius:var(--radius-lg)}.rounded-md{border-radius:var(--radius-md)}.rounded-xl{border-radius:var(--radius-xl)}.border{border-style:var(--tw-border-style);border-width:1px}.border-b{border-bottom-style:var(--tw-border-style);border-bottom-width:1px}.bg-transparent{background-color:#0000}.p-0\.5{padding:calc(var(--spacing)*.5)}.p-1{padding:calc(var(--spacing)*1)}.p-2{padding:calc(var(--spacing)*2)}.p-4{padding:calc(var(--spacing)*4)}.px-1{padding-inline:calc(var(--spacing)*1)}.px-2{padding-inline:calc(var(--spacing)*2)}.px-3{padding-inline:calc(var(--spacing)*3)}.px-4{padding-inline:calc(var(--spacing)*4)}.py-0\.5{padding-block:calc(var(--spacing)*.5)}.py-1{padding-block:calc(var(--spacing)*1)}.py-1\.5{padding-block:calc(var(--spacing)*1.5)}.py-2{padding-block:calc(var(--spacing)*2)}.py-3{padding-block:calc(var(--spacing)*3)}.pt-4{padding-top:calc(var(--spacing)*4)}.pr-1{padding-right:calc(var(--spacing)*1)}.pb-2{padding-bottom:calc(var(--spacing)*2)}.text-center{text-align:center}.text-2xl{font-size:var(--text-2xl);line-height:var(--tw-leading,var(--text-2xl--line-height))}.text-4xl{font-size:var(--text-4xl);line-height:var(--tw-leading,var(--text-4xl--line-height))}.text-base{font-size:var(--text-base);line-height:var(--tw-leading,var(--text-base--line-height))}.text-lg{font-size:var(--text-lg);line-height:var(--tw-leading,var(--text-lg--line-height))}.text-sm{font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height))}.text-xs{font-size:var(--text-xs);line-height:var(--tw-leading,var(--text-xs--line-height))}.text-\[0\.75rem\]{font-size:.75rem}.leading-relaxed{--tw-leading:var(--leading-relaxed);line-height:var(--leading-relaxed)}.leading-snug{--tw-leading:var(--leading-snug);line-height:var(--leading-snug)}.font-black{--tw-font-weight:var(--font-weight-black);font-weight:var(--font-weight-black)}.font-medium{--tw-font-weight:var(--font-weight-medium);font-weight:var(--font-weight-medium)}.font-semibold{--tw-font-weight:var(--font-weight-semibold);font-weight:var(--font-weight-semibold)}.tracking-tight{--tw-tracking:var(--tracking-tight);letter-spacing:var(--tracking-tight)}.capitalize{text-transform:capitalize}.underline{text-decoration-line:underline}.antialiased{-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}.accent-\[var\(--accent\)\]{accent-color:var(--accent)}.shadow-inner{--tw-shadow:inset 0 2px 4px 0 var(--tw-shadow-color,#0000000d);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.shadow-lg{--tw-shadow:0 10px 15px -3px var(--tw-shadow-color,#0000001a),0 4px 6px -4px var(--tw-shadow-color,#0000001a);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.shadow-sm{--tw-shadow:0 1px 3px 0 var(--tw-shadow-color,#0000001a),0 1px 2px -1px var(--tw-shadow-color,#0000001a);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.ring{--tw-ring-shadow:var(--tw-ring-inset,)0 0 0 calc(1px + var(--tw-ring-offset-width))var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.outline{outline-style:var(--tw-outline-style);outline-width:1px}.transition{transition-property:color,background-color,border-color,outline-color,text-decoration-color,fill,stroke,--tw-gradient-from,--tw-gradient-via,--tw-gradient-to,opacity,box-shadow,transform,translate,scale,rotate,filter,-webkit-backdrop-filter,backdrop-filter,display,content-visibility,overlay,pointer-events;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}@media (hover:hover){.hover\:bg-\[var\(--surface2\)\]:hover{background-color:var(--surface2)}.hover\:bg-transparent:hover{background-color:#0000}}.disabled\:opacity-60:disabled{opacity:.6}@media (min-width:40rem){.sm\:grid-cols-2{grid-template-columns:repeat(2,minmax(0,1fr))}.sm\:p-5{padding:calc(var(--spacing)*5)}.sm\:p-8{padding:calc(var(--spacing)*8)}.sm\:px-8{padding-inline:calc(var(--spacing)*8)}.sm\:pt-8{padding-top:calc(var(--spacing)*8)}.sm\:text-3xl{font-size:var(--text-3xl);line-height:var(--tw-leading,var(--text-3xl--line-height))}.sm\:text-5xl{font-size:var(--text-5xl);line-height:var(--tw-leading,var(--text-5xl--line-height))}.sm\:text-sm{font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height))}.sm\:text-xl{font-size:var(--text-xl);line-height:var(--tw-leading,var(--text-xl--line-height))}}@media (min-width:48rem){.md\:p-12{padding:calc(var(--spacing)*12)}.md\:px-12{padding-inline:calc(var(--spacing)*12)}}}:root{--background:#121212;--foreground:#e0e0e0;--surface1:#1a1a1a;--surface2:#242424;--primary-text:#e0e0e0;--secondary-text:#aaa;--accent:#ffdd57;--accent-hover:#ffc800;--border-color:#333;--color-background:var(--background);--color-foreground:var(--foreground);--font-sans:var(--font-geist-sans);--font-mono:var(--font-geist-mono)}body{background:var(--background);color:var(--primary-text);font-family:STIX Two Text,"Source Serif 4",Georgia,serif}h1,h2,h3{font-family:STIX Two Text,"Source Serif 4",Georgia,serif}code{background-color:var(--surface2);color:var(--accent);border-radius:4px;padding:.2em .4em;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;font-size:.9em}.graph-title-link{cursor:pointer;text-decoration:none}.graph-title-link:hover{text-underline-offset:6px;text-decoration:underline;text-decoration-thickness:2px}.graph-info-btn{border:1px solid var(--border-color);background:var(--surface2);width:14px;height:14px;color:var(--secondary-text);cursor:pointer;border-radius:999px;justify-content:center;align-items:center;font-size:10px;font-weight:900;line-height:1;display:inline-flex}.graph-info-btn:hover{border-color:var(--accent);color:var(--accent)}.graph-info-modal{z-index:60;position:fixed;inset:0}.graph-info-modal__backdrop{background:#0000008c;position:absolute;inset:0}.graph-info-modal__card{background:var(--surface1);border:1px solid var(--border-color);pointer-events:auto;border-radius:12px;width:min(680px,100vw - 32px);position:absolute;top:22px;left:50%;overflow:hidden;transform:translate(-50%);box-shadow:0 18px 55px #0000008c}.graph-info-modal__header{border-bottom:1px solid var(--border-color);justify-content:space-between;align-items:center;padding:12px 14px;display:flex}.graph-info-modal__title{color:var(--accent);font-weight:900}.graph-info-modal__close{color:var(--secondary-text);cursor:pointer;background:0 0;border:none;font-size:22px;line-height:1}.graph-info-modal__close:hover{color:var(--accent)}.graph-info-modal__body{color:var(--primary-text);padding:12px 14px 16px;font-family:STIX Two Text,"Source Serif 4",Georgia,serif;font-size:16px;line-height:1.6}.graph-info-modal__body a{color:var(--accent);text-underline-offset:4px;text-decoration:underline}.graph-info-modal__body a:hover{color:var(--accent-hover)}.graph-info-modal__body p{margin:10px 0}.graph-info-modal__body ul{margin:10px 0;padding-left:0;list-style:inside}.graph-info-modal__body li{margin:8px 0}.graph-info-modal__body li::marker{color:var(--accent)}.paper-link-btn{border:1px solid var(--border-color);background:var(--surface2);border-radius:10px;justify-content:center;align-items:center;width:36px;height:36px;transition:transform .12s,border-color .12s;display:inline-flex}.paper-link-btn:hover{border-color:var(--accent);transform:translateY(-1px)}.paper-link-btn img{filter:invert(.92);opacity:.9}@property --tw-rotate-x{syntax:"*";inherits:false}@property --tw-rotate-y{syntax:"*";inherits:false}@property --tw-rotate-z{syntax:"*";inherits:false}@property --tw-skew-x{syntax:"*";inherits:false}@property --tw-skew-y{syntax:"*";inherits:false}@property --tw-space-y-reverse{syntax:"*";inherits:false;initial-value:0}@property --tw-border-style{syntax:"*";inherits:false;initial-value:solid}@property --tw-leading{syntax:"*";inherits:false}@property --tw-font-weight{syntax:"*";inherits:false}@property --tw-tracking{syntax:"*";inherits:false}@property --tw-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-shadow-color{syntax:"*";inherits:false}@property --tw-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-inset-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-inset-shadow-color{syntax:"*";inherits:false}@property --tw-inset-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-ring-color{syntax:"*";inherits:false}@property --tw-ring-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-inset-ring-color{syntax:"*";inherits:false}@property --tw-inset-ring-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-ring-inset{syntax:"*";inherits:false}@property --tw-ring-offset-width{syntax:"<length>";inherits:false;initial-value:0}@property --tw-ring-offset-color{syntax:"*";inherits:false;initial-value:#fff}@property --tw-ring-offset-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-outline-style{syntax:"*";inherits:false;initial-value:solid}
.graph-shell{background:var(--background);border:1px solid var(--border-color);border-radius:12px;width:100%;height:100%;position:relative;overflow:hidden}.graph-container{width:100%;height:100%;position:relative}#tooltip{z-index:50;background:var(--surface1);max-width:450px;color:var(--primary-text);border:1px solid var(--border-color);pointer-events:none;border-radius:8px;padding:12px;display:none;position:absolute;box-shadow:0 10px 25px #00000059}#tooltip h4{margin-bottom:6px;font-weight:700}.math-content{font-size:12px;line-height:1.35}.math-content .latex-enum,.math-content .latex-itemize{margin:6px 0;padding-left:18px}.math-content .latex-enum li,.math-content .latex-itemize li{margin:2px 0}.diagram-placeholder{border:1px solid var(--border-color);background:var(--surface1);color:var(--secondary-text);border-radius:4px;padding:0 4px;font-style:italic;display:inline-block}.legend{z-index:20;background:var(--surface1);border:1px solid var(--border-color);max-width:420px;color:var(--primary-text);border-radius:10px;padding:12px;position:absolute;bottom:12px;left:12px}.legend-header{justify-content:space-between;align-items:center;gap:10px;margin-bottom:8px;display:flex}.legend-section-header{justify-content:space-between;align-items:center;gap:10px;margin-bottom:6px;display:flex}.legend-section-header h3{margin:0}.legend-title{color:var(--accent);margin:0;font-family:STIX Two Text,"Source Serif 4",Georgia,serif;font-size:12px;font-weight:900}.legend-toggle{border:1px solid var(--border-color);background:var(--surface2);color:var(--primary-text);cursor:pointer;border-radius:6px;width:28px;height:24px;font-family:STIX Two Text,"Source Serif 4",Georgia,serif;font-size:12px;line-height:1}.legend-toggle:hover{border-color:var(--accent);color:var(--accent)}.legend--collapsed{max-width:180px}.legend--collapsed .legend-body{display:none}.legend h3{color:var(--accent);margin-bottom:6px;font-family:STIX Two Text,"Source Serif 4",Georgia,serif;font-size:12px;font-weight:800}.legend-body h3:first-child{margin-top:0}.legend-grid{flex-wrap:wrap;gap:8px 10px;display:flex}.legend-item{cursor:pointer;-webkit-user-select:none;user-select:none;color:var(--primary-text);align-items:center;gap:6px;font-family:STIX Two Text,"Source Serif 4",Georgia,serif;font-size:12px;display:inline-flex}.legend-item.inactive{opacity:.35}.legend-color{border-radius:3px;width:12px;height:12px}.edge-legend-line{border-radius:3px;width:16px;height:3px}#info-panel{z-index:30;background:var(--surface1);border-left:1px solid var(--border-color);flex-direction:column;width:360px;max-width:92%;height:100%;transition:transform .25s ease-in-out;display:flex;position:absolute;top:0;right:0;overflow:auto;transform:translate(105%)}#info-panel.visible{transform:translate(0)}#info-header{border-bottom:1px solid var(--border-color);justify-content:space-between;align-items:center;gap:10px;padding:14px;font-family:STIX Two Text,"Source Serif 4",Georgia,serif;display:flex}#info-title{color:var(--primary-text);align-items:center;gap:6px;font-weight:800;display:inline-flex}.info-title-flag-btn{cursor:pointer;color:var(--secondary-text);background:0 0;border:none;margin-left:4px;padding:0}.info-title-flag-btn:hover{color:var(--accent)}#close-info-panel{color:var(--secondary-text);cursor:pointer;background:0 0;border:none;font-size:24px;font-weight:700}#close-info-panel:hover{color:var(--accent)}.depth-btn{border:1px solid var(--border-color);background:var(--surface2);cursor:pointer;color:var(--primary-text);border-radius:4px;padding:6px 12px;font-family:STIX Two Text,"Source Serif 4",Georgia,serif;font-size:14px;transition:background-color .2s}.depth-btn:hover{background:var(--surface1)}.depth-btn--primary{background:var(--accent);border-color:var(--accent);color:var(--background);font-weight:700}.depth-btn--primary:hover{background:var(--accent-hover);border-color:var(--accent-hover)}.proof-controls-inline{flex-direction:column;align-items:center;gap:8px;margin:6px 0 12px;display:flex}.proof-controls-inline .proof-btn-center{white-space:nowrap;text-overflow:ellipsis;width:100%;min-width:0;overflow:hidden}.depth-btn--icon{justify-content:center;align-items:center;width:34px;height:34px;padding:0;font-weight:900;display:inline-flex}.proof-depth-controls{grid-template-columns:34px auto 34px;align-items:center;gap:8px;display:grid}.proof-depth-label{color:var(--secondary-text);pointer-events:none;font-family:STIX Two Text,"Source Serif 4",Georgia,serif;font-size:11px}.proof-action{justify-content:center;margin:6px 0 10px;display:flex}.report-action{justify-content:center;margin:0 0 10px;display:flex}#info-body{color:var(--primary-text);padding:14px;font-size:13px}#info-body h4{border-bottom:1px solid var(--border-color);color:var(--accent);margin-top:14px;margin-bottom:6px;padding-bottom:6px;font-family:STIX Two Text,"Source Serif 4",Georgia,serif}.node{stroke:var(--surface1);stroke-width:3px;cursor:pointer}.node:hover,.node.selected{stroke:var(--accent)}.link{stroke-opacity:.6;stroke-width:1.5px;cursor:pointer;transition:stroke-width .2s,stroke-opacity .2s}.link:hover{stroke-width:4px;stroke-opacity:1}.node-label{fill:var(--primary-text);text-anchor:middle;pointer-events:none;font-family:STIX Two Text,"Source Serif 4",Georgia,serif;font-size:12px;font-weight:500}.floating-controls{z-index:100;pointer-events:all;gap:8px;display:none;position:absolute;top:85px;left:15px}.floating-controls button{border:1px solid var(--border-color);background:var(--surface2);cursor:pointer;color:var(--primary-text);border-radius:4px;padding:6px 12px;font-family:STIX Two Text,"Source Serif 4",Georgia,serif;font-size:14px;transition:background-color .2s}.node-index{text-anchor:middle;dominant-baseline:middle;pointer-events:none;fill:var(--background);font-weight:700}.floating-controls button:hover{background:var(--surface1)}.floating-controls button.primary{background:var(--accent);border-color:var(--accent);color:var(--background);font-weight:700}.floating-controls button.primary:hover{background:var(--accent-hover);border-color:var(--accent-hover)}.graph-live-replay{z-index:40;pointer-events:all;border:1px solid var(--border-color);-webkit-backdrop-filter:blur(6px);backdrop-filter:blur(6px);background:#1a1a1aeb;border-radius:999px;align-items:center;gap:10px;padding:10px 12px;display:inline-flex;position:absolute;bottom:16px;right:16px;box-shadow:0 10px 25px #00000059}.graph-live-replay__btn{border:1px solid var(--border-color);background:var(--surface2);color:var(--primary-text);cursor:pointer;border-radius:999px;height:32px;padding:0 12px;font-size:12px;font-weight:800}.graph-live-replay__btn:hover{border-color:var(--accent);color:var(--accent)}.graph-live-replay__btn--active{background:var(--accent);border-color:var(--accent);color:var(--background)}.graph-live-replay__speed{color:var(--primary-text);background:0 0;border:none;align-items:center;gap:8px;margin-top:0;padding:0;font-size:12px;display:inline-flex}.graph-live-replay__speed-end{color:var(--secondary-text);min-width:32px;font-weight:700}.graph-live-replay__speed input[type=range]{width:160px}