:root{--font-sans:ui-sans-serif, system-ui, -apple-system, "Segoe UI", Roboto, Arial, "Noto Sans", "Liberation Sans", sans-serif;--font-mono:ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;--font-size-0:.875rem;--font-size-1:1rem;--font-size-2:1.125rem;--line-height-1:1.5;--space-1:.25rem;--space-2:.5rem;--space-3:.75rem;--space-4:1rem;--space-5:1.5rem;--space-6:2rem;--radius-1:.25rem;--radius-2:.5rem;--shadow-1:0 1px 2px #00000014;--shadow-2:0 4px 12px #0000001f;--color-bg:#fff;--color-fg:#111827;--color-muted:#6b7280;--color-border:#e5e7eb;--color-surface:#f9fafb;--color-accent:#2563eb;--color-danger:#dc2626;--color-warning:#d97706;--color-success:#16a34a;--focus-ring:0 0 0 3px #2563eb59;--focus-outline-width:2px;--focus-outline-offset:2px;--anim-duration:.25s;--anim-ease:cubic-bezier(.42, 0, .58, 1)}:where(a,button,input,select,textarea,summary,[role=button],[tabindex]):focus-visible{outline:var(--focus-outline-width) solid var(--color-accent);outline-offset:var(--focus-outline-offset);box-shadow:var(--focus-ring);border-radius:var(--radius-1)}@media (prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;transition-duration:.001ms!important;animation-duration:.001ms!important;animation-iteration-count:1!important}}:root{--color-bg:#fdf6e3;--color-surface:#eee8d5;--color-fg:#586e75;--color-fg-surface:#073642;--color-muted:#93a1a1;--color-border:#93a1a1;--pseudocode-font-family:var(--font-mono,monospace);--pseudocode-font-size:.8rem;--pseudocode-line-height:1.4;--pseudocode-text-color:#073642;--pseudocode-line-number-color:#93a1a1;--pseudocode-line-number-width:2.5ch;--pseudocode-line-number-padding:1ch;--pseudocode-indent-width:2ch;--pseudocode-indent-guide-color:#93a1a1;--pseudocode-indent-margin:.5ch;--dsa-role-label-font-family:var(--pseudocode-font-family,var(--font-mono,monospace));--dsa-role-label-font-size:var(--pseudocode-font-size,.8rem);--dsa-role-label-font-weight:normal;--dsa-role-label-color:#268bd2;--dsa-role-label-gap:6px}*{box-sizing:border-box}html,body{height:100%}body{font-family:var(--font-sans,system-ui, -apple-system, Segoe UI, Roboto, Helvetica, Arial, sans-serif);background:var(--color-bg);color:var(--color-fg);margin:0}a{color:inherit}button{font:inherit}.dsa-panel{padding:var(--space-3,12px);border:1px solid var(--color-border);border-radius:var(--radius-2,4px);background-color:var(--color-bg)}.dsa-panel--surface{background-color:var(--color-surface);box-shadow:var(--shadow-1);--dsa-panel-title-color:#073642}.dsa-panel-title{margin:var(--dsa-panel-title-margin,0 0 var(--space-2,8px) 0);color:var(--dsa-panel-title-color,#586e75);font-size:1.125rem;font-weight:700}.dsa-panel-title--tight{--dsa-panel-title-margin:0}.dsa-panel-title--spacious{--dsa-panel-title-margin:0 0 var(--space-3,12px) 0}.dsa-state-lane{--dsa-state-cell-size:30px;--dsa-state-cell-gap:var(--space-1,4px);--dsa-state-col-gap:var(--space-2,8px);--dsa-state-index-gap:0px;--dsa-state-list-gap:var(--space-2,8px);--dsa-state-arrow-extension:calc(var(--dsa-state-cell-size) * .2);--dsa-state-arrow-length:calc(var(--dsa-state-list-gap) + .6rem + var(--dsa-state-arrow-extension));--dsa-state-label-width:3.5rem;flex-direction:column;align-items:flex-start;gap:0;display:flex}.dsa-state-lane--detailed{--dsa-state-label-width:4.5rem}.dsa-state-row{align-items:center;gap:var(--dsa-state-col-gap);display:flex}.dsa-state-row--start{align-items:flex-start}.dsa-state-cells{grid-auto-flow:column;grid-auto-columns:var(--dsa-state-cell-size);gap:var(--dsa-state-cell-gap);display:grid}.dsa-state-row--indices{margin-bottom:var(--dsa-state-index-gap)}.dsa-state-row--tiles,.dsa-state-row--heads{margin-bottom:var(--dsa-state-list-gap)}.dsa-state-row--heads,.dsa-state-row--elements{align-items:flex-start}.dsa-state-label{color:#d33682;font-size:.875rem;font-family:var(--font-sans,sans-serif);text-align:right;white-space:nowrap;min-width:var(--dsa-state-label-width);line-height:1.25}.dsa-state-label-stack{grid-auto-rows:var(--dsa-state-cell-size);min-width:var(--dsa-state-label-width);padding-top:var(--dsa-state-arrow-extension);place-items:start end;gap:0;display:grid}.dsa-state-label-stack .dsa-state-label{line-height:var(--dsa-state-cell-size)}.dsa-state-label--spacer{visibility:hidden}.dsa-state-index{color:#d33682;font-size:.875rem;font-family:var(--font-mono,monospace);font-variant-numeric:tabular-nums;width:var(--dsa-state-cell-size);text-align:center}.dsa-state-tile{width:var(--dsa-state-cell-size);height:var(--dsa-state-cell-size);border:1px solid var(--color-border);border-radius:var(--radius-2);background:var(--dsa-state-tile-empty,#a6cee3);position:relative;overflow:visible}.dsa-state-tile--filled{background:var(--dsa-state-tile-filled,#a6cee3);border-color:var(--dsa-state-tile-filled-border,#1f78b4)}.dsa-state-tile-arrow{width:0;height:var(--dsa-state-arrow-length);opacity:.85;pointer-events:none;position:absolute;top:55%;left:50%;transform:translate(-50%)}.dsa-state-tile-arrow:before{content:"";border-left:2px solid #1f78b4;height:calc(100% - 6px);position:absolute;top:0;left:50%;transform:translate(-50%)}.dsa-state-tile-arrow:after{content:"";border-top:6px solid #1f78b4;border-left:5px solid #0000;border-right:5px solid #0000;width:0;height:0;position:absolute;bottom:0;left:50%;transform:translate(-50%)}.dsa-state-tile-arrow--empty{opacity:.6}.dsa-state-tile-arrow--empty:before{border-left-color:#93a1a1}.dsa-state-tile-arrow--empty:after{opacity:.6;border-top-color:#93a1a1}.dsa-state-list-cell{width:var(--dsa-state-cell-size);font-family:var(--font-mono,monospace);color:#586e75;flex-direction:column;align-items:center;gap:2px;font-size:.75rem;display:flex}.dsa-state-list-cell--head{justify-content:center;min-height:1.2rem}.dsa-state-list-cell--keys,.dsa-state-list-cell--next{min-height:1.6rem}.dsa-state-list-cell--elements{padding-top:var(--dsa-state-arrow-extension)}.dsa-state-element{margin-bottom:calc(var(--dsa-state-list-gap) + var(--dsa-state-arrow-extension));flex-direction:column;align-items:center;gap:0;display:flex}.dsa-state-element:last-child{margin-bottom:0}.dsa-state-key-square{width:var(--dsa-state-cell-size);height:var(--dsa-state-cell-size);box-sizing:border-box;border-radius:var(--radius-2);font-family:var(--font-mono,monospace);color:#073642;font-variant-numeric:tabular-nums;background:#b2df8a;border:1px solid #6a8f3a;place-items:center;font-size:.875rem;font-weight:700;display:grid}.dsa-state-pointer-square{width:var(--dsa-state-cell-size);height:var(--dsa-state-cell-size);border-radius:var(--radius-2);box-sizing:border-box;background:#a6cee3;border:1px solid #1f78b4;position:relative;overflow:visible}.dsa-state-pointer-square--null{opacity:.5;border-style:dashed;border-width:2px}.dsa-state-list-empty{width:var(--dsa-state-cell-size);min-height:calc(var(--dsa-state-cell-size) * 2 + var(--dsa-state-list-gap) + var(--dsa-state-arrow-extension))}:focus-visible{outline:2px solid var(--color-accent,#7aa2ff);outline-offset:2px}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.001ms!important;animation-duration:.001ms!important;animation-iteration-count:1!important}}.isort-var-token,.msort-var-token{cursor:help;text-underline-offset:2px;-webkit-text-decoration:underline dotted;text-decoration:underline dotted}.isort-var-tooltip,.msort-var-tooltip{--var-tooltip-name-color:#268bd2;--var-tooltip-eq-color:#586e75;--var-tooltip-value-color:#d33682;--var-tooltip-name-weight:600;--var-tooltip-value-weight:600;background:var(--color-bg);color:var(--color-fg);border:1px solid var(--color-border);border-radius:var(--radius-2,4px);font-family:var(--font-mono,monospace);box-shadow:var(--shadow-2);pointer-events:none;opacity:0;transition:opacity var(--anim-duration,.25s) var(--anim-ease,cubic-bezier(.42, 0, .58, 1));white-space:nowrap;z-index:2000;padding:6px 10px;font-size:.85rem;position:fixed;top:0;left:0}.isort-var-tooltip .var-tooltip__name,.msort-var-tooltip .var-tooltip__name{color:var(--var-tooltip-name-color);font-weight:var(--var-tooltip-name-weight)}.isort-var-tooltip .var-tooltip__eq,.msort-var-tooltip .var-tooltip__eq{color:var(--var-tooltip-eq-color)}.isort-var-tooltip .var-tooltip__value,.msort-var-tooltip .var-tooltip__value{color:var(--var-tooltip-value-color);font-weight:var(--var-tooltip-value-weight)}.isort-var-tooltip .var-tooltip__undef,.msort-var-tooltip .var-tooltip__undef{color:var(--color-muted)}.array-ops-tooltip,.dsa-tooltip{background:var(--color-fg-surface,#073642);color:var(--color-bg,#fdf6e3);border:1px solid var(--color-border,#93a1a1);border-radius:var(--radius-2,4px);font-size:.85rem;font-family:var(--font-mono,monospace);pointer-events:none;z-index:2000;opacity:0;transition:opacity var(--anim-duration,.25s) var(--anim-ease,cubic-bezier(.42, 0, .58, 1));white-space:nowrap;box-shadow:var(--shadow-2,0 2px 8px #00000040);padding:6px 10px;font-weight:500;position:fixed;top:0;left:0}.dsa-condition-box{box-shadow:none;vertical-align:baseline;border-radius:2px;padding:0 .3ch;display:inline-block}.dsa-condition-box--tight{padding:0 .1ch}.dsa-condition-box--true{box-shadow:inset 0 0 0 2px #33a02c}.dsa-condition-box--false{box-shadow:inset 0 0 0 2px #e31a1c}.dsa-condition-marker{text-align:center;-webkit-user-select:none;user-select:none;vertical-align:middle;color:#fdf6e3;border-radius:9999px;justify-content:center;align-items:center;width:1.4em;height:1.4em;margin-left:1ch;font-weight:800;line-height:1;display:inline-flex}.dsa-condition-marker--true{background-color:#33a02c}.dsa-condition-marker--false{background-color:#e31a1c}.dsa-shell[data-v-f5eb164b]{max-width:980px;padding:var(--space-5,24px);margin:0 auto}main[data-v-f5eb164b]{gap:var(--space-4,16px);flex-direction:column;display:flex}.dsa-skip-link[data-v-f5eb164b]{top:var(--space-2,8px);left:var(--space-2,8px);background-color:var(--color-surface);color:var(--color-fg-surface);border:1px solid var(--color-border);border-radius:var(--radius-2,4px);z-index:9999;opacity:0;font:inherit;cursor:pointer;appearance:none;padding:6px 10px;position:fixed;transform:translateY(-150%)}.dsa-skip-link[data-v-f5eb164b]:focus,.dsa-skip-link[data-v-f5eb164b]:focus-visible{opacity:1;transform:translateY(0)}.dsa-header[data-v-f5eb164b]{justify-content:space-between;align-items:center;gap:var(--space-4,16px);margin-bottom:var(--space-4,16px);display:flex}.dsa-header-left[data-v-f5eb164b]{gap:var(--space-2,8px);flex-direction:column;flex:1;min-width:0;display:flex}.dsa-title[data-v-f5eb164b]{margin:0}.dsa-logo[data-v-f5eb164b]{flex-shrink:0;justify-content:flex-end;align-items:flex-start;width:16.67%;display:flex}.dsa-logo img[data-v-f5eb164b]{width:100%;height:auto}.dsa-footer[data-v-f5eb164b]{margin-top:var(--space-6,32px);padding-top:var(--space-3,12px);border-top:1px solid var(--color-border)}.dsa-footer p[data-v-f5eb164b-s]{color:var(--color-muted);text-align:center;margin:0;font-size:.9rem}.dsa-nav[data-v-66f85d92]{gap:var(--space-2,8px);flex-wrap:wrap;align-items:center;display:flex}.dsa-nav-button[data-v-66f85d92]{font:inherit;border:1px solid var(--color-border);border-radius:var(--radius-2,4px);box-sizing:border-box;cursor:pointer;color:#073642;appearance:none;background-color:#a6cee3;background-image:none;justify-content:center;align-items:center;height:29px;padding:0 12px;font-weight:700;text-decoration:none;display:inline-flex}.dsa-nav-button[data-v-66f85d92]:hover{background-color:#a6cee3}.dsa-nav-select[data-v-66f85d92]{font:inherit;border:1px solid var(--color-border);border-radius:var(--radius-2,4px);box-sizing:border-box;cursor:pointer;color:#073642;appearance:none;background-color:#a6cee3;background-image:linear-gradient(45deg,#0000 50%,#073642 50%),linear-gradient(135deg,#073642 50%,#0000 50%);background-position:calc(100% - 14px),calc(100% - 9px);background-repeat:no-repeat;background-size:5px 5px,5px 5px;width:180px;height:29px;padding:0 28px 0 8px}.dsa-visually-hidden[data-v-66f85d92]{clip:rect(0, 0, 0, 0);border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.dsa-input-panel{gap:var(--space-3);padding:var(--space-4);border:1px dashed var(--color-border);border-radius:var(--radius-2);background-color:#fdf6e3f2;flex-direction:column;line-height:1.35;display:flex}.dsa-input-title{color:#586e75;margin:0 0 .25em;font-size:1.125rem;font-weight:700;line-height:1.25}.dsa-input-message{min-height:0;font-size:.95rem}.dsa-input-top-row{gap:var(--space-3);flex-wrap:wrap;align-items:stretch;display:flex}.dsa-input-constraints strong{font-size:1rem}.dsa-input-constraints{padding:var(--space-2);border-radius:var(--radius-2);color:#073642;background-color:#eee8d5;flex:250px;font-size:.9rem;line-height:1.4}.dsa-input-constraints ul{margin:.25em 0 0;padding-left:1.2em}.dsa-input-right-column{gap:var(--space-2);flex-direction:column;flex:250px;display:flex}.dsa-input-fieldset{gap:var(--space-1);border:none;flex-direction:column;margin:0;padding:0;display:flex}.dsa-input-fieldset legend{margin-bottom:var(--space-1);font-weight:700}.dsa-input-help{color:#586e75;margin:0;font-size:.9rem}.dsa-input-code{font-family:var(--font-mono,monospace)}.dsa-input-row{gap:var(--space-2);flex-wrap:wrap;align-items:center;display:flex}.dsa-input-edit-fieldset{gap:var(--space-2)}.dsa-textarea-wrap{--dsa-textarea-scrollbar-width:0px;width:100%;position:relative}.dsa-textarea-underlay{top:0;right:var(--dsa-textarea-scrollbar-width,0px);width:100%;min-height:60px;padding:var(--space-2);border:1px solid var(--color-border);border-radius:var(--radius-2);background-color:var(--color-surface);font-kerning:none;font-variant-ligatures:none;font-feature-settings:"liga" 0;letter-spacing:normal;word-spacing:normal;white-space:pre-wrap;overflow-wrap:normal;word-break:normal;box-sizing:border-box;color:#0000;-webkit-text-fill-color:transparent;pointer-events:none;font-size:.9rem;line-height:1.35;position:absolute;bottom:0;left:0;overflow:hidden;font-family:var(--font-mono,ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace)!important}.dsa-textarea-highlight{color:#0000;-webkit-text-fill-color:transparent;background-color:#ffeb3b8c;padding:0}.dsa-textarea-overlay{width:100%;min-height:60px;padding:var(--space-2);border-radius:var(--radius-2);color:#073642;font-kerning:none;font-variant-ligatures:none;font-feature-settings:"liga" 0;letter-spacing:normal;word-spacing:normal;resize:vertical;box-sizing:border-box;background-color:#0000;border:1px solid #0000;outline:none;font-size:.9rem;line-height:1.35;position:relative;overflow:auto;font-family:var(--font-mono,ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace)!important}.dsa-textarea-overlay:focus{box-shadow:0 0 0 2px #1f78b4}.dsa-textarea-overlay:disabled{opacity:.65;cursor:not-allowed}.dsa-input-panel select,.dsa-input-panel textarea:not(.dsa-textarea-overlay),.dsa-input-panel button{font:inherit}.dsa-input-panel input[type=file]{font:inherit;box-sizing:border-box;width:180px;min-width:180px;max-width:180px;height:29px;line-height:29px;overflow:hidden}.dsa-input-panel input[type=file]::file-selector-button{font:inherit;width:180px;min-width:180px;max-width:180px;inline-size:180px;box-sizing:border-box;color:#073642;border:1px solid var(--color-border);border-radius:var(--radius-2);cursor:pointer;appearance:none;background-color:#a6cee3;background-image:none;justify-content:center;align-items:center;height:29px;padding:0 12px;line-height:29px;display:inline-flex}.dsa-input-panel input[type=file]::file-selector-button{font:inherit;width:180px;min-width:180px;max-width:180px;inline-size:180px;box-sizing:border-box;color:#073642;border:1px solid var(--color-border);border-radius:var(--radius-2);cursor:pointer;appearance:none;background-color:#a6cee3;background-image:none;justify-content:center;align-items:center;height:29px;padding:0 12px;line-height:29px;display:inline-flex}.dsa-input-panel select{text-align:center;text-align-last:center;color:#073642;border:1px solid var(--color-border);border-radius:var(--radius-2);box-sizing:border-box;text-overflow:ellipsis;white-space:nowrap;appearance:none;background-color:#a6cee3;background-image:linear-gradient(45deg,#0000 50%,#073642 50%),linear-gradient(135deg,#073642 50%,#0000 50%);background-position:calc(100% - 14px),calc(100% - 9px);background-repeat:no-repeat;background-size:5px 5px,5px 5px;outline:none;width:180px;min-width:180px;max-width:180px;height:29px;padding:0 28px 0 8px;overflow:hidden}.dsa-input-button{width:180px;height:29px;font-family:var(--font-sans,system-ui, -apple-system, Segoe UI, Roboto, Helvetica, Arial, sans-serif);color:#073642;border:1px solid var(--color-border);border-radius:var(--radius-2);cursor:pointer;box-sizing:border-box;appearance:none;background-color:#a6cee3;background-image:none;outline:none;justify-content:center;align-items:center;padding:0 12px;display:inline-flex}.dsa-input-panel textarea:not(.dsa-textarea-overlay){width:100%;min-height:60px;padding:var(--space-2);border:1px solid var(--color-border);border-radius:var(--radius-2);background-color:var(--color-surface);color:#073642;font-size:.9rem;font-family:var(--font-mono,monospace);resize:vertical;box-sizing:border-box;outline:none}.dsa-input-panel .dsa-textarea-overlay{background-color:#0000;border-color:#0000}.dsa-input-fieldset>.dsa-input-button{align-self:flex-start}.dsa-input-panel :focus-visible{outline:none}.dsa-input-panel select:focus,.dsa-input-panel button:focus,.dsa-input-panel input[type=file]:focus,.dsa-input-panel textarea:focus{box-shadow:0 0 0 2px #1f78b4}.dsa-input-panel button:disabled,.dsa-input-panel select:disabled,.dsa-input-panel textarea:disabled,.dsa-input-panel input:disabled{opacity:.65;cursor:not-allowed}:root{--node-fill:#eee8d5;--node-stroke:#586e75;--edge-stroke:#93a1a1;--cost-color:#268bd2;--total-color:#d33682}.rtree-skip-link{top:var(--space-2,8px);left:var(--space-2,8px);background-color:var(--color-surface);color:var(--color-fg-surface);border:1px solid var(--color-border);border-radius:var(--radius-2,4px);z-index:9999;opacity:0;font:inherit;cursor:pointer;appearance:none;padding:6px 10px;position:fixed;transform:translateY(-150%)}.rtree-skip-link:focus,.rtree-skip-link:focus-visible{opacity:1;transform:translateY(0)}.rtree-container{max-width:980px;padding:var(--space-5,24px);margin:0 auto}.rtree-header{justify-content:space-between;align-items:center;gap:var(--space-4,16px);margin-bottom:var(--space-4,16px);display:flex}.rtree-header-left{gap:var(--space-2,8px);flex-direction:column;flex:1;min-width:0;display:flex}.rtree-header h1{margin:0}.rtree-nav{gap:var(--space-2,8px);flex-wrap:wrap;align-items:center;display:flex}.rtree-nav-button{font:inherit;border:1px solid var(--color-border);border-radius:var(--radius-2,4px);box-sizing:border-box;cursor:pointer;color:#073642;appearance:none;background-color:#a6cee3;background-image:none;justify-content:center;align-items:center;height:29px;padding:0 12px;font-weight:700;text-decoration:none;display:inline-flex}.rtree-nav-button:hover{background-color:#a6cee3}.rtree-nav-select{font:inherit;border:1px solid var(--color-border);border-radius:var(--radius-2,4px);box-sizing:border-box;cursor:pointer;color:#073642;appearance:none;background-color:#a6cee3;background-image:linear-gradient(45deg,#0000 50%,#073642 50%),linear-gradient(135deg,#073642 50%,#0000 50%);background-position:calc(100% - 14px),calc(100% - 9px);background-repeat:no-repeat;background-size:5px 5px,5px 5px;width:180px;height:29px;padding:0 28px 0 8px}.rtree-logo{flex-shrink:0;justify-content:flex-end;align-items:flex-start;width:16.67%;display:flex}.rtree-logo img{width:100%;height:auto}.visually-hidden{clip:rect(0, 0, 0, 0);border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.rtree-playback-controls{margin:var(--space-3,12px) 0 var(--space-4,16px) 0}.rtree-formula{margin:var(--space-2,8px) 0 var(--space-1,4px) 0;font-family:Times New Roman,Latin Modern Math,Georgia,serif;font-size:1.125rem;font-weight:400}.rtree-examples-line{font-size:.875rem;font-family:var(--font-sans,system-ui, sans-serif);color:var(--color-fg,#586e75);margin:0;font-style:italic}.rtree-about-box{padding:var(--space-2,8px);background-color:var(--color-surface,#eee8d5);border-radius:var(--radius-2,4px);color:var(--color-fg-surface,#073642);flex:250px;font-size:.9rem;line-height:1.4}.rtree-about-box p{margin:.25em 0}.rtree-about-box ul{margin:.25em 0 .5em;padding-left:1.2em}.rtree-about-box li{margin-bottom:.15em}.rtree-about-formula{white-space:nowrap;font-family:Times New Roman,Latin Modern Math,Georgia,serif}.rtree-inline-math{font-family:Times New Roman,Latin Modern Math,Georgia,serif}.rtree-nowrap{white-space:nowrap}.rtree-math-select{color:var(--color-fg,#586e75);font-family:Times New Roman,Latin Modern Math,Georgia,serif}.rtree-fieldset-legend{margin-bottom:var(--space-1,4px);color:var(--color-fg,#586e75);font-weight:700}.rtree-edit-controls{gap:var(--space-3,12px);padding:var(--space-3,12px);background:var(--color-surface);border:1px solid var(--color-border);border-radius:var(--radius-2,4px);flex-wrap:wrap;display:flex}.rtree-control-group{gap:var(--space-1,4px);flex-direction:column;display:flex}.rtree-control-group label{color:var(--color-fg-surface,#073642);font-size:.875rem;font-weight:700}.rtree-control-group select,.rtree-control-group input{border:1px solid var(--color-border);border-radius:var(--radius-2,4px);background:var(--color-bg);font:inherit;color:var(--color-fg,#586e75);padding:4px 8px}.rtree-diagram-note{font-size:.9rem;font-family:var(--font-sans,system-ui, sans-serif);color:var(--color-fg,#586e75);margin:0 0 var(--space-3,12px) 0;font-style:italic}.rtree-visualization-section{margin-bottom:var(--space-4,16px)}.rtree-tree-container{gap:var(--space-3,12px);display:flex;overflow:visible}.rtree-height-indicator{width:60px;padding:var(--space-4,16px) 0;flex-direction:column;flex-shrink:0;justify-content:center;align-items:center;display:flex}.rtree-height-arrow{background:linear-gradient(#cb4b16,#cb4b16);flex:1;width:2px;position:relative}.rtree-height-arrow:before,.rtree-height-arrow:after{content:"";border-left:6px solid #0000;border-right:6px solid #0000;position:absolute;left:50%;transform:translate(-50%)}.rtree-height-arrow:before{border-bottom:10px solid #cb4b16;top:0}.rtree-height-arrow:after{border-top:10px solid #cb4b16;bottom:0}.rtree-height-label{margin-top:var(--space-2,8px);color:#cb4b16;text-align:center;white-space:nowrap;font-size:.9rem;font-weight:700}.rtree-tree-area{background:var(--color-bg);flex:1;min-height:410px;overflow:visible}.rtree-tree-area svg{width:100%;height:auto;display:block;overflow:visible}.rtree-node{fill:var(--node-fill);stroke:var(--node-stroke);stroke-width:1.5px;rx:3;ry:3}.rtree-leaf-node{stroke-width:1px}.rtree-node-label{fill:var(--color-fg-surface);text-anchor:middle;dominant-baseline:middle;font-family:Times New Roman,Latin Modern Math,Georgia,serif;font-size:14px}.rtree-math-var{font-style:italic}.rtree-math-num{font-style:normal}.rtree-math-paren{font-style:normal;font-weight:400}.rtree-edge,.rtree-edge-continuation{stroke:var(--edge-stroke);stroke-width:1.5px;fill:none}.rtree-edge-dashed{stroke:var(--edge-stroke);stroke-width:1.5px;stroke-dasharray:4 3;fill:none}.rtree-level-grid-line{stroke:#a6cee3;stroke-width:1.5px;stroke-dasharray:1 4;stroke-linecap:round;opacity:.9}.rtree-cost-label{fill:#1f78b4;text-anchor:start;font-family:Times New Roman,Latin Modern Math,Georgia,serif;font-size:14px}.rtree-cost-label-aligned{text-anchor:end}.rtree-cost-bar-guide{stroke:#1f78b4;stroke-width:1px;opacity:.35}.rtree-cost-bar{fill:#a6cee3;opacity:1}.rtree-ellipsis{fill:var(--color-muted);text-anchor:middle;font-size:24px}.rtree-leaf-ellipsis{fill:var(--color-muted);text-anchor:middle;font-size:18px}.rtree-level-axis-line,.rtree-level-axis-tick{stroke:#cb4b16;stroke-width:2px}.rtree-level-axis-tick-label{fill:#cb4b16;font-family:Times New Roman,Latin Modern Math,Georgia,serif;font-size:12px}.rtree-level-axis-break{stroke:#cb4b16;stroke-width:2px;stroke-linecap:round}.rtree-underbrace{stroke:#859900;stroke-width:2.2px;fill:none;stroke-linecap:round;stroke-linejoin:round}.rtree-level-axis-label{font-size:13px;font-weight:700;font-family:var(--font-sans,system-ui, sans-serif);fill:#cb4b16}.rtree-cost-axis-label{font-size:13px;font-weight:700;font-family:var(--font-sans,system-ui, sans-serif);fill:#1f78b4}.rtree-leaf-count-label{fill:#859900;font-family:Times New Roman,Latin Modern Math,Georgia,serif;font-size:14px}.rtree-total-label{fill:#1f78b4;font-family:Times New Roman,Latin Modern Math,Georgia,serif;font-size:14px}.rtree-brace{stroke:#859900;stroke-width:1.5px;fill:none}.rtree-result-section{margin-top:var(--space-4,16px)}.rtree-result{padding:var(--space-3,12px);background:var(--color-surface);border:1px solid var(--color-border);border-radius:var(--radius-2,4px);color:#073642;font-family:var(--font-sans,system-ui, -apple-system, Segoe UI, Roboto, Helvetica, Arial, sans-serif)}.rtree-result-row{align-items:baseline;gap:var(--space-2,8px);margin-bottom:var(--space-2,8px);display:flex}.rtree-result-label{font-size:1.125rem;font-weight:700}.rtree-result-value{font-family:Times New Roman,Latin Modern Math,Georgia,serif;font-size:1.25rem;font-weight:400}.rtree-master-theorem{gap:var(--space-2,8px);color:inherit;flex-direction:column;font-size:.95rem;display:flex}.rtree-master-label{font-weight:700}.rtree-master-desc{color:inherit}.rtree-mt-statement{background:var(--color-bg);border-radius:var(--radius-2,4px);border:1px solid var(--color-border);color:#586e75;margin-top:8px;padding:8px;line-height:1.4}.rtree-mt-application{margin-top:12px}.rtree-footer{margin-top:var(--space-6,32px);padding-top:var(--space-3,12px);border-top:1px solid var(--color-border)}.rtree-footer p{color:var(--color-muted);margin:0;font-size:.9rem}