._button-root_cdo8y_1{display:inline-flex;align-items:center;justify-content:center;gap:.5rem;padding-inline:1rem;min-height:2.5rem;min-width:2.5rem;font-size:.875rem;font-weight:500;font-family:inherit;line-height:1.25rem;border-radius:.375rem;-webkit-user-select:none;user-select:none;white-space:nowrap;transition:background .15s,border-color .15s,color .15s;cursor:pointer;background:transparent;border:1px solid var(--demo-border-emphasized);color:var(--demo-neutral-fg)}._button-root_cdo8y_1 svg{flex-shrink:0;width:1em;height:1em}._button-root_cdo8y_1:has(>svg:only-child){padding-inline:.625rem!important}._button-root_cdo8y_1:is(:hover,[aria-expanded=true]):not(:disabled,[data-disabled]){background:var(--demo-neutral-subtle)}._button-root_cdo8y_1:focus-visible{outline:2px solid var(--demo-coral-focus-ring);outline-offset:-1px}._button-root_cdo8y_1:is(:disabled,[data-disabled]){opacity:.5;filter:grayscale(100%);cursor:default}._button-root_cdo8y_1[data-variant=surface]{border-color:var(--demo-border-emphasized);color:var(--demo-coral-fg)}._button-root_cdo8y_1[data-variant=solid]{background:var(--demo-coral-solid);border-color:var(--demo-coral-solid);color:var(--demo-coral-contrast)}._button-root_cdo8y_1[data-variant=solid]:hover{background:var(--demo-coral-fg);border-color:var(--demo-coral-fg)}._button-root_cdo8y_1[data-variant=solid]:focus-visible{outline-offset:2px}._splitter-root_fdlh6_1{--splitter-border-color: var(--demo-border-emphasized);--splitter-thumb-color: var(--demo-bg-thumb);--splitter-thumb-size: .5rem;--splitter-thumb-inset: calc(var(--splitter-thumb-size) * -.5);--splitter-border-size: 1px;display:flex;border:1px solid var(--demo-border)}._splitter-panel_fdlh6_12{display:flex;flex-direction:column}._splitter-resize-trigger_fdlh6_17{outline:0;display:grid;place-items:center;position:relative;background:transparent;border:none;padding:0;cursor:col-resize}._splitter-resize-trigger_fdlh6_17[data-orientation=horizontal]{min-width:var(--splitter-thumb-size);margin-inline:var(--splitter-thumb-inset);cursor:col-resize}._splitter-resize-trigger_fdlh6_17[data-orientation=vertical]{min-height:var(--splitter-thumb-size);margin-block:var(--splitter-thumb-inset);cursor:row-resize}._splitter-resize-trigger_fdlh6_17:focus{--splitter-border-color: var(--demo-coral-emphasized);--splitter-thumb-color: var(--demo-coral-solid)}._splitter-resize-trigger_fdlh6_17[data-dragging]{--splitter-border-color: var(--demo-coral-emphasized);--splitter-thumb-color: var(--demo-coral-solid)}._splitter-resize-trigger_fdlh6_17[data-disabled]{cursor:default}._splitter-resize-trigger_fdlh6_17:before{content:"";position:absolute;background:var(--splitter-border-color)}._splitter-resize-trigger_fdlh6_17[data-orientation=horizontal]:before{inset-block:0;inset-inline-start:auto;width:var(--splitter-border-size);transition:width ease-out .15s;will-change:width}._splitter-resize-trigger_fdlh6_17[data-orientation=vertical]:before{inset-inline:0;inset-block-start:auto;height:var(--splitter-border-size);transition:height ease-out .15s;will-change:height}._splitter-resize-trigger_fdlh6_17[data-orientation=horizontal]:focus:before,._splitter-resize-trigger_fdlh6_17[data-orientation=horizontal][data-dragging]:before{width:calc(var(--splitter-border-size) * 3);z-index:99999}._splitter-resize-trigger_fdlh6_17[data-orientation=vertical]:focus:before,._splitter-resize-trigger_fdlh6_17[data-orientation=vertical][data-dragging]:before{height:calc(var(--splitter-border-size) * 3);z-index:99999}._menu-trigger_14yuz_1{display:inline-flex;align-items:center;justify-content:center;gap:.25rem;padding-inline:1rem;padding-block:.5rem;font-size:.875rem;font-weight:500;font-family:inherit;line-height:1.25rem;border-radius:.375rem;-webkit-user-select:none;user-select:none;white-space:nowrap;transition:background .15s,border-color .15s,color .15s;background:transparent;border:1px solid var(--demo-border-emphasized);color:var(--demo-neutral-fg)}._menu-trigger_14yuz_1:is(:hover,[data-state=open]):not(:disabled,[data-disabled]){background:var(--demo-neutral-subtle)}._menu-trigger_14yuz_1:focus-visible{outline:2px solid var(--demo-coral-focus-ring);outline-offset:-1px}._menu-trigger_14yuz_1:is(:disabled,[data-disabled]){opacity:.5;filter:grayscale(100%)}._menu-indicator_14yuz_40{display:inline-flex;align-items:center;justify-content:center}._menu-indicator_14yuz_40 svg{width:1rem;height:1rem}._menu-context-trigger_14yuz_51{display:flex;align-items:center;justify-content:center;width:15rem;height:12rem;font-size:.875rem;border:1px dashed var(--demo-border-emphasized);border-radius:.375rem;-webkit-user-select:none;user-select:none}._menu-content_14yuz_63{--arrow-size: 10px;position:relative;display:flex;flex-direction:column;padding:.25rem;min-width:max(var(--reference-width, 0rem),14rem);max-height:var(--available-height, 300px);background:var(--demo-bg-popover);border:1px solid var(--demo-border-emphasized);border-radius:.375rem;box-shadow:var(--demo-shadow-md);z-index:calc(var(--demo-popover-z-index) + var(--layer-index, 0));outline:none;transform-origin:var(--transform-origin);overflow:auto}._menu-content_14yuz_63[data-state=open]{animation:_menu-enter_14yuz_1 .15s ease-out}._menu-content_14yuz_63[data-state=closed]{animation:_menu-exit_14yuz_1 .1s ease-in}.cm-tooltip-above ._menu-content_14yuz_63[data-state=open]{animation:_menu-enter-above_14yuz_1 .15s ease-out}.cm-tooltip-above ._menu-content_14yuz_63[data-state=closed]{animation:_menu-exit-above_14yuz_1 .1s ease-in}._menu-arrow_14yuz_100{--arrow-background: var(--demo-bg-popover);--arrow-shadow-color: var(--demo-border-emphasized);z-index:-1}._menu-arrow-tip_14yuz_106{border-top:1px solid var(--demo-border-emphasized);border-left:1px solid var(--demo-border-emphasized)}._menu-item-group_14yuz_111{display:flex;flex-direction:column}._menu-item-group_14yuz_111+._menu-item-group_14yuz_111{margin-top:.5rem}._menu-item-group-label_14yuz_120{padding:.375rem .5rem;font-size:.75rem;font-weight:600;color:var(--demo-neutral-emphasized);text-transform:uppercase;letter-spacing:.025em}._menu-item_14yuz_111{flex:0 0 auto;display:flex;align-items:center;gap:.5rem;min-height:1.75rem;padding-inline:.725rem;padding-block:.25rem;font-size:.875rem;line-height:1.25rem;border-radius:.25rem;-webkit-user-select:none;user-select:none;outline:none;color:var(--demo-neutral-fg);text-decoration:none}._menu-item_14yuz_111[data-highlighted]{background:var(--demo-neutral-subtle)}._menu-item_14yuz_111[data-disabled]{color:var(--demo-neutral-emphasized);opacity:.5}._menu-trigger-item_14yuz_156{display:flex;align-items:center;justify-content:space-between;gap:.5rem;padding:.5rem;font-size:.875rem;line-height:1.25rem;border-radius:.25rem;-webkit-user-select:none;user-select:none;outline:none}._menu-trigger-item_14yuz_156[data-highlighted]{background:var(--demo-neutral-subtle)}._menu-trigger-item_14yuz_156:after{content:"›";font-size:1rem;color:var(--demo-neutral-emphasized)}._menu-checkbox-item_14yuz_180,._menu-radio-item_14yuz_181{display:flex;align-items:center;gap:.5rem;padding:.5rem;font-size:.875rem;line-height:1.25rem;border-radius:.25rem;-webkit-user-select:none;user-select:none;outline:none}:is(._menu-checkbox-item_14yuz_180,._menu-radio-item_14yuz_181)[data-highlighted]{background:var(--demo-neutral-subtle)}:is(._menu-checkbox-item_14yuz_180,._menu-radio-item_14yuz_181)[data-state=checked]{color:var(--demo-coral-fg)}:is(._menu-checkbox-item_14yuz_180,._menu-radio-item_14yuz_181)[data-disabled]{color:var(--demo-neutral-emphasized);opacity:.5}._menu-item-text_14yuz_208{flex:1;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}._menu-item-indicator_14yuz_215{display:flex;align-items:center;justify-content:center;color:var(--demo-coral-solid);flex-shrink:0;width:1rem;height:1rem}._menu-item-indicator_14yuz_215 svg{width:.875rem;height:.875rem}._menu-separator_14yuz_230{flex:0 0 auto;height:1px;margin-block:.25rem;border:0;background:var(--demo-border)}@keyframes _menu-enter_14yuz_1{0%{opacity:0;transform:translateY(4px)}to{opacity:1;transform:translate(0)}}@keyframes _menu-exit_14yuz_1{0%{opacity:1;transform:translate(0)}to{opacity:0;transform:translateY(4px)}}@keyframes _menu-enter-above_14yuz_1{0%{opacity:0;transform:translateY(-4px)}to{opacity:1;transform:translate(0)}}@keyframes _menu-exit-above_14yuz_1{0%{opacity:1;transform:translate(0)}to{opacity:0;transform:translateY(-4px)}}.menu-item.svelte-llj7tz{display:flex;justify-content:space-between;width:100%;gap:1.25em}.menu-item.svelte-llj7tz>.label:where(.svelte-llj7tz){flex:1 0;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.menu-item.svelte-llj7tz>.shortcut:where(.svelte-llj7tz){flex:0 0 auto;font-family:var(--font-monospace, monospace);opacity:.7}.container.svelte-169c2if{display:flex;padding:.2em 8px;font-size:.8rem;gap:8px;align-items:end}.left.svelte-169c2if{flex:1 1 0;white-space:pre-wrap}.left.monospace.svelte-169c2if{font-family:var(--font-monospace, monospace)}.left.error.svelte-169c2if{color:var(--fg-error, red)}.right.svelte-169c2if{flex:0 0 auto}.lhs.svelte-1xr3fuw{display:inline-block;text-align:right}.interaction-point-id.svelte-1xr3fuw{color:var(--agda-interaction-point-id, #29CC29)}.constraint-name.svelte-1xr3fuw{color:var(--agda-constraint-name, #ff9932)}.ranges.svelte-1xr3fuw{margin-left:1em;font-size:.75em;color:#999}.colon.svelte-1xr3fuw{white-space:pre}.section-title.svelte-6h0s4w{font-weight:600;margin-top:1em}.rewrite.svelte-6h0s4w{font-size:.75em;margin-left:1em}.orig-name.svelte-6h0s4w{font-weight:700}.nis.svelte-6h0s4w{font-style:italic;padding-left:1em}.blue.svelte-6h0s4w{color:#8080ff}.green.svelte-6h0s4w{color:#29cc29}code.svelte-6h0s4w,pre.svelte-1ofc6xs,code.svelte-1ofc6xs{white-space:pre-wrap}.error.svelte-1ofc6xs{color:var(--fg-error, #D14D41);font-weight:700}.warning.svelte-1ofc6xs{color:var(--fg-warning, #EC8B49);font-weight:700}.code.svelte-1ofc6xs{color:var(--fg-primary, white);font-weight:700}.range.svelte-1ofc6xs{text-decoration:underline}svg.svelte-1xqf06v{display:inline-block;width:1em;height:1em;vertical-align:middle}svg.svelte-1xqf06v>text:where(.svelte-1xqf06v){text-anchor:middle;dominant-baseline:middle;font-size:38px;-webkit-user-select:none;user-select:none}.container.svelte-1uha8ag{height:100vh;width:100vw}.main-panel.svelte-1uha8ag{display:flex;flex-direction:column;width:100%;height:100%}.header.svelte-1uha8ag{flex:0 0 45px;padding:8px;border-bottom:1px solid #dad9d6;border-bottom:1px solid light-dark(#dad9d6,#333);font-family:JuliaMono,monospace;color:#343331;color:light-dark(#343331,#CECDC3);background:#f2f0e5;background:light-dark(#F2F0E5,#282726);letter-spacing:1px;display:flex;gap:2em;align-items:center}.menu.svelte-1uha8ag{display:flex;gap:.5em;flex:1}.titlebar-button.svelte-1uha8ag{display:block;width:36px;height:28px;font-size:1rem;min-height:0}.titlebar-button.status-button.svelte-1uha8ag{margin-left:auto;max-width:28px;font-size:26px;line-height:26px;padding:0;background:canvas;border:1px solid ButtonBorder;border-radius:4px}.editor.svelte-1uha8ag{flex:1 1;min-height:0}.side-panel.svelte-1uha8ag{padding:8px;overflow:auto}.side-panel.svelte-1uha8ag h2:where(.svelte-1uha8ag){margin:2rem 0 .5rem;border-left:4px solid #888;padding:.25rem 0 .25rem 16px;font-size:1.5rem;font-weight:500;background:#8881}.side-panel.svelte-1uha8ag .error:where(.svelte-1uha8ag){margin:0;padding:.5em 0}.side-panel.svelte-1uha8ag .error:where(.svelte-1uha8ag)>h2:where(.svelte-1uha8ag){margin-top:0;border-left-color:#c03e35}.side-panel.svelte-1uha8ag h2.goal-info:where(.svelte-1uha8ag){border-left-color:#205ea6;color:light-dark(#205EA6,#ABCFE2)}.side-panel.svelte-1uha8ag h2.type-checked:where(.svelte-1uha8ag){border-left-color:#66800b}.side-panel.svelte-1uha8ag .error:where(.svelte-1uha8ag) .code{color:#c03e35}.info-stack.svelte-1uha8ag{font-family:var(--font-monospace, monospace);display:flex;flex-direction:column;font-size:.75rem;gap:4px}.diagnostics.svelte-1uha8ag{font-size:.75rem;padding-left:1.5rem;color:light-dark(#444,#ccc);--fg-primary: light-dark(#111, #fff)}.goals.svelte-1uha8ag{display:grid;grid-template-columns:auto auto 1fr auto;row-gap:.5rem;line-height:1.5}.goals.svelte-1uha8ag .goal:where(.svelte-1uha8ag){display:grid;grid-column:1 / -1;grid-template-columns:subgrid}.goals.svelte-1uha8ag .current:where(.svelte-1uha8ag){background:#9f9d9633;background:rgb(from highlight r g b / .3)}.goals.svelte-1uha8ag .goal:where(.svelte-1uha8ag) .ranges{align-self:end;min-width:0;text-align:right}