: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 rgba(0, 0, 0, .08);--shadow-2: 0 4px 12px rgba(0, 0, 0, .12);--color-bg: #ffffff;--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 rgba(37, 99, 235, .35);--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){*{transition-duration:.001ms!important;animation-duration:.001ms!important;animation-iteration-count:1!important;scroll-behavior:auto!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}*{box-sizing:border-box}html,body{height:100%}body{margin:0;font-family:var( --font-sans, system-ui, -apple-system, Segoe UI, Roboto, Helvetica, Arial, sans-serif );background:var(--color-bg);color:var(--color-fg)}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);font-size:1.125rem;font-weight:700;color:var(--dsa-panel-title-color, #586e75)}.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;display:flex;flex-direction:column;gap:0;align-items:flex-start}.dsa-state-lane--detailed{--dsa-state-label-width: 4.5rem}.dsa-state-row{display:flex;align-items:center;gap:var(--dsa-state-col-gap)}.dsa-state-row--start{align-items:flex-start}.dsa-state-cells{display:grid;grid-auto-flow:column;grid-auto-columns:var(--dsa-state-cell-size);gap:var(--dsa-state-cell-gap)}.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{font-size:.875rem;color:#d33682;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{display:grid;grid-auto-rows:var(--dsa-state-cell-size);align-items:start;justify-items:end;gap:0;min-width:var(--dsa-state-label-width);padding-top:var(--dsa-state-arrow-extension)}.dsa-state-label-stack .dsa-state-label{line-height:var(--dsa-state-cell-size)}.dsa-state-label--spacer{visibility:hidden}.dsa-state-index{font-size:.875rem;color:#d33682;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{position:absolute;left:50%;top:55%;width:0;height:var(--dsa-state-arrow-length);transform:translate(-50%);opacity:.85;pointer-events:none}.dsa-state-tile-arrow:before{content:"";position:absolute;left:50%;top:0;height:calc(100% - 6px);border-left:2px solid #1f78b4;transform:translate(-50%)}.dsa-state-tile-arrow:after{content:"";position:absolute;left:50%;bottom:0;width:0;height:0;transform:translate(-50%);border-left:5px solid transparent;border-right:5px solid transparent;border-top:6px solid #1f78b4}.dsa-state-tile-arrow--empty{opacity:.6}.dsa-state-tile-arrow--empty:before{border-left-color:#93a1a1}.dsa-state-tile-arrow--empty:after{border-top-color:#93a1a1;opacity:.6}.dsa-state-list-cell{width:var(--dsa-state-cell-size);display:flex;flex-direction:column;align-items:center;gap:2px;font-family:var(--font-mono, monospace);font-size:.75rem;color:#586e75}.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{display:flex;flex-direction:column;align-items:center;gap:0;margin-bottom:calc(var(--dsa-state-list-gap) + var(--dsa-state-arrow-extension))}.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);border:1px solid #6a8f3a;background:#b2df8a;display:grid;place-items:center;font-family:var(--font-mono, monospace);font-weight:700;font-size:.875rem;color:#073642;font-variant-numeric:tabular-nums}.dsa-state-pointer-square{width:var(--dsa-state-cell-size);height:var(--dsa-state-cell-size);border-radius:var(--radius-2);border:1px solid #1f78b4;background:#a6cee3;box-sizing:border-box;position:relative;overflow:visible}.dsa-state-pointer-square--null{border-width:2px;border-style:dashed;opacity:.5}.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{transition-duration:.001ms!important;animation-duration:.001ms!important;animation-iteration-count:1!important;scroll-behavior:auto!important}}.isort-var-token,.msort-var-token{cursor:help;text-decoration:underline;text-decoration-style:dotted;text-underline-offset:2px}.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;position:fixed;left:0;top:0;padding:6px 10px;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);font-size:.85rem;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}.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{position:fixed;left:0;top:0;padding:6px 10px;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);font-weight:500;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 rgba(0, 0, 0, .25))}.dsa-condition-box{display:inline-block;padding:0 .3ch;border-radius:2px;box-shadow:none;vertical-align:baseline}.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{display:inline-flex;align-items:center;justify-content:center;margin-left:1ch;width:1.4em;height:1.4em;font-weight:800;text-align:center;-webkit-user-select:none;user-select:none;border-radius:9999px;line-height:1;vertical-align:middle;color:#fdf6e3}.dsa-condition-marker--true{background-color:#33a02c}.dsa-condition-marker--false{background-color:#e31a1c}.dsa-shell[data-v-f5eb164b]{max-width:980px;margin:0 auto;padding:var(--space-5, 24px)}main[data-v-f5eb164b]{display:flex;flex-direction:column;gap:var(--space-4, 16px)}.dsa-skip-link[data-v-f5eb164b]{position:fixed;top:var(--space-2, 8px);left:var(--space-2, 8px);transform:translateY(-150%);padding:6px 10px;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;-webkit-appearance:none;appearance:none}.dsa-skip-link[data-v-f5eb164b]:focus,.dsa-skip-link[data-v-f5eb164b]:focus-visible{transform:translateY(0);opacity:1}.dsa-header[data-v-f5eb164b]{display:flex;align-items:center;justify-content:space-between;gap:var(--space-4, 16px);margin-bottom:var(--space-4, 16px)}.dsa-header-left[data-v-f5eb164b]{display:flex;flex-direction:column;gap:var(--space-2, 8px);flex:1;min-width:0}.dsa-title[data-v-f5eb164b]{margin:0}.dsa-logo[data-v-f5eb164b]{display:flex;align-items:flex-start;justify-content:flex-end;flex-shrink:0;width:16.67%}.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]{margin:0;color:var(--color-muted);font-size:.9rem;text-align:center}.dsa-nav[data-v-66f85d92]{display:flex;gap:var(--space-2, 8px);flex-wrap:wrap;align-items:center}.dsa-nav-button[data-v-66f85d92]{font:inherit;font-weight:700;background-color:#a6cee3;border:1px solid var(--color-border);border-radius:var(--radius-2, 4px);height:29px;padding:0 12px;box-sizing:border-box;display:inline-flex;align-items:center;justify-content:center;cursor:pointer;text-decoration:none;color:#073642;appearance:none;-webkit-appearance:none;-moz-appearance:none;background-image:none}.dsa-nav-button[data-v-66f85d92]:hover{background-color:#a6cee3}.dsa-nav-select[data-v-66f85d92]{font:inherit;background-color:#a6cee3;border:1px solid var(--color-border);border-radius:var(--radius-2, 4px);width:180px;height:29px;padding:0 28px 0 8px;box-sizing:border-box;cursor:pointer;color:#073642;appearance:none;-webkit-appearance:none;-moz-appearance:none;background-image:linear-gradient(45deg,transparent 50%,#073642 50%),linear-gradient(135deg,#073642 50%,transparent 50%);background-position:calc(100% - 14px) 50%,calc(100% - 9px) 50%;background-size:5px 5px,5px 5px;background-repeat:no-repeat}.dsa-visually-hidden[data-v-66f85d92]{position:absolute;width:1px;height:1px;margin:-1px;padding:0;overflow:hidden;clip:rect(0,0,0,0);border:0}.dsa-input-panel{display:flex;flex-direction:column;gap:var(--space-3);padding:var(--space-4);border:1px dashed var(--color-border);border-radius:var(--radius-2);line-height:1.35;background-color:#fdf6e3f2}.dsa-input-title{margin:0 0 .25em;font-size:1.125rem;font-weight:700;color:#586e75;line-height:1.25}.dsa-input-message{min-height:0;font-size:.95rem}.dsa-input-top-row{display:flex;gap:var(--space-3);align-items:stretch;flex-wrap:wrap}.dsa-input-constraints strong{font-size:1rem}.dsa-input-constraints{flex:1 1 250px;padding:var(--space-2);background-color:#eee8d5;border-radius:var(--radius-2);font-size:.9rem;color:#073642;line-height:1.4}.dsa-input-constraints ul{margin:.25em 0 0;padding-left:1.2em}.dsa-input-right-column{flex:1 1 250px;display:flex;flex-direction:column;gap:var(--space-2)}.dsa-input-fieldset{border:none;margin:0;padding:0;display:flex;flex-direction:column;gap:var(--space-1)}.dsa-input-fieldset legend{font-weight:700;margin-bottom:var(--space-1)}.dsa-input-help{margin:0;color:#586e75;font-size:.9rem}.dsa-input-code{font-family:var(--font-mono, monospace)}.dsa-input-row{display:flex;gap:var(--space-2);align-items:center;flex-wrap:wrap}.dsa-input-edit-fieldset{gap:var(--space-2)}.dsa-textarea-wrap{position:relative;width:100%;--dsa-textarea-scrollbar-width: 0px}.dsa-textarea-underlay{position:absolute;top:0;right:var(--dsa-textarea-scrollbar-width, 0px);bottom:0;left:0;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-size:.9rem;font-family:var( --font-mono, ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace )!important;line-height:1.35;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;overflow:hidden;box-sizing:border-box;color:transparent;-webkit-text-fill-color:transparent;pointer-events:none}.dsa-textarea-highlight{background-color:#ffeb3b8c;color:transparent;-webkit-text-fill-color:transparent;padding:0}.dsa-textarea-overlay{position:relative;width:100%;min-height:60px;padding:var(--space-2);border:1px solid transparent;border-radius:var(--radius-2);background-color:transparent;color:#073642;font-size:.9rem;font-family:var( --font-mono, ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace )!important;line-height:1.35;font-kerning:none;font-variant-ligatures:none;font-feature-settings:"liga" 0;letter-spacing:normal;word-spacing:normal;resize:vertical;overflow:auto;box-sizing:border-box;outline:none}.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;width:180px;min-width:180px;max-width:180px;height:29px;box-sizing:border-box;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;height:29px;line-height:29px;padding:0 12px;box-sizing:border-box;display:inline-flex;align-items:center;justify-content:center;background-color:#a6cee3;color:#073642;border:1px solid var(--color-border);border-radius:var(--radius-2);cursor:pointer;appearance:none;-webkit-appearance:none;-moz-appearance:none;background-image:none}.dsa-input-panel input[type=file]::-webkit-file-upload-button{font:inherit;width:180px;min-width:180px;max-width:180px;inline-size:180px;height:29px;line-height:29px;padding:0 12px;box-sizing:border-box;display:inline-flex;align-items:center;justify-content:center;background-color:#a6cee3;color:#073642;border:1px solid var(--color-border);border-radius:var(--radius-2);cursor:pointer;appearance:none;-webkit-appearance:none;-moz-appearance:none;background-image:none}.dsa-input-panel select{min-width:180px;width:180px;max-width:180px;height:29px;text-align:center;text-align-last:center;background-color:#a6cee3;color:#073642;border:1px solid var(--color-border);border-radius:var(--radius-2);padding:0 28px 0 8px;box-sizing:border-box;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;outline:none;appearance:none;-webkit-appearance:none;-moz-appearance:none;background-image:linear-gradient(45deg,transparent 50%,#073642 50%),linear-gradient(135deg,#073642 50%,transparent 50%);background-position:calc(100% - 14px) 50%,calc(100% - 9px) 50%;background-size:5px 5px,5px 5px;background-repeat:no-repeat}.dsa-input-button{width:180px;height:29px;font-family:var( --font-sans, system-ui, -apple-system, Segoe UI, Roboto, Helvetica, Arial, sans-serif );background-color:#a6cee3;color:#073642;border:1px solid var(--color-border);border-radius:var(--radius-2);padding:0 12px;cursor:pointer;outline:none;box-sizing:border-box;display:inline-flex;align-items:center;justify-content:center;appearance:none;-webkit-appearance:none;-moz-appearance:none;background-image:none}.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:transparent;border-color:transparent}.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{position:fixed;top:var(--space-2, 8px);left:var(--space-2, 8px);transform:translateY(-150%);padding:6px 10px;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;-webkit-appearance:none;appearance:none}.rtree-skip-link:focus,.rtree-skip-link:focus-visible{transform:translateY(0);opacity:1}.rtree-container{max-width:980px;margin:0 auto;padding:var(--space-5, 24px)}.rtree-header{display:flex;align-items:center;justify-content:space-between;gap:var(--space-4, 16px);margin-bottom:var(--space-4, 16px)}.rtree-header-left{display:flex;flex-direction:column;gap:var(--space-2, 8px);flex:1;min-width:0}.rtree-header h1{margin:0}.rtree-nav{display:flex;gap:var(--space-2, 8px);flex-wrap:wrap;align-items:center}.rtree-nav-button{font:inherit;font-weight:700;background-color:#a6cee3;border:1px solid var(--color-border);border-radius:var(--radius-2, 4px);height:29px;padding:0 12px;box-sizing:border-box;display:inline-flex;align-items:center;justify-content:center;cursor:pointer;text-decoration:none;color:#073642;appearance:none;-webkit-appearance:none;-moz-appearance:none;background-image:none}.rtree-nav-button:hover{background-color:#a6cee3}.rtree-nav-select{font:inherit;background-color:#a6cee3;border:1px solid var(--color-border);border-radius:var(--radius-2, 4px);width:180px;height:29px;padding:0 28px 0 8px;box-sizing:border-box;cursor:pointer;color:#073642;appearance:none;-webkit-appearance:none;-moz-appearance:none;background-image:linear-gradient(45deg,transparent 50%,#073642 50%),linear-gradient(135deg,#073642 50%,transparent 50%);background-position:calc(100% - 14px) 50%,calc(100% - 9px) 50%;background-size:5px 5px,5px 5px;background-repeat:no-repeat}.rtree-logo{display:flex;align-items:flex-start;justify-content:flex-end;flex-shrink:0;width:16.67%}.rtree-logo img{width:100%;height:auto}.visually-hidden{position:absolute;width:1px;height:1px;margin:-1px;padding:0;overflow:hidden;clip:rect(0,0,0,0);border:0}.rtree-playback-controls{margin:var(--space-3, 12px) 0 var(--space-4, 16px) 0}.rtree-formula{font-size:1.125rem;font-family:Times New Roman,"Latin Modern Math",Georgia,serif;font-weight:400;margin:var(--space-2, 8px) 0 var(--space-1, 4px) 0}.rtree-examples-line{font-size:.875rem;font-family:var(--font-sans, system-ui, sans-serif);font-style:italic;color:var(--color-fg, #586e75);margin:0}.rtree-about-box{flex:1 1 250px;padding:var(--space-2, 8px);background-color:var(--color-surface, #eee8d5);border-radius:var(--radius-2, 4px);font-size:.9rem;color:var(--color-fg-surface, #073642);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{font-family:Times New Roman,"Latin Modern Math",Georgia,serif;white-space:nowrap}.rtree-inline-math{font-family:Times New Roman,"Latin Modern Math",Georgia,serif}.rtree-nowrap{white-space:nowrap}.rtree-math-select{font-family:Times New Roman,"Latin Modern Math",Georgia,serif;color:var(--color-fg, #586e75)}.rtree-fieldset-legend{font-weight:700;margin-bottom:var(--space-1, 4px);color:var(--color-fg, #586e75)}.rtree-edit-controls{display:flex;flex-wrap:wrap;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)}.rtree-control-group{display:flex;flex-direction:column;gap:var(--space-1, 4px)}.rtree-control-group label{font-size:.875rem;font-weight:700;color:var(--color-fg-surface, #073642)}.rtree-control-group select,.rtree-control-group input{padding:4px 8px;border:1px solid var(--color-border);border-radius:var(--radius-2, 4px);background:var(--color-bg);font:inherit;color:var(--color-fg, #586e75)}.rtree-diagram-note{font-size:.9rem;font-family:var(--font-sans, system-ui, sans-serif);font-style:italic;color:var(--color-fg, #586e75);margin:0 0 var(--space-3, 12px) 0}.rtree-visualization-section{margin-bottom:var(--space-4, 16px)}.rtree-tree-container{display:flex;gap:var(--space-3, 12px);overflow:visible}.rtree-height-indicator{display:flex;flex-direction:column;align-items:center;justify-content:center;width:60px;flex-shrink:0;padding:var(--space-4, 16px) 0}.rtree-height-arrow{width:2px;flex:1;background:linear-gradient(to bottom,#cb4b16,#cb4b16);position:relative}.rtree-height-arrow:before,.rtree-height-arrow:after{content:"";position:absolute;left:50%;transform:translate(-50%);border-left:6px solid transparent;border-right:6px solid transparent}.rtree-height-arrow:before{top:0;border-bottom:10px solid #cb4b16}.rtree-height-arrow:after{bottom:0;border-top:10px solid #cb4b16}.rtree-height-label{margin-top:var(--space-2, 8px);font-size:.9rem;font-weight:700;color:#cb4b16;text-align:center;white-space:nowrap}.rtree-tree-area{flex:1;min-height:410px;background:var(--color-bg);overflow:visible}.rtree-tree-area svg{display:block;width:100%;height:auto;overflow:visible}.rtree-node{fill:var(--node-fill);stroke:var(--node-stroke);stroke-width:1.5;rx:3;ry:3}.rtree-leaf-node{stroke-width:1}.rtree-node-label{font-size:14px;font-family:Times New Roman,"Latin Modern Math",Georgia,serif;fill:var(--color-fg-surface);text-anchor:middle;dominant-baseline:middle}.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.5;fill:none}.rtree-edge-dashed{stroke:var(--edge-stroke);stroke-width:1.5;stroke-dasharray:4 3;fill:none}.rtree-level-grid-line{stroke:#a6cee3;stroke-width:1.5;stroke-dasharray:1 4;stroke-linecap:round;opacity:.9}.rtree-cost-label{font-size:14px;font-family:Times New Roman,"Latin Modern Math",Georgia,serif;fill:#1f78b4;text-anchor:start}.rtree-cost-label-aligned{text-anchor:end}.rtree-cost-bar-guide{stroke:#1f78b4;stroke-width:1;opacity:.35}.rtree-cost-bar{fill:#a6cee3;opacity:1}.rtree-ellipsis{font-size:24px;fill:var(--color-muted);text-anchor:middle}.rtree-leaf-ellipsis{font-size:18px;fill:var(--color-muted);text-anchor:middle}.rtree-level-axis-line,.rtree-level-axis-tick{stroke:#cb4b16;stroke-width:2}.rtree-level-axis-tick-label{font-size:12px;font-family:Times New Roman,"Latin Modern Math",Georgia,serif;fill:#cb4b16}.rtree-level-axis-break{stroke:#cb4b16;stroke-width:2;stroke-linecap:round}.rtree-underbrace{stroke:#859900;stroke-width:2.2;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{font-size:14px;font-family:Times New Roman,"Latin Modern Math",Georgia,serif;fill:#859900}.rtree-total-label{font-size:14px;font-family:Times New Roman,"Latin Modern Math",Georgia,serif;fill:#1f78b4}.rtree-brace{stroke:#859900;stroke-width:1.5;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{display:flex;align-items:baseline;gap:var(--space-2, 8px);margin-bottom:var(--space-2, 8px)}.rtree-result-label{font-weight:700;font-size:1.125rem}.rtree-result-value{font-size:1.25rem;font-family:Times New Roman,"Latin Modern Math",Georgia,serif;font-weight:400}.rtree-master-theorem{display:flex;flex-direction:column;gap:var(--space-2, 8px);font-size:.95rem;color:inherit}.rtree-master-label{font-weight:700}.rtree-master-desc{color:inherit}.rtree-mt-statement{margin-top:8px;background:var(--color-bg);padding:8px;border-radius:var(--radius-2, 4px);border:1px solid var(--color-border);line-height:1.4;color:#586e75}.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{margin:0;color:var(--color-muted);font-size:.9rem}