@theoremjs/studio 0.0.0-stage → 0.3.2

package/ui/built/theme.css

@@ -0,0 +1,830 @@
+/*
+ * @generated by `astryx theme build` — do not edit manually.
+ * Source: ui/studio-theme.ts
+ * Command: astryx theme build ui/studio-theme.ts --out ui/built/theme.css
+ * CLI: @astryxdesign/cli@0.7.0
+ * Core: @astryxdesign/core@0.7.0
+ */
+
+@layer reset, astryx-base, astryx-theme;
+
+@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-theme {
+  :root { color-scheme: light dark; }
+  html[data-theme="light"] { color-scheme: light; }
+  html[data-theme="dark"] { color-scheme: dark; }
+
+@scope ([data-astryx-theme="theorem-studio"]) to ([data-astryx-theme]) {
+  :scope {
+    --font-size-4xs: 0.375rem;
+    --font-size-3xs: 0.4375rem;
+    --font-size-2xs: 0.5rem;
+    --font-size-xs: 0.6875rem;
+    --font-size-sm: 0.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: 125ms;
+    --duration-fast-max: 165ms;
+    --duration-medium-min: 225ms;
+    --duration-medium: 300ms;
+    --duration-medium-max: 400ms;
+    --duration-slow-min: 525ms;
+    --duration-slow: 700ms;
+    --duration-slow-max: 935ms;
+    --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: light-dark(#6b187c, #efa8ff);
+    --color-syntax-string: light-dark(#0b5615, #a4d6a3);
+    --color-syntax-comment: light-dark(#6a6a6a, #9e9e9e);
+    --color-syntax-number: light-dark(#733100, #ffb37e);
+    --color-syntax-function: light-dark(#00458c, #a1caff);
+    --color-syntax-type: light-dark(#6b187c, #efa8ff);
+    --color-syntax-variable: light-dark(#111111, #e2e2e2);
+    --color-syntax-operator: light-dark(#6a6a6a, #9e9e9e);
+    --color-syntax-constant: light-dark(#733100, #ffb37e);
+    --color-syntax-tag: light-dark(#8a0011, #ffaea7);
+    --color-syntax-attribute: light-dark(#584400, #eec448);
+    --color-syntax-property: light-dark(#005348, #90d7c8);
+    --color-syntax-punctuation: light-dark(#6a6a6a, #9e9e9e);
+    --color-syntax-background: light-dark(#ffffff, #111111);
+    --color-background-surface: light-dark(#ffffff, #262626);
+    --color-background-body: #000000;
+    --color-background-card: light-dark(#ffffff, #1b1b1b);
+    --color-background-popover: light-dark(#ffffff, #1b1b1b);
+    --color-background-muted: light-dark(#f1f1f1, #1b1b1b);
+    --color-accent: light-dark(#1b1b1b, #f1f1f1);
+    --color-accent-muted: light-dark(#f1f1f1, #262626);
+    --color-neutral: light-dark(#0000000F, #ffffff1A);
+    --color-overlay: light-dark(#00000080, #000000CC);
+    --color-overlay-hover: light-dark(#0000000D, #ffffff0D);
+    --color-overlay-pressed: light-dark(#0000001A, #ffffff1A);
+    --color-text-primary: light-dark(#000000, #ffffff);
+    --color-text-secondary: light-dark(#474747, #9e9e9e);
+    --color-text-disabled: light-dark(#919191, #525252);
+    --color-text-accent: light-dark(#1b1b1b, #f1f1f1);
+    --color-on-dark: #ffffff;
+    --color-on-light: #111111;
+    --color-on-accent: light-dark(#ffffff, #111111);
+    --color-on-success: light-dark(#ffffff, #111111);
+    --color-on-error: light-dark(#ffffff, #111111);
+    --color-on-warning: #111111;
+    --color-icon-accent: light-dark(#1b1b1b, #f1f1f1);
+    --color-icon-primary: light-dark(#000000, #ffffff);
+    --color-icon-secondary: light-dark(#6a6a6a, #9e9e9e);
+    --color-icon-disabled: light-dark(#919191, #525252);
+    --color-success: light-dark(#00490b, #a4d6a3);
+    --color-error: light-dark(#76000c, #ffc4be);
+    --color-warning: light-dark(#4b3900, #f8d36a);
+    --color-success-muted: light-dark(#bce0bb, #90ca903D);
+    --color-error-muted: light-dark(#ffc4be, #ff98903D);
+    --color-warning-muted: light-dark(#fae19e, #e2b6233D);
+    --color-border: light-dark(#00000014, #ffffff1A);
+    --color-border-emphasized: light-dark(#d4d4d4, #525252);
+    --color-skeleton: light-dark(#f1f1f1, #525252);
+    --color-shadow: light-dark(#0000001A, #0000004D);
+    --color-tint-hover: light-dark(black, white);
+    --color-background-red: light-dark(#ffc4be, #5b2b28);
+    --color-border-red: light-dark(#ffaea7, #fa6762);
+    --color-icon-red: light-dark(#76000c, #ff9890);
+    --color-text-red: light-dark(#76000c, #ffaea7);
+    --color-background-orange: light-dark(#ffc7a1, #503424);
+    --color-border-orange: light-dark(#ffc7a1, #df843f);
+    --color-icon-orange: light-dark(#622700, #ff9e55);
+    --color-text-orange: light-dark(#622700, #ffb37e);
+    --color-background-yellow: light-dark(#fae19e, #453a1c);
+    --color-border-yellow: light-dark(#e3c36c, #c29900);
+    --color-icon-yellow: light-dark(#4b3900, #e2b623);
+    --color-text-yellow: light-dark(#4b3900, #eec448);
+    --color-background-green: light-dark(#bce0bb, #2b422b);
+    --color-border-green: light-dark(#aad4a9, #6ab26b);
+    --color-icon-green: light-dark(#00490b, #90ca90);
+    --color-text-green: light-dark(#00490b, #90ca90);
+    --color-background-teal: light-dark(#a9e2d6, #28413c);
+    --color-border-teal: light-dark(#90d7c8, #4fb1a0);
+    --color-icon-teal: light-dark(#00463d, #81c9bb);
+    --color-text-teal: light-dark(#00463d, #90d7c8);
+    --color-background-cyan: light-dark(#9ae2f4, #274046);
+    --color-border-cyan: light-dark(#85d5e9, #49adc4);
+    --color-icon-cyan: light-dark(#004351, #71c7dd);
+    --color-text-cyan: light-dark(#004351, #85d5e9);
+    --color-background-blue: light-dark(#b9d7ff, #253c5a);
+    --color-border-blue: light-dark(#a1caff, #5aa0f8);
+    --color-icon-blue: light-dark(#003978, #88bcff);
+    --color-text-blue: light-dark(#003978, #a1caff);
+    --color-background-purple: light-dark(#f7d5ff, #4a2f51);
+    --color-border-purple: light-dark(#f3bfff, #d885eb);
+    --color-icon-purple: light-dark(#5c0e6c, #e496f6);
+    --color-text-purple: light-dark(#5c0e6c, #eaacf8);
+    --color-background-pink: light-dark(#ffc0d7, #572b3d);
+    --color-border-pink: light-dark(#ffc0d7, #fc78b1);
+    --color-icon-pink: light-dark(#70003f, #fd92bd);
+    --color-text-pink: light-dark(#70003f, #ffa9ca);
+    --color-background-gray: light-dark(#e2e2e2, #303030);
+    --color-border-gray: light-dark(#d4d4d4, #262626);
+    --color-icon-gray: light-dark(#474747, #9e9e9e);
+    --color-text-gray: light-dark(#1b1b1b, #d4d4d4);
+    --radius-none: 0px;
+    --radius-inner: 0.375rem;
+    --radius-element: 0.625rem;
+    --radius-container: 0.75rem;
+    --radius-page: 1.75rem;
+    --radius-full: 9999px;
+    --shadow-low: 0 2px 4px light-dark(oklch(0 0 0 / 5%), oklch(0 0 0 / 25%)), 0 4px 8px light-dark(oklch(0 0 0 / 10%), oklch(0 0 0 / 40%)), inset 0 0 0 1px light-dark(transparent, oklch(1 0 0 / 8%));
+    --shadow-med: 0 2px 4px light-dark(oklch(0 0 0 / 5%), oklch(0 0 0 / 35%)), 0 4px 12px light-dark(oklch(0 0 0 / 10%), oklch(0 0 0 / 50%)), inset 0 0 0 1px light-dark(transparent, oklch(1 0 0 / 12%));
+    --shadow-high: 0 4px 6px light-dark(oklch(0 0 0 / 10%), oklch(0 0 0 / 50%)), 0 12px 24px light-dark(oklch(0 0 0 / 15%), oklch(0 0 0 / 70%)), inset 0 0 0 1px light-dark(transparent, oklch(1 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: light-dark(#0074e2, #6d9cfe);
+    --astryx-theme-neutral-color-status-fill-success: light-dark(#198100, #64af4c);
+    --astryx-theme-neutral-color-status-fill-warning: #ffce2f;
+    --astryx-theme-neutral-color-status-fill-error: light-dark(#c9303a, #ff705d);
+    --astryx-theme-neutral-color-status-muted-accent: light-dark(#b9d7ff, #88bcff3D);
+    --astryx-theme-neutral-color-on-tint-neutral: light-dark(#fafafa4D, #0a0a0a4D);
+    --astryx-theme-neutral-color-on-tint-overlay-hover: light-dark(#fafafa1A, #0a0a0a1A);
+    --astryx-theme-neutral-color-on-tint-overlay-pressed: light-dark(#fafafa33, #0a0a0a33);
+    --astryx-theme-neutral-color-destructive-overlay-hover: light-dark(#ff7f770D, #ee736c0D);
+    --astryx-theme-neutral-color-destructive-overlay-pressed: light-dark(#ff7f771A, #ee736c1A);
+  }
+
+  :scope {
+    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: light-dark(#00000059, #00000099);
+  }
+
+  .astryx-collapsible-content {
+    display: block;
+    overflow: clip;
+    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;
+  }
+
+  .astryx-collapsible-content:where([aria-expanded="false"] + *) {
+    height: 0;
+    padding-top: 0;
+    content-visibility: hidden;
+  }
+
+  .astryx-citation:where(*) > [aria-hidden="true"] {
+    background-color: transparent;
+    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 {
+    width: fit-content;
+    min-width: min(240px, 100%);
+    justify-self: end;
+  }
+
+  .astryx-layout-content:where([role="main"]) {
+    height: calc(100% - 2 * var(--spacing-4));
+    margin-block: var(--spacing-4);
+    margin-inline-end: var(--spacing-4);
+    border-radius: var(--radius-page);
+  }
+
+  .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 {
+    min-width: 0;
+    overflow: hidden;
+    text-overflow: ellipsis;
+    white-space: nowrap;
+  }
+
+  .astryx-code {
+    font-family: inherit;
+  }
+
+  .astryx-text[data-color="primary"] { color: var(--color-text-primary); }
+
+  .astryx-heading[data-color="primary"] { color: var(--color-text-primary); }
+
+  .astryx-text[data-color="secondary"] { color: var(--color-text-secondary); }
+
+  .astryx-heading[data-color="secondary"] { color: var(--color-text-secondary); }
+
+  .astryx-text[data-color="disabled"] { color: var(--color-text-disabled); }
+
+  .astryx-heading[data-color="disabled"] { color: var(--color-text-disabled); }
+
+  .astryx-text[data-color="placeholder"] { color: var(--color-text-secondary); }
+
+  .astryx-heading[data-color="placeholder"] { color: var(--color-text-secondary); }
+
+  .astryx-text[data-color="accent"] { color: var(--color-text-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); }
+}
+}
+
+@layer astryx-theme {
+@media (width < 1024px) and (pointer: coarse) {
+  @scope ([data-astryx-theme="theorem-studio"]) to ([data-astryx-theme]) {
+    :scope {
+    --font-size-4xs: 0.4375rem;
+    --font-size-3xs: 0.5rem;
+    --font-size-2xs: 0.625rem;
+    --font-size-xs: 0.75rem;
+    --font-size-sm: 0.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 {
+    transition: none;
+  }
+
+    .astryx-layout-panel:where([role="complementary"]) {
+    transition: none;
+  }
+  }
+}
+}
+
+@layer astryx-theme {
+@scope ([data-astryx-theme="theorem-studio"]) to ([data-astryx-theme]) {
+  [data-astryx-media="dark"] {
+    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"] {
+    color-scheme: light;
+    --color-text-primary: var(--color-on-light);
+    --color-icon-primary: var(--color-on-light);
+    --color-accent: var(--color-on-light);
+  }
+}
+}