@theoremjs/studio 0.3.4-next.385.ga3608be → 0.3.4-next.387.g8bea7ff

package/page/assets/index-IqWID6Mh.css

@@ -1 +0,0 @@
-.map-token{white-space:nowrap;position:absolute;translate:0 -50%}.map-line{fill:none;stroke:var(--color-border-emphasized);stroke-width:1.5px}.read-map{position:absolute;inset:0;overflow:hidden}.read-map-lines{pointer-events:none;position:absolute;inset:0 auto auto 0}.read-map-line{stroke-dasharray:1;stroke-dashoffset:1px;animation:read-map-line-in var(--duration-medium,.24s) var(--ease-standard,ease-out) forwards}.read-map-dot{fill:var(--color-text-secondary);animation:read-map-in var(--duration-fast,.12s) var(--ease-standard,ease-out) both}.read-map-node{animation:read-map-in var(--duration-medium,.24s) var(--ease-standard,ease-out) both}.read-map-foot{inset:auto var(--spacing-4) var(--spacing-4) var(--spacing-4);justify-content:space-between;gap:16px;display:flex;position:absolute}@keyframes read-map-line-in{to{stroke-dashoffset:0}}@keyframes read-map-in{0%{opacity:0}}.theorem-mark{--mark-delay:40ms;--mark-draw:.7s;--mark-draw-late:.64s;--mark-stagger:.22s;--mark-dot-at:.82s;--mark-dot-in:.24s;width:72px;height:72px;display:block}.theorem-mark-stroke{animation-name:theorem-mark-draw;animation-duration:var(--mark-draw);animation-timing-function:cubic-bezier(.45,.02,.15,1);animation-delay:var(--mark-delay);animation-fill-mode:forwards}.theorem-mark-stroke-late{animation-duration:var(--mark-draw-late);animation-delay:calc(var(--mark-delay) + var(--mark-stagger))}.theorem-mark-dot{transform-box:fill-box;transform-origin:50%;animation:theorem-mark-dot-in var(--mark-dot-in) cubic-bezier(.16, 1, .3, 1) calc(var(--mark-delay) + var(--mark-dot-at)) forwards;transform:scale(0)}@keyframes theorem-mark-draw{0%{opacity:0;stroke-dashoffset:1px}12%{opacity:1;stroke-dashoffset:.82px}to{opacity:1;stroke-dashoffset:0}}@keyframes theorem-mark-dot-in{0%{opacity:0;transform:scale(0)}to{opacity:1;transform:scale(1)}}@media (prefers-reduced-motion:reduce){.theorem-mark-stroke,.theorem-mark-dot{transition:none;animation:none}.theorem-mark-stroke{stroke-dashoffset:0;opacity:1}.theorem-mark-dot{opacity:1;transform:none}}[data-boot] .theorem-mark{--mark-delay:.24s;--mark-draw:.62s;--mark-draw-late:.56s;--mark-stagger:.2s;--mark-dot-at:.78s;--mark-dot-in:.22s}[data-boot]{z-index:2;color:#fff;background:#262626;place-items:center;display:grid;position:absolute;inset:0}[data-boot]:not([data-phase=draw]){background:0 0}@media (width>=768px){html[data-shell-move] [data-boot]:not([data-phase=draw]){inset:var(--spacing-4) var(--spacing-4) var(--spacing-4) var(--spacing-12)}}[data-boot] .read-map{transition:opacity var(--shell-hold-ms) ease}[data-boot][data-phase=leave] .read-map{opacity:0}.boot-said{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}:root{--color-ink:#000;--color-paper:#f7f5f0;--color-paper-bright:#fff;--color-mute:#464646;--ink-ease:cubic-bezier(.22, 1, .36, 1);--ink-duration:.3s}.run-page{overscroll-behavior:none;flex-direction:column;height:100%;min-height:0;display:flex;position:relative;overflow:hidden}.run-controls{justify-content:flex-end;align-items:center;gap:var(--spacing-2);padding:var(--spacing-4);flex:none;display:flex}.run-page>:not(.run-controls),.run-page>.astryx-layout,.run-page>div>.astryx-layout,.run-chat{flex:1;min-height:0}.run-chat>div>.astryx-layout-header:not(:has(button)){display:none}.run-page>.astryx-layout>div>.astryx-layout-header:not(:has(button)){display:none}.run-page>div>.astryx-layout>div>.astryx-layout-header:not(:has(button)){display:none}@media (prefers-reduced-motion:no-preference){.run-page .theorem-console-request{animation:theorem-console-request var(--duration-medium) var(--ease-standard)}.run-page .theorem-console-response{animation:theorem-console-response var(--duration-medium) var(--ease-standard)}}@keyframes theorem-console-request{0%{translate:75%}}@keyframes theorem-console-response{0%{translate:100%}}[role=main]:has(.run-page){overflow:hidden}.studio-fill{width:100%;height:100%}.scrollbar-none{scrollbar-width:none}.criterion-label{flex:0 0 38%;min-width:0}.studio-tree-row{position:relative}.studio-tree-action{inset-inline-end:var(--spacing-1);opacity:0;transition:opacity var(--duration-fast) var(--ease-standard);display:inline-flex;position:absolute;top:50%;translate:0 -50%}.studio-tree-row:hover .studio-tree-action{opacity:1}.studio-tree-row:has(:focus-visible) .studio-tree-action{opacity:1}@media (hover:none){.studio-tree-action{opacity:1}.studio-tree-row>button:not([data-tree-toggle]){-webkit-mask-image:linear-gradient(to left, transparent var(--spacing-6), #000 var(--spacing-10));mask-image:linear-gradient(to left, transparent var(--spacing-6), #000 var(--spacing-10))}}.studio-tree-row:is(:hover,:has(:focus-visible))>button:not([data-tree-toggle]){-webkit-mask-image:linear-gradient(to left, transparent var(--spacing-6), #000 var(--spacing-10));mask-image:linear-gradient(to left, transparent var(--spacing-6), #000 var(--spacing-10))}.studio-tree-row:has(.studio-tree-action>:nth-child(2)):is(:hover,:has(:focus-visible))>button:not([data-tree-toggle]){-webkit-mask-image:linear-gradient(to left, transparent calc(var(--spacing-6) + var(--spacing-8)), #000 calc(var(--spacing-10) + var(--spacing-8)));mask-image:linear-gradient(to left, transparent calc(var(--spacing-6) + var(--spacing-8)), #000 calc(var(--spacing-10) + var(--spacing-8)))}.inspector-list span:has(>.astryx-badge){flex-wrap:nowrap;min-width:0}.inspector-set-in-code{opacity:.75;pointer-events:none;border:0;min-inline-size:0;margin:0;padding:0}.inspector-set-in-code .inspector-set-in-code{opacity:1}.inspector-origin{background:var(--color-background-muted);border-radius:var(--radius-element);color:var(--color-text-secondary);font-size:var(--text-supporting-size);align-items:center;gap:var(--spacing-1);line-height:var(--text-supporting-leading);min-width:0;padding-block:var(--spacing-1);padding-inline:var(--spacing-2);display:flex}.inspector-origin-trigger{min-width:0;display:flex}button.inspector-origin{cursor:pointer;text-align:start;border:0;width:100%;font-family:inherit}button.inspector-origin:hover{color:var(--color-text-primary)}.inspector-origin-text{text-overflow:ellipsis;white-space:nowrap;flex:1;min-width:0;overflow:hidden}.studio-tree-off{color:var(--color-text-secondary)}@media (prefers-reduced-motion:reduce){.studio-tree-action{transition:none}}.studio-phone{display:none}@media (width<768px){.studio-phone{display:contents}.studio-frame{position:relative}.studio-frame .studio-side{flex:auto;width:100%;max-width:none}.studio-frame .studio-side-handle,.studio-frame .studio-tree,.studio-frame .studio-preview{display:none}.studio-frame.studio-tree-open .studio-tree,.studio-frame.studio-preview-open .studio-preview{z-index:2;width:100%;display:flex;position:absolute;inset:0}.studio-frame.studio-tree-open .studio-tree{background:var(--color-background-surface)}.studio-frame.studio-preview-open .studio-preview{background:var(--color-background-body)}.studio-frame.studio-tree-open .studio-tree>*{width:100%}}.studio-map-pane{border-inline-start:1px solid var(--color-border);min-width:0}@media (width>=768px){.studio-frame:is(.studio-map-open,.studio-settings-open) .studio-side{flex:auto;width:100%;max-width:none}.studio-frame.studio-map-open .studio-view{flex:0 0 var(--studio-view-width,24rem);width:var(--studio-view-width,24rem);min-width:0}.studio-frame:is(.studio-map-open,.studio-settings-open) .studio-side-handle,.studio-frame:is(.studio-map-open,.studio-settings-open) .studio-preview{display:none}}@media (width<768px){.studio-frame .studio-map-handle{display:none}.studio-frame .studio-map-pane{z-index:2;background:var(--color-background-surface);border-inline-start:0;width:100%;position:absolute;inset:0}}.editor-page{animation:editor-page-enter var(--duration-fast) var(--ease-standard)}@keyframes editor-page-enter{0%{opacity:0}}@media (prefers-reduced-motion:reduce){.editor-page{animation:none}}@media (hover:hover){.row-reveal{opacity:0;transition:opacity var(--duration-fast) var(--ease-standard)}.astryx-list-item:hover .row-reveal,.astryx-list-item:focus-within .row-reveal{opacity:1}}.studio-diff{border:1px solid var(--color-border);border-radius:var(--radius-element);min-width:0;font-family:var(--font-family-code);font-size:var(--font-size-xs);margin:0;line-height:1.6;overflow:hidden}.studio-diff-head{justify-content:space-between;align-items:center;gap:var(--spacing-3);padding:var(--spacing-1) var(--spacing-3);border-bottom:1px solid var(--color-border);background:var(--color-background-muted);color:var(--color-text-secondary);display:flex}.studio-diff-title{text-overflow:ellipsis;white-space:nowrap;min-width:0;overflow:hidden}.studio-diff-sides{column-gap:var(--spacing-4);flex-wrap:wrap;min-width:0;display:flex}.studio-diff-count{gap:var(--spacing-2);font-variant-numeric:tabular-nums;flex:none;display:flex}.studio-diff-head [data-sign=\-]{color:var(--color-text-red)}.studio-diff-head [data-sign=\+]{color:var(--color-text-green)}.studio-diff-lines{padding-block:var(--spacing-1);grid-template-columns:repeat(2,max-content) minmax(max-content,1fr);display:grid;overflow:auto}.studio-diff[data-wrapped=true] .studio-diff-lines{grid-template-columns:repeat(2,max-content) minmax(0,1fr)}.studio-diff-line{grid-column:1/-1;grid-template-columns:subgrid;display:grid}.studio-diff-line[data-sign=\-]{background:var(--color-background-red)}.studio-diff-line[data-sign=\+]{background:var(--color-background-green)}.studio-diff-number,.studio-diff-sign{padding-inline:var(--spacing-2);color:var(--color-text-secondary);text-align:end;-webkit-user-select:none;user-select:none}.studio-diff-sign{text-align:center;grid-column:2}.studio-diff-line[data-sign=\-] .studio-diff-sign{color:var(--color-text-red)}.studio-diff-line[data-sign=\+] .studio-diff-sign{color:var(--color-text-green)}.studio-diff-line code{font:inherit;white-space:pre;grid-column:3;padding-inline-end:var(--spacing-3);transition:opacity .12s}.studio-diff[data-wrapped=true] .studio-diff-line code{white-space:pre-wrap;overflow-wrap:anywhere}.studio-diff[data-kept=\+] .studio-diff-line[data-sign=\-] code,.studio-diff[data-kept=\-] .studio-diff-line[data-sign=\+] code{opacity:.55;text-decoration:line-through}@media (prefers-reduced-motion:reduce){.studio-diff-line code{transition:none}}.save-file{z-index:1;padding-block:var(--spacing-1);background:var(--color-background-surface);position:sticky;top:0}.theorem-panel-scroll [data-scroll-content]:not(#\#):not(#\#):not(#\#):not(#\#){min-height:auto}@media (width<768px){[role=main]{width:calc(100% - 2 * var(--spacing-4));margin-inline-start:var(--spacing-4)}}dialog:modal{inset:var(--shell-top,0px) var(--shell-right,0px) var(--shell-bottom,0px) var(--shell-left,0px)}@font-face{font-family:Figtree;font-style:normal;font-display:swap;font-weight:400;src:url(/studio/assets/figtree-latin-400-normal-g7Dtegnw.woff2)format("woff2"),url(/studio/assets/figtree-latin-400-normal-BD4aNku5.woff)format("woff");ascent-override:90%;descent-override:30%;line-gap-override:0%}@font-face{font-family:Figtree;font-style:normal;font-display:swap;font-weight:500;src:url(/studio/assets/figtree-latin-500-normal-BWnGEVsr.woff2)format("woff2"),url(/studio/assets/figtree-latin-500-normal-B_yy1phn.woff)format("woff");ascent-override:90%;descent-override:30%;line-gap-override:0%}@font-face{font-family:Figtree;font-style:normal;font-display:swap;font-weight:600;src:url(/studio/assets/figtree-latin-600-normal-Cv_xCTDl.woff2)format("woff2"),url(/studio/assets/figtree-latin-600-normal-BM_oTo4n.woff)format("woff");ascent-override:90%;descent-override:30%;line-gap-override:0%}@font-face{font-family:Figtree;font-style:normal;font-display:swap;font-weight:700;src:url(/studio/assets/figtree-latin-700-normal-th6qEP7c.woff2)format("woff2"),url(/studio/assets/figtree-latin-700-normal-BCCt2T1q.woff)format("woff");ascent-override:90%;descent-override:30%;line-gap-override:0%}@layer reset{@scope([data-astryx-theme=theorem-studio]) to ([data-astryx-theme]){:where(h1,h2,h3,h4,h5,h6){font-family:var(--font-family-heading);color:var(--color-text-primary)}:where(h1){font-size:var(--text-heading-1-size);font-weight:var(--text-heading-1-weight);line-height:var(--text-heading-1-leading)}:where(h2){font-size:var(--text-heading-2-size);font-weight:var(--text-heading-2-weight);line-height:var(--text-heading-2-leading)}:where(h3){font-size:var(--text-heading-3-size);font-weight:var(--text-heading-3-weight);line-height:var(--text-heading-3-leading)}:where(h4){font-size:var(--text-heading-4-size);font-weight:var(--text-heading-4-weight);line-height:var(--text-heading-4-leading)}:where(h5){font-size:var(--text-heading-5-size);font-weight:var(--text-heading-5-weight);line-height:var(--text-heading-5-leading)}:where(h6){font-size:var(--text-heading-6-size);font-weight:var(--text-heading-6-weight);line-height:var(--text-heading-6-leading)}:where(p){font-family:var(--font-family-body);font-size:var(--text-body-size);font-weight:var(--text-body-weight);line-height:var(--text-body-leading);color:var(--color-text-primary)}:where(small){font-size:var(--text-supporting-size);font-weight:var(--text-supporting-weight);line-height:var(--text-supporting-leading);color:var(--color-text-secondary)}:where(code,pre){font-family:var(--font-family-code);font-size:var(--text-code-size);line-height:var(--text-code-leading)}:where(hr){border:none;border-top:1px solid var(--color-border)}}}@layer astryx-base;@layer astryx-theme{:root{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light dark}@media (prefers-color-scheme:dark){:root{--lightningcss-light: ;--lightningcss-dark:initial}}html[data-theme=light]{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}html[data-theme=dark]{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}@scope([data-astryx-theme=theorem-studio]) to ([data-astryx-theme]){:scope{--font-size-4xs:.375rem;--font-size-3xs:.4375rem;--font-size-2xs:.5rem;--font-size-xs:.6875rem;--font-size-sm:.875rem;--font-size-base:1rem;--font-size-lg:1.1875rem;--font-size-xl:1.375rem;--font-size-2xl:1.625rem;--font-size-3xl:2rem;--font-size-4xl:2.375rem;--font-size-5xl:2.75rem;--text-heading-1-size:var(--font-size-2xl);--text-heading-1-weight:var(--font-weight-semibold);--text-heading-1-leading:1.3333;--text-heading-2-size:var(--font-size-xl);--text-heading-2-weight:var(--font-weight-semibold);--text-heading-2-leading:1.4;--text-heading-3-size:var(--font-size-lg);--text-heading-3-weight:var(--font-weight-bold);--text-heading-3-leading:1.4118;--text-heading-4-size:var(--font-size-base);--text-heading-4-weight:var(--font-weight-bold);--text-heading-4-leading:1.4286;--text-heading-5-size:var(--font-size-sm);--text-heading-5-weight:var(--font-weight-semibold);--text-heading-5-leading:1.6667;--text-heading-6-size:var(--font-size-xs);--text-heading-6-weight:var(--font-weight-semibold);--text-heading-6-leading:1.6;--text-body-size:var(--font-size-base);--text-body-weight:var(--font-weight-normal);--text-body-leading:1.4286;--text-large-size:var(--font-size-lg);--text-large-weight:var(--font-weight-semibold);--text-large-leading:1.4118;--text-label-size:var(--font-size-base);--text-label-weight:var(--font-weight-medium);--text-label-leading:1.4286;--text-code-size:var(--font-size-base);--text-code-weight:var(--font-weight-normal);--text-code-leading:1.4286;--text-supporting-size:var(--font-size-sm);--text-supporting-weight:var(--font-weight-normal);--text-supporting-leading:1.6667;--text-display-1-size:var(--font-size-5xl);--text-display-1-weight:var(--font-weight-normal);--text-display-1-leading:1.2381;--text-display-2-size:var(--font-size-4xl);--text-display-2-weight:var(--font-weight-normal);--text-display-2-leading:1.2571;--text-display-3-size:var(--font-size-3xl);--text-display-3-weight:var(--font-weight-normal);--text-display-3-leading:1.3793;--duration-fast-min:95ms;--duration-fast:.125s;--duration-fast-max:.165s;--duration-medium-min:.225s;--duration-medium:.3s;--duration-medium-max:.4s;--duration-slow-min:.525s;--duration-slow:.7s;--duration-slow-max:.935s;--font-family-body:Figtree, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;--font-family-heading:Figtree, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;--font-family-code:ui-monospace, "SF Mono", Monaco, Consolas, "Liberation Mono", "Courier New", monospace;--color-syntax-keyword:var(--lightningcss-light,#6b187c)var(--lightningcss-dark,#efa8ff);--color-syntax-string:var(--lightningcss-light,#0b5615)var(--lightningcss-dark,#a4d6a3);--color-syntax-comment:var(--lightningcss-light,#6a6a6a)var(--lightningcss-dark,#9e9e9e);--color-syntax-number:var(--lightningcss-light,#733100)var(--lightningcss-dark,#ffb37e);--color-syntax-function:var(--lightningcss-light,#00458c)var(--lightningcss-dark,#a1caff);--color-syntax-type:var(--lightningcss-light,#6b187c)var(--lightningcss-dark,#efa8ff);--color-syntax-variable:var(--lightningcss-light,#111)var(--lightningcss-dark,#e2e2e2);--color-syntax-operator:var(--lightningcss-light,#6a6a6a)var(--lightningcss-dark,#9e9e9e);--color-syntax-constant:var(--lightningcss-light,#733100)var(--lightningcss-dark,#ffb37e);--color-syntax-tag:var(--lightningcss-light,#8a0011)var(--lightningcss-dark,#ffaea7);--color-syntax-attribute:var(--lightningcss-light,#584400)var(--lightningcss-dark,#eec448);--color-syntax-property:var(--lightningcss-light,#005348)var(--lightningcss-dark,#90d7c8);--color-syntax-punctuation:var(--lightningcss-light,#6a6a6a)var(--lightningcss-dark,#9e9e9e);--color-syntax-background:var(--lightningcss-light,#fff)var(--lightningcss-dark,#111);--color-syntax-added:color-mix(in srgb, var(--color-success-muted) 25%, transparent);--color-syntax-removed:color-mix(in srgb, var(--color-error-muted) 25%, transparent);--color-syntax-diff-header:transparent;--color-syntax-added-marker:var(--color-syntax-punctuation);--color-syntax-removed-marker:var(--color-syntax-punctuation);--color-background-surface:var(--lightningcss-light,#fff)var(--lightningcss-dark,#262626);--color-background-body:#000;--color-background-card:var(--lightningcss-light,#fff)var(--lightningcss-dark,#1b1b1b);--color-background-popover:var(--lightningcss-light,#fff)var(--lightningcss-dark,#1b1b1b);--color-background-muted:var(--lightningcss-light,#f1f1f1)var(--lightningcss-dark,#1b1b1b);--color-accent:var(--lightningcss-light,#1b1b1b)var(--lightningcss-dark,#f1f1f1);--color-accent-muted:var(--lightningcss-light,#f1f1f1)var(--lightningcss-dark,#262626);--color-neutral:var(--lightningcss-light,#0000000f)var(--lightningcss-dark,#ffffff1a);--color-overlay:var(--lightningcss-light,#00000080)var(--lightningcss-dark,#000c);--color-overlay-hover:var(--lightningcss-light,#0000000d)var(--lightningcss-dark,#ffffff0d);--color-overlay-pressed:var(--lightningcss-light,#0000001a)var(--lightningcss-dark,#ffffff1a);--color-text-primary:var(--lightningcss-light,#000)var(--lightningcss-dark,#fff);--color-text-secondary:var(--lightningcss-light,#474747)var(--lightningcss-dark,#9e9e9e);--color-text-disabled:var(--lightningcss-light,#919191)var(--lightningcss-dark,#525252);--color-text-accent:var(--lightningcss-light,#1b1b1b)var(--lightningcss-dark,#f1f1f1);--color-on-dark:#fff;--color-on-light:#111;--color-on-accent:var(--lightningcss-light,#fff)var(--lightningcss-dark,#111);--color-on-success:var(--lightningcss-light,#fff)var(--lightningcss-dark,#111);--color-on-error:var(--lightningcss-light,#fff)var(--lightningcss-dark,#111);--color-on-warning:#111;--color-icon-accent:var(--lightningcss-light,#1b1b1b)var(--lightningcss-dark,#f1f1f1);--color-icon-primary:var(--lightningcss-light,#000)var(--lightningcss-dark,#fff);--color-icon-secondary:var(--lightningcss-light,#6a6a6a)var(--lightningcss-dark,#9e9e9e);--color-icon-disabled:var(--lightningcss-light,#919191)var(--lightningcss-dark,#525252);--color-success:var(--lightningcss-light,#00490b)var(--lightningcss-dark,#a4d6a3);--color-error:var(--lightningcss-light,#76000c)var(--lightningcss-dark,#ffc4be);--color-warning:var(--lightningcss-light,#4b3900)var(--lightningcss-dark,#f8d36a);--color-success-muted:var(--lightningcss-light,#bce0bb)var(--lightningcss-dark,#90ca903d);--color-error-muted:var(--lightningcss-light,#ffc4be)var(--lightningcss-dark,#ff98903d);--color-warning-muted:var(--lightningcss-light,#fae19e)var(--lightningcss-dark,#e2b6233d);--color-border:var(--lightningcss-light,#00000014)var(--lightningcss-dark,#ffffff1a);--color-border-emphasized:var(--lightningcss-light,#d4d4d4)var(--lightningcss-dark,#525252);--color-skeleton:var(--lightningcss-light,#f1f1f1)var(--lightningcss-dark,#525252);--color-shadow:var(--lightningcss-light,#0000001a)var(--lightningcss-dark,#0000004d);--color-tint-hover:var(--lightningcss-light,#000)var(--lightningcss-dark,#fff);--color-background-red:var(--lightningcss-light,#ffc4be)var(--lightningcss-dark,#5b2b28);--color-border-red:var(--lightningcss-light,#ffaea7)var(--lightningcss-dark,#fa6762);--color-icon-red:var(--lightningcss-light,#76000c)var(--lightningcss-dark,#ff9890);--color-text-red:var(--lightningcss-light,#76000c)var(--lightningcss-dark,#ffaea7);--color-background-orange:var(--lightningcss-light,#ffc7a1)var(--lightningcss-dark,#503424);--color-border-orange:var(--lightningcss-light,#ffc7a1)var(--lightningcss-dark,#df843f);--color-icon-orange:var(--lightningcss-light,#622700)var(--lightningcss-dark,#ff9e55);--color-text-orange:var(--lightningcss-light,#622700)var(--lightningcss-dark,#ffb37e);--color-background-yellow:var(--lightningcss-light,#fae19e)var(--lightningcss-dark,#453a1c);--color-border-yellow:var(--lightningcss-light,#e3c36c)var(--lightningcss-dark,#c29900);--color-icon-yellow:var(--lightningcss-light,#4b3900)var(--lightningcss-dark,#e2b623);--color-text-yellow:var(--lightningcss-light,#4b3900)var(--lightningcss-dark,#eec448);--color-background-green:var(--lightningcss-light,#bce0bb)var(--lightningcss-dark,#2b422b);--color-border-green:var(--lightningcss-light,#aad4a9)var(--lightningcss-dark,#6ab26b);--color-icon-green:var(--lightningcss-light,#00490b)var(--lightningcss-dark,#90ca90);--color-text-green:var(--lightningcss-light,#00490b)var(--lightningcss-dark,#90ca90);--color-background-teal:var(--lightningcss-light,#a9e2d6)var(--lightningcss-dark,#28413c);--color-border-teal:var(--lightningcss-light,#90d7c8)var(--lightningcss-dark,#4fb1a0);--color-icon-teal:var(--lightningcss-light,#00463d)var(--lightningcss-dark,#81c9bb);--color-text-teal:var(--lightningcss-light,#00463d)var(--lightningcss-dark,#90d7c8);--color-background-cyan:var(--lightningcss-light,#9ae2f4)var(--lightningcss-dark,#274046);--color-border-cyan:var(--lightningcss-light,#85d5e9)var(--lightningcss-dark,#49adc4);--color-icon-cyan:var(--lightningcss-light,#004351)var(--lightningcss-dark,#71c7dd);--color-text-cyan:var(--lightningcss-light,#004351)var(--lightningcss-dark,#85d5e9);--color-background-blue:var(--lightningcss-light,#b9d7ff)var(--lightningcss-dark,#253c5a);--color-border-blue:var(--lightningcss-light,#a1caff)var(--lightningcss-dark,#5aa0f8);--color-icon-blue:var(--lightningcss-light,#003978)var(--lightningcss-dark,#88bcff);--color-text-blue:var(--lightningcss-light,#003978)var(--lightningcss-dark,#a1caff);--color-background-purple:var(--lightningcss-light,#f7d5ff)var(--lightningcss-dark,#4a2f51);--color-border-purple:var(--lightningcss-light,#f3bfff)var(--lightningcss-dark,#d885eb);--color-icon-purple:var(--lightningcss-light,#5c0e6c)var(--lightningcss-dark,#e496f6);--color-text-purple:var(--lightningcss-light,#5c0e6c)var(--lightningcss-dark,#eaacf8);--color-background-pink:var(--lightningcss-light,#ffc0d7)var(--lightningcss-dark,#572b3d);--color-border-pink:var(--lightningcss-light,#ffc0d7)var(--lightningcss-dark,#fc78b1);--color-icon-pink:var(--lightningcss-light,#70003f)var(--lightningcss-dark,#fd92bd);--color-text-pink:var(--lightningcss-light,#70003f)var(--lightningcss-dark,#ffa9ca);--color-background-gray:var(--lightningcss-light,#e2e2e2)var(--lightningcss-dark,#303030);--color-border-gray:var(--lightningcss-light,#d4d4d4)var(--lightningcss-dark,#262626);--color-icon-gray:var(--lightningcss-light,#474747)var(--lightningcss-dark,#9e9e9e);--color-text-gray:var(--lightningcss-light,#1b1b1b)var(--lightningcss-dark,#d4d4d4);--radius-none:0px;--radius-inner:.375rem;--radius-element:.625rem;--radius-container:.75rem;--radius-page:1.75rem;--radius-full:9999px;--shadow-low:0 2px 4px var(--lightningcss-light,oklch(0% 0 0/.05))var(--lightningcss-dark,oklch(0% 0 0/.25)), 0 4px 8px var(--lightningcss-light,oklch(0% 0 0/.1))var(--lightningcss-dark,oklch(0% 0 0/.4)), inset 0 0 0 1px var(--lightningcss-light,#0000)var(--lightningcss-dark,oklch(100% 0 0/.08));--shadow-med:0 2px 4px var(--lightningcss-light,oklch(0% 0 0/.05))var(--lightningcss-dark,oklch(0% 0 0/.35)), 0 4px 12px var(--lightningcss-light,oklch(0% 0 0/.1))var(--lightningcss-dark,oklch(0% 0 0/.5)), inset 0 0 0 1px var(--lightningcss-light,#0000)var(--lightningcss-dark,oklch(100% 0 0/.12));--shadow-high:0 4px 6px var(--lightningcss-light,oklch(0% 0 0/.1))var(--lightningcss-dark,oklch(0% 0 0/.5)), 0 12px 24px var(--lightningcss-light,oklch(0% 0 0/.15))var(--lightningcss-dark,oklch(0% 0 0/.7)), inset 0 0 0 1px var(--lightningcss-light,#0000)var(--lightningcss-dark,oklch(100% 0 0/.15));--shadow-inset-hover:inset 0px 0px 0px 2px #0074e24d;--shadow-inset-selected:inset 0px 0px 0px 2px #0074e280;--shadow-inset-success:inset 0px 0px 0px 2px #2f7d334d;--shadow-inset-warning:inset 0px 0px 0px 2px #f8d36a4d;--shadow-inset-error:inset 0px 0px 0px 2px #de47454d;--astryx-theme-neutral-color-status-fill-accent:var(--lightningcss-light,#0074e2)var(--lightningcss-dark,#6d9cfe);--astryx-theme-neutral-color-status-fill-success:var(--lightningcss-light,#198100)var(--lightningcss-dark,#64af4c);--astryx-theme-neutral-color-status-fill-warning:#ffce2f;--astryx-theme-neutral-color-status-fill-error:var(--lightningcss-light,#c9303a)var(--lightningcss-dark,#ff705d);--astryx-theme-neutral-color-status-muted-accent:var(--lightningcss-light,#b9d7ff)var(--lightningcss-dark,#88bcff3d);--astryx-theme-neutral-color-on-tint-neutral:var(--lightningcss-light,#fafafa4d)var(--lightningcss-dark,#0a0a0a4d);--astryx-theme-neutral-color-on-tint-overlay-hover:var(--lightningcss-light,#fafafa1a)var(--lightningcss-dark,#0a0a0a1a);--astryx-theme-neutral-color-on-tint-overlay-pressed:var(--lightningcss-light,#fafafa33)var(--lightningcss-dark,#0a0a0a33);--astryx-theme-neutral-color-destructive-overlay-hover:var(--lightningcss-light,#ff7f770d)var(--lightningcss-dark,#ee736c0d);--astryx-theme-neutral-color-destructive-overlay-pressed:var(--lightningcss-light,#ff7f771a)var(--lightningcss-dark,#ee736c1a);font-family:var(--font-family-body)}.astryx-heading[data-level="1"]{font-family:var(--font-family-heading);font-size:var(--text-heading-1-size);font-weight:var(--text-heading-1-weight);line-height:var(--text-heading-1-leading)}.astryx-heading[data-level="2"]{font-family:var(--font-family-heading);font-size:var(--text-heading-2-size);font-weight:var(--text-heading-2-weight);line-height:var(--text-heading-2-leading)}.astryx-heading[data-level="3"]{font-family:var(--font-family-heading);font-size:var(--text-heading-3-size);font-weight:var(--text-heading-3-weight);line-height:var(--text-heading-3-leading)}.astryx-heading[data-level="4"]{font-family:var(--font-family-heading);font-size:var(--text-heading-4-size);font-weight:var(--text-heading-4-weight);line-height:var(--text-heading-4-leading)}.astryx-heading[data-level="5"]{font-family:var(--font-family-heading);font-size:var(--text-heading-5-size);font-weight:var(--text-heading-5-weight);line-height:var(--text-heading-5-leading)}.astryx-heading[data-level="6"]{font-family:var(--font-family-heading);font-size:var(--text-heading-6-size);font-weight:var(--text-heading-6-weight);line-height:var(--text-heading-6-leading)}.astryx-heading[data-type=display-1]{font-family:var(--font-family-heading);font-size:var(--text-display-1-size);line-height:var(--text-display-1-leading)}.astryx-heading[data-type=display-2]{font-family:var(--font-family-heading);font-size:var(--text-display-2-size);line-height:var(--text-display-2-leading)}.astryx-heading[data-type=display-3]{font-family:var(--font-family-heading);font-size:var(--text-display-3-size);line-height:var(--text-display-3-leading)}.astryx-text[data-type=body]{font-family:var(--font-family-body);font-size:var(--text-body-size);line-height:var(--text-body-leading)}.astryx-text[data-type=large]{font-family:var(--font-family-body);font-size:var(--text-large-size);line-height:var(--text-large-leading)}.astryx-text[data-type=label]{font-family:var(--font-family-body);font-size:var(--text-label-size);line-height:var(--text-label-leading)}.astryx-text[data-type=code]{font-family:var(--font-family-code);font-size:var(--text-code-size);line-height:var(--text-code-leading)}.astryx-text[data-type=supporting]{font-family:var(--font-family-body);font-size:var(--text-supporting-size);line-height:var(--text-supporting-leading)}.astryx-text[data-type=display-1]{font-family:var(--font-family-heading);font-size:var(--text-display-1-size);line-height:var(--text-display-1-leading)}.astryx-text[data-type=display-2]{font-family:var(--font-family-heading);font-size:var(--text-display-2-size);line-height:var(--text-display-2-leading)}.astryx-text[data-type=display-3]{font-family:var(--font-family-heading);font-size:var(--text-display-3-size);line-height:var(--text-display-3-leading)}.astryx-button[data-variant=destructive]{background-color:var(--color-error-muted);color:var(--color-error);--color-overlay-hover:var(--astryx-theme-neutral-color-destructive-overlay-hover);--color-overlay-pressed:var(--astryx-theme-neutral-color-destructive-overlay-pressed)}.astryx-badge[data-variant=info]{background-color:var(--astryx-theme-neutral-color-status-fill-accent);color:var(--color-on-accent)}.astryx-badge[data-variant=neutral]{background-color:var(--color-background-gray);color:var(--color-text-gray)}.astryx-badge[data-variant=success]{background-color:var(--astryx-theme-neutral-color-status-fill-success);color:var(--color-on-success)}.astryx-badge[data-variant=warning]{background-color:var(--astryx-theme-neutral-color-status-fill-warning);color:var(--color-on-warning)}.astryx-badge[data-variant=error]{background-color:var(--astryx-theme-neutral-color-status-fill-error);color:var(--color-on-error)}.astryx-badge[data-variant=red]{background-color:var(--color-background-red);color:var(--color-text-red)}.astryx-badge[data-variant=orange]{background-color:var(--color-background-orange);color:var(--color-text-orange)}.astryx-badge[data-variant=yellow]{background-color:var(--color-background-yellow);color:var(--color-text-yellow)}.astryx-badge[data-variant=green]{background-color:var(--color-background-green);color:var(--color-text-green)}.astryx-badge[data-variant=teal]{background-color:var(--color-background-teal);color:var(--color-text-teal)}.astryx-badge[data-variant=cyan]{background-color:var(--color-background-cyan);color:var(--color-text-cyan)}.astryx-badge[data-variant=blue]{background-color:var(--color-background-blue);color:var(--color-text-blue)}.astryx-badge[data-variant=purple]{background-color:var(--color-background-purple);color:var(--color-text-purple)}.astryx-badge[data-variant=pink]{background-color:var(--color-background-pink);color:var(--color-text-pink)}.astryx-badge[data-variant=gray]{background-color:var(--color-background-gray);color:var(--color-text-gray)}.astryx-status-dot[data-variant=success]{background-color:var(--astryx-theme-neutral-color-status-fill-success)}.astryx-status-dot[data-variant=warning]{background-color:var(--astryx-theme-neutral-color-status-fill-warning)}.astryx-status-dot[data-variant=error]{background-color:var(--astryx-theme-neutral-color-status-fill-error)}.astryx-status-dot[data-variant=accent]{background-color:var(--astryx-theme-neutral-color-status-fill-accent)}.astryx-avatar-status-dot[data-variant=success]{background-color:var(--astryx-theme-neutral-color-status-fill-success)}.astryx-avatar-status-dot[data-variant=error]{background-color:var(--astryx-theme-neutral-color-status-fill-error)}.astryx-segmented-control{padding:var(--spacing-1);--_segmented-control-padding:var(--spacing-1)}.astryx-segmented-control-item[data-size=sm]{height:calc(var(--size-element-sm) - 8px)}.astryx-segmented-control-item[data-size=md]{height:calc(var(--size-element-md) - 8px)}.astryx-segmented-control-item[data-size=lg]{height:calc(var(--size-element-lg) - 8px)}.astryx-segmented-control-item[data-selected=selected]{box-shadow:none}.astryx-banner{--color-neutral:var(--astryx-theme-neutral-color-on-tint-neutral);--color-overlay-hover:var(--astryx-theme-neutral-color-on-tint-overlay-hover);--color-overlay-pressed:var(--astryx-theme-neutral-color-on-tint-overlay-pressed)}.astryx-banner[data-status=info]{--color-accent-muted:var(--astryx-theme-neutral-color-status-muted-accent);--color-text-primary:var(--color-text-blue);--color-text-secondary:var(--color-text-blue);--color-accent:var(--color-text-blue)}.astryx-banner[data-status=success]{--color-text-primary:var(--color-text-green);--color-text-secondary:var(--color-text-green);--color-success:var(--color-text-green)}.astryx-banner[data-status=warning]{--color-text-primary:var(--color-text-yellow);--color-text-secondary:var(--color-text-yellow);--color-warning:var(--color-text-yellow)}.astryx-banner[data-status=error]{--color-text-primary:var(--color-text-red);--color-text-secondary:var(--color-text-red);--color-error:var(--color-text-red)}.astryx-step-indicator[data-status=accent]{--color-accent:var(--astryx-theme-neutral-color-status-fill-accent)}.astryx-step-indicator[data-status=success]{--color-success:var(--astryx-theme-neutral-color-status-fill-success)}.astryx-step-indicator[data-status=warning]{--color-warning:var(--astryx-theme-neutral-color-status-fill-warning)}.astryx-step-indicator[data-status=error]{--color-error:var(--astryx-theme-neutral-color-status-fill-error)}.astryx-switch{--color-background-gray:var(--color-border-emphasized)}.astryx-progress-bar{--color-background-muted:var(--color-border-emphasized)}.astryx-progress-bar[data-variant=accent]{--color-accent:var(--astryx-theme-neutral-color-status-fill-accent)}.astryx-progress-bar[data-variant=success]{--color-success:var(--astryx-theme-neutral-color-status-fill-success)}.astryx-progress-bar[data-variant=warning]{--color-warning:var(--astryx-theme-neutral-color-status-fill-warning)}.astryx-progress-bar[data-variant=error]{--color-error:var(--astryx-theme-neutral-color-status-fill-error)}.astryx-card{--astryx-card-padding:var(--spacing-3)}.astryx-card[data-variant=bubble]{background-color:var(--color-neutral);border-radius:var(--radius-chat);--astryx-card-padding-inline:var(--spacing-4);--astryx-card-padding-block-start:var(--spacing-3);--astryx-card-padding-block-end:var(--spacing-3);--_card-radius:var(--radius-chat)}.astryx-section{--astryx-section-padding:var(--spacing-3)}.astryx-section[data-variant=raised]{background-color:var(--color-background-surface);border-radius:var(--radius-page);overflow:clip}.astryx-lightbox{padding:var(--spacing-12)}.astryx-lightbox::backdrop{background-color:var(--lightningcss-light,#00000059)var(--lightningcss-dark,#0009)}.astryx-collapsible-content{interpolate-size:allow-keywords;transition:height var(--duration-medium) var(--ease-standard), padding-top var(--duration-medium) var(--ease-standard), content-visibility var(--duration-medium) allow-discrete;display:block;overflow:clip}.astryx-collapsible-content:where([aria-expanded=false]+*){content-visibility:hidden;height:0;padding-top:0}.astryx-citation:where(*)>[aria-hidden=true]{background-color:#0000;border-width:0;border-radius:0}.astryx-citation:where(*)>[aria-hidden=true]>img{width:100%;height:100%}.astryx-chat-tool-calls:where(*) [role=button][aria-expanded]>span:not(:first-child):not(:has(svg)){align-self:baseline}.astryx-code-block[data-container=card]{border-radius:var(--radius-container)}.astryx-layout-panel:where([role=complementary]){transition:width var(--duration-medium) var(--ease-standard)}.astryx-layout-panel:where([data-resizing]+[role=complementary],[role=complementary]:has(+[data-resizing])){transition:none}.astryx-toast{justify-self:end;width:fit-content;min-width:min(240px,100%)}.astryx-layout-content:where([role=main]){height:calc(100% - 2 * var(--spacing-4));margin-block:var(--spacing-4);border-radius:var(--radius-page);margin-inline-end:var(--spacing-4)}.astryx-side-nav-section{padding-block:var(--spacing-3)}.astryx-tree-list-item[data-selected=selected]{background-color:var(--color-overlay-pressed)}.astryx-tree-list-item-label{text-overflow:ellipsis;white-space:nowrap;min-width:0;overflow:hidden}.astryx-code{font-family:inherit}.astryx-text[data-color=primary],.astryx-heading[data-color=primary]{color:var(--color-text-primary)}.astryx-text[data-color=secondary],.astryx-heading[data-color=secondary]{color:var(--color-text-secondary)}.astryx-text[data-color=disabled],.astryx-heading[data-color=disabled]{color:var(--color-text-disabled)}.astryx-text[data-color=placeholder],.astryx-heading[data-color=placeholder]{color:var(--color-text-secondary)}.astryx-text[data-color=accent],.astryx-heading[data-color=accent]{color:var(--color-text-accent)}.astryx-text[data-size="4xs"]{font-size:var(--font-size-4xs)}.astryx-text[data-size="3xs"]{font-size:var(--font-size-3xs)}.astryx-text[data-size="2xs"]{font-size:var(--font-size-2xs)}.astryx-text[data-size=xsm]{font-size:var(--font-size-xs)}.astryx-text[data-size=sm]{font-size:var(--font-size-sm)}.astryx-text[data-size=base]{font-size:var(--font-size-base)}.astryx-text[data-size=lg]{font-size:var(--font-size-lg)}.astryx-text[data-size=xl]{font-size:var(--font-size-xl)}.astryx-text[data-size="2xl"]{font-size:var(--font-size-2xl)}.astryx-text[data-size="3xl"]{font-size:var(--font-size-3xl)}.astryx-text[data-size="4xl"]{font-size:var(--font-size-4xl)}.astryx-heading[data-weight=normal]{font-weight:var(--font-weight-normal)}.astryx-heading[data-weight=medium]{font-weight:var(--font-weight-medium)}.astryx-heading[data-weight=semibold]{font-weight:var(--font-weight-semibold)}.astryx-heading[data-weight=bold]{font-weight:var(--font-weight-bold)}}@media (width<1024px) and (pointer:coarse){@scope([data-astryx-theme=theorem-studio]) to ([data-astryx-theme]){:scope{--font-size-4xs:.4375rem;--font-size-3xs:.5rem;--font-size-2xs:.625rem;--font-size-xs:.75rem;--font-size-sm:.875rem;--font-size-base:1rem;--font-size-lg:1.1875rem;--font-size-xl:1.375rem;--font-size-2xl:1.625rem;--font-size-3xl:1.875rem;--font-size-4xl:2.25rem;--font-size-5xl:2.625rem;--text-heading-1-size:var(--font-size-2xl);--text-heading-1-weight:var(--font-weight-semibold);--text-heading-1-leading:1.3846;--text-heading-2-size:var(--font-size-xl);--text-heading-2-weight:var(--font-weight-semibold);--text-heading-2-leading:1.4545;--text-heading-3-size:var(--font-size-lg);--text-heading-3-weight:var(--font-weight-bold);--text-heading-3-leading:1.4737;--text-heading-4-size:var(--font-size-base);--text-heading-4-weight:var(--font-weight-bold);--text-heading-4-leading:1.5;--text-heading-5-size:var(--font-size-sm);--text-heading-5-weight:var(--font-weight-semibold);--text-heading-5-leading:1.4286;--text-heading-6-size:var(--font-size-xs);--text-heading-6-weight:var(--font-weight-semibold);--text-heading-6-leading:1.6667;--text-body-size:var(--font-size-base);--text-body-weight:var(--font-weight-normal);--text-body-leading:1.5;--text-large-size:var(--font-size-lg);--text-large-weight:var(--font-weight-semibold);--text-large-leading:1.4737;--text-label-size:var(--font-size-base);--text-label-weight:var(--font-weight-medium);--text-label-leading:1.5;--text-code-size:var(--font-size-base);--text-code-weight:var(--font-weight-normal);--text-code-leading:1.5;--text-supporting-size:var(--font-size-sm);--text-supporting-weight:var(--font-weight-normal);--text-supporting-leading:1.4286;--text-display-1-size:var(--font-size-5xl);--text-display-1-weight:var(--font-weight-normal);--text-display-1-leading:1.2381;--text-display-2-size:var(--font-size-4xl);--text-display-2-weight:var(--font-weight-normal);--text-display-2-leading:1.2222;--text-display-3-size:var(--font-size-3xl);--text-display-3-weight:var(--font-weight-normal);--text-display-3-leading:1.4667;--font-family-body:Figtree, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;--font-family-heading:Figtree, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;--font-family-code:ui-monospace, "SF Mono", Monaco, Consolas, "Liberation Mono", "Courier New", monospace}}}@media (prefers-reduced-motion:reduce){@scope([data-astryx-theme=theorem-studio]) to ([data-astryx-theme]){.astryx-collapsible-content,.astryx-layout-panel:where([role=complementary]){transition:none}}}@scope([data-astryx-theme=theorem-studio]) to ([data-astryx-theme]){[data-astryx-media=dark]{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--color-text-primary:var(--color-on-dark);--color-icon-primary:var(--color-on-dark);--color-accent:var(--color-on-dark)}[data-astryx-media=light]{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--color-text-primary:var(--color-on-light);--color-icon-primary:var(--color-on-light);--color-accent:var(--color-on-light)}}}[popover]{transition:opacity var(--duration-fast) var(--ease-standard), display var(--duration-fast) allow-discrete, overlay var(--duration-fast) allow-discrete}[popover]:not(:popover-open){opacity:0}@starting-style{[popover]:popover-open{opacity:0}}@media (prefers-reduced-motion:reduce){[popover]{transition:none}}.theorem-arrive{min-width:0;animation:theorem-arrive var(--duration-medium) var(--ease-standard) both}@keyframes theorem-arrive{0%{opacity:0;translate:0 .5rem}}@media (prefers-reduced-motion:reduce){.theorem-arrive{animation:none}}body{overflow-wrap:break-word}.astryx-field-status,.astryx-banner{overflow-wrap:anywhere;min-width:0}.studio-saved-slot,.studio-edited-slot{flex:1 1 0;min-width:0;height:100%}.studio-saved-slot{display:flex;overflow:hidden}.studio-saved-slot-side{flex:1 1 0;min-width:0}.studio-saved-slot[data-moved]{transition:flex-grow var(--duration-medium) var(--ease-standard), opacity var(--duration-medium) var(--ease-standard)}.studio-saved-slot[data-closed]{opacity:0;pointer-events:none;flex-grow:0}@starting-style{.studio-saved-slot[data-moved]{opacity:0;flex-grow:0}}@media (prefers-reduced-motion:reduce){.studio-saved-slot[data-moved]{transition:none}}@media (width>=768px){html[data-boot-pending] .astryx-app-shell,html[data-shell-move] .astryx-app-shell{height:100dvh;position:relative}html[data-boot-pending] .astryx-app-shell .astryx-app-shell-sidenav,html[data-shell-move] .astryx-app-shell .astryx-app-shell-sidenav{z-index:0;width:var(--spacing-12);transition:none;position:absolute;inset-block:0;inset-inline-start:0}html[data-boot-pending] .astryx-app-shell [role=main],html[data-shell-move] .astryx-app-shell [role=main]{z-index:1;border-radius:0;width:100%;max-width:none;height:100%;margin:0;position:relative}html[data-boot-pending] .astryx-app-shell [role=main]{clip-path:none;background:var(--color-background-surface);transition:none}html[data-shell-move] .astryx-app-shell [role=main]{background:var(--color-background-surface);transition:clip-path .64s cubic-bezier(.45,.02,.15,1)}html[data-shell-clip=open] .astryx-app-shell [role=main]{clip-path:inset(0)}html[data-shell-clip=regular] .astryx-app-shell [role=main]{clip-path:inset(var(--spacing-4) var(--spacing-4) var(--spacing-4) var(--spacing-12) round var(--radius-page))}html[data-shell-clip=frame] .astryx-app-shell [role=main]{clip-path:inset(var(--spacing-4) calc(100% - var(--spacing-12) - var(--shell-frame-width,0px)) var(--spacing-4) var(--spacing-12) round var(--radius-page))}html[data-shell-move] #astryx-app-shell-main>:not([data-boot]):not(.nav-mark){visibility:hidden}}html{--shell-hold-ms:.14s;--shell-fade:shell-content-in .28s cubic-bezier(.45, .02, .15, 1)}@keyframes shell-content-in{0%{opacity:0}}html[data-shell-hold] .shell-fade{opacity:0;visibility:hidden;transition:opacity var(--shell-hold-ms) ease, visibility 0s linear var(--shell-hold-ms)}html[data-shell-hold] #astryx-app-shell-main>:not([data-boot]):not(.nav-mark):not(:has([data-shell-frame])){opacity:0;visibility:hidden;transition:opacity var(--shell-hold-ms) ease, visibility 0s linear var(--shell-hold-ms)}html[data-shell-in] #astryx-app-shell-main>:not([data-boot]){animation:var(--shell-fade)}html[data-shell-in] #astryx-app-shell-main>:has([data-shell-frame]){animation:none}html[data-shell-in] .shell-fade{animation:var(--shell-fade)}@media (prefers-reduced-motion:reduce){html[data-shell-hold] #astryx-app-shell-main>:not([data-boot]),html[data-shell-hold] .shell-fade{transition:none}html[data-shell-in] #astryx-app-shell-main>:not([data-boot]),html[data-shell-in] .shell-fade{animation:none}}html[data-shell-in] #astryx-app-shell-main:not(#\#):not(#\#):not(#\#):not(#\#){transition:none}