@theoremjs/studio 0.0.0-stage → 0.3.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/LICENSE +21 -0
- package/README.md +295 -2
- package/agreement.d.ts +14 -0
- package/agreement.js +80 -0
- package/asks.d.ts +47 -0
- package/asks.js +54 -0
- package/browser-connection.d.ts +49 -0
- package/browser-connection.js +215 -0
- package/browser-engine.d.ts +11 -0
- package/browser-engine.js +11 -0
- package/browser-execution.d.ts +6 -0
- package/browser-execution.js +18 -0
- package/browser-live.d.ts +4 -0
- package/browser-live.js +132 -0
- package/browser-transport.d.ts +33 -0
- package/browser-transport.js +229 -0
- package/browser.d.ts +4 -0
- package/browser.js +4 -0
- package/canonical.d.ts +10 -0
- package/canonical.js +25 -0
- package/compile-workspace.d.ts +28 -0
- package/compile-workspace.js +295 -0
- package/compile.d.ts +65 -0
- package/compile.js +1605 -0
- package/concierge-demo.d.ts +17 -0
- package/concierge-demo.js +1230 -0
- package/conversation-key.d.ts +5 -0
- package/conversation-key.js +10 -0
- package/decision-example-images.d.ts +30 -0
- package/decision-example-images.js +30 -0
- package/deno.json +3 -0
- package/draft.d.ts +407 -0
- package/draft.js +505 -0
- package/editors.d.ts +29 -0
- package/editors.js +51 -0
- package/example-embedding-files.d.ts +11 -0
- package/example-embedding-files.js +20 -0
- package/example.d.ts +36 -0
- package/example.js +357 -0
- package/guardrail-probe.d.ts +100 -0
- package/guardrail-probe.js +722 -0
- package/held-credentials.d.ts +28 -0
- package/held-credentials.js +87 -0
- package/installed.mjs +40 -0
- package/lent-keys.d.ts +122 -0
- package/lent-keys.js +47 -0
- package/line-diff.d.ts +15 -0
- package/line-diff.js +41 -0
- package/live-connection.d.ts +22 -0
- package/live-connection.js +27 -0
- package/live-session-bridge.d.ts +15 -0
- package/live-session-bridge.js +202 -0
- package/map-line.d.ts +19 -0
- package/map-line.js +42 -0
- package/map.d.ts +154 -0
- package/map.js +525 -0
- package/media-accept.d.ts +19 -0
- package/media-accept.js +65 -0
- package/mod.d.ts +39 -0
- package/mod.js +33 -0
- package/origins.d.ts +52 -0
- package/origins.js +165 -0
- package/package.json +85 -4
- package/page/assets/Banner-BISz3nXA.js +2 -0
- package/page/assets/BottomSheet-BwfBDtje.js +1 -0
- package/page/assets/Card-Lp-0P5eL.js +1 -0
- package/page/assets/CardWall-CBRLdDZW.js +1 -0
- package/page/assets/Center-nHS1JSux.js +1 -0
- package/page/assets/CheckboxInput-Cj5pk-KI.js +2 -0
- package/page/assets/CodeBlock-C7XJ4ioE.js +51 -0
- package/page/assets/CollapsibleGroup-N7_SOjbm.js +2 -0
- package/page/assets/ContextMenu-CBu9H-9H.js +2 -0
- package/page/assets/DateInput-BGrQ5tPC.js +1 -0
- package/page/assets/Dialog-DELWQo-v.js +1 -0
- package/page/assets/EmptyState-C8W4JKBZ.js +1 -0
- package/page/assets/HoverCard-D1Y1ltWQ.js +1 -0
- package/page/assets/Icon-JrysT8aU.js +3 -0
- package/page/assets/IconAlertTriangle-BqAEqqdU.js +1 -0
- package/page/assets/IconButton-DlOGzJIX.js +1 -0
- package/page/assets/IconEye-BB5aY-wQ.js +1 -0
- package/page/assets/IconFileText-6zOFKKrF.js +1 -0
- package/page/assets/IconSearch-BTx66a40.js +1 -0
- package/page/assets/IconShield-DDOh7Gr5.js +1 -0
- package/page/assets/ItemSwipeLayer-Ckn4X6h9.js +1 -0
- package/page/assets/PaneState-BvA2tLQg.js +1 -0
- package/page/assets/PaneState-eUzUkNE8.css +1 -0
- package/page/assets/ScrollableArea-Ckugdj1N.js +1 -0
- package/page/assets/Section-DJ97F7QE.js +1 -0
- package/page/assets/SegmentedControlItem-h-aaXzyS.js +1 -0
- package/page/assets/SidePanel-BL32abk8.js +1 -0
- package/page/assets/StackItem-CQviqAfM.js +1 -0
- package/page/assets/Text-bum6zWWx.js +2 -0
- package/page/assets/TimestampHoverCard-DQIG0RZF.js +1 -0
- package/page/assets/ToolResultCharts-CgshSv9Q.js +1 -0
- package/page/assets/Tooltip-BH9xiRMl.js +1 -0
- package/page/assets/TraceInspector-_yZiz05W.js +1 -0
- package/page/assets/TraceOverview-BPO-HIYK.js +57 -0
- package/page/assets/VStack-CkVMcNiK.js +1 -0
- package/page/assets/_virtual_studio-type-sources-ByxqQaOG.js +12936 -0
- package/page/assets/arrive-DvbqpeRS.js +1 -0
- package/page/assets/browser-engine-CYq9DQAM.js +9 -0
- package/page/assets/browser-transport-D-2jDYe7.js +47 -0
- package/page/assets/codicon-DF1abBS2.ttf +0 -0
- package/page/assets/compile-egress-BSxOdX4K.js +23 -0
- package/page/assets/container.stylex-BmOi-8DQ.js +1 -0
- package/page/assets/createReactComponent-CZwsv6DD.js +1 -0
- package/page/assets/decision-example-images-CZGr7YIT.js +1 -0
- package/page/assets/devWarning-DxuplmRl.js +1 -0
- package/page/assets/editor-DjpsE8to.css +1 -0
- package/page/assets/editor.api-Cd3ViPQa.js +908 -0
- package/page/assets/editor.worker-6GY8RhDc.js +1 -0
- package/page/assets/editor.worker-BmdWdrHZ.js +33 -0
- package/page/assets/editors-BJX_S59A.js +1 -0
- package/page/assets/egress-automata-B5ZGE1mT.js +1 -0
- package/page/assets/embedding-space-view-CfQBPDxD.js +140 -0
- package/page/assets/encode-files-Bc3HJyAh.js +1 -0
- package/page/assets/export-agent-C3yyzXH8.js +43 -0
- package/page/assets/figtree-latin-400-normal-BD4aNku5.woff +0 -0
- package/page/assets/figtree-latin-400-normal-g7Dtegnw.woff2 +0 -0
- package/page/assets/figtree-latin-500-normal-BWnGEVsr.woff2 +0 -0
- package/page/assets/figtree-latin-500-normal-B_yy1phn.woff +0 -0
- package/page/assets/figtree-latin-600-normal-BM_oTo4n.woff +0 -0
- package/page/assets/figtree-latin-600-normal-Cv_xCTDl.woff2 +0 -0
- package/page/assets/figtree-latin-700-normal-BCCt2T1q.woff +0 -0
- package/page/assets/figtree-latin-700-normal-th6qEP7c.woff2 +0 -0
- package/page/assets/focusOutline.stylex-BT0kfa4t.js +1 -0
- package/page/assets/focusableSelector-DXZeMU85.js +1 -0
- package/page/assets/groupStyles-C7Ter7zC.js +1 -0
- package/page/assets/guardrail-tester-Gut5xK4a.js +9 -0
- package/page/assets/host-patterns-C9RMP16Q.js +1 -0
- package/page/assets/index-CvvmFKgS.js +105 -0
- package/page/assets/index-DOaHlqBo.css +1 -0
- package/page/assets/isRtlElement-BG33-k_H.js +1 -0
- package/page/assets/labels-provider-4TIWDvsE.js +3 -0
- package/page/assets/lent-keys-C32ems-I.js +1 -0
- package/page/assets/live-ingress-lDUGPwth.js +1 -0
- package/page/assets/live-messages-CnkL4GWi.js +1 -0
- package/page/assets/mergeProps-ptS-gIMz.js +1 -0
- package/page/assets/padding.stylex-B76907Zf.js +1 -0
- package/page/assets/preload-helper-DpV6A1kQ.js +1 -0
- package/page/assets/reader-BOCCYaRp.js +7 -0
- package/page/assets/register-CDgivxvX.js +2 -0
- package/page/assets/rolldown-runtime-hePW80VL.js +1 -0
- package/page/assets/schemas-BQ9Jydzb.js +56 -0
- package/page/assets/shaped-data-BcarWqd5.js +16 -0
- package/page/assets/sharedResizeObserver-4U9Xq5Oq.js +1 -0
- package/page/assets/stub-DhdcU_Ew.js +471 -0
- package/page/assets/studio-code-pane-C_SAbcOa.js +8 -0
- package/page/assets/studio-console-DZwlEsvr.js +3 -0
- package/page/assets/studio-decision-B0FnCAXA.js +1 -0
- package/page/assets/studio-embedding-CmA51HVo.js +2 -0
- package/page/assets/studio-host-console-By7hqu2l.js +2 -0
- package/page/assets/studio-live-BrcVQcyV.js +1 -0
- package/page/assets/studio-map-B_xSia-z.js +1 -0
- package/page/assets/studio-map-Bb06Tw1F.css +1 -0
- package/page/assets/studio-monaco-CbKf90i6.css +1 -0
- package/page/assets/studio-monaco-xfyfezQS.js +34 -0
- package/page/assets/studio-ts.worker-B-EXG4Sv.js +67741 -0
- package/page/assets/studio-ts.worker-BXtW3z-O.js +1 -0
- package/page/assets/studio-type-checker-BOvxudki.js +23 -0
- package/page/assets/themeProps-3IqahpCr.js +1 -0
- package/page/assets/tokens.stylex-DkHf0P9C.js +1 -0
- package/page/assets/tool-schema-idaOe2nI.js +18 -0
- package/page/assets/trace-patterns-DnYJa0nI.js +1 -0
- package/page/assets/trace-record-C3zNksA_.js +1 -0
- package/page/assets/trace-schema-9CdEyG6Q.js +1 -0
- package/page/assets/tree-DqyAMsbI.js +3 -0
- package/page/assets/turn-client-Du3Um3Mg.js +2 -0
- package/page/assets/types-BhfXQCLx.js +1 -0
- package/page/assets/typescript-20GgZ8PJ.js +1 -0
- package/page/assets/use-one-call-Hcs8YBp1.js +1 -0
- package/page/assets/useAdaptivePresentation-BzmPCddb.js +1 -0
- package/page/assets/useClipboard-BgGRxRMJ.js +1 -0
- package/page/assets/useContainerReveal-BFy8N_QU.js +1 -0
- package/page/assets/useDevWarning-Z9SoixOP.js +1 -0
- package/page/assets/useLayerDismissal-B_G7IWpC.js +1 -0
- package/page/assets/useMediaQuery-BCT0NUeZ.js +1 -0
- package/page/assets/useScrollLock-Dyf6PHJt.js +1 -0
- package/page/assets/useScrollableArea-0NzdiBCq.js +1 -0
- package/page/assets/useTooltip-CJM_xhLB.js +1 -0
- package/page/assets/workspace-DZALqEDX.js +1 -0
- package/page/assets/zip-DTcEfps6.js +1 -0
- package/page/index.html +90 -0
- package/page.mjs +49 -0
- package/people.d.ts +87 -0
- package/people.js +110 -0
- package/policy.d.ts +43 -0
- package/policy.js +102 -0
- package/ports.d.mts +32 -0
- package/ports.mjs +85 -0
- package/probe-battery.d.ts +13 -0
- package/probe-battery.js +404 -0
- package/providers.d.ts +149 -0
- package/providers.js +306 -0
- package/read-source.d.ts +48 -0
- package/read-source.js +1301 -0
- package/read-steps.d.ts +23 -0
- package/read-steps.js +2 -0
- package/reader.d.ts +11 -0
- package/reader.js +11 -0
- package/registrations.d.ts +83 -0
- package/registrations.js +1 -0
- package/requirements.d.ts +22 -0
- package/requirements.js +38 -0
- package/run-payload-core.d.ts +28 -0
- package/run-payload-core.js +123 -0
- package/run-payload.d.ts +32 -0
- package/run-payload.js +26 -0
- package/runtime-scope.d.ts +84 -0
- package/runtime-scope.js +308 -0
- package/runtime.d.ts +84 -0
- package/runtime.js +387 -0
- package/section-notes.d.ts +33 -0
- package/section-notes.js +38 -0
- package/serve-page.mjs +96 -0
- package/server/draft-decide.d.ts +72 -0
- package/server/draft-decide.js +111 -0
- package/server/draft-embedding.d.ts +3 -0
- package/server/draft-embedding.js +35 -0
- package/server/draft-handler.d.ts +82 -0
- package/server/draft-handler.js +213 -0
- package/server/draft-probe.d.ts +14 -0
- package/server/draft-probe.js +61 -0
- package/server/draft-replies.d.ts +22 -0
- package/server/draft-replies.js +46 -0
- package/server/edited-session.d.ts +28 -0
- package/server/edited-session.js +83 -0
- package/server/edits.d.ts +38 -0
- package/server/edits.js +195 -0
- package/server/handler.d.ts +133 -0
- package/server/handler.js +598 -0
- package/server/lent-draft.d.ts +19 -0
- package/server/lent-draft.js +23 -0
- package/server/live.d.ts +15 -0
- package/server/live.js +96 -0
- package/server/open-editor.d.ts +63 -0
- package/server/open-editor.js +115 -0
- package/server/origins.d.ts +18 -0
- package/server/origins.js +330 -0
- package/server/project-source.d.ts +208 -0
- package/server/project-source.js +1042 -0
- package/server/project.d.ts +22 -0
- package/server/project.js +56 -0
- package/server/run-traces.d.ts +20 -0
- package/server/run-traces.js +96 -0
- package/server/save-new.d.ts +29 -0
- package/server/save-new.js +514 -0
- package/server/save-plan.d.ts +46 -0
- package/server/save-plan.js +1134 -0
- package/server/save-remove.d.ts +21 -0
- package/server/save-remove.js +528 -0
- package/server/save-session.d.ts +96 -0
- package/server/save-session.js +418 -0
- package/server/save-wire.d.ts +235 -0
- package/server/save-wire.js +8 -0
- package/server/save.d.ts +52 -0
- package/server/save.js +209 -0
- package/server/serve.d.ts +23 -0
- package/server/serve.js +413 -0
- package/server/test-connection.d.ts +17 -0
- package/server/test-connection.js +362 -0
- package/server/test-key.d.ts +2 -0
- package/server/test-key.js +83 -0
- package/server/watch.d.ts +28 -0
- package/server/watch.js +93 -0
- package/server/zod-edit.d.ts +74 -0
- package/server/zod-edit.js +558 -0
- package/server.d.ts +8 -0
- package/server.js +8 -0
- package/setups.mjs +170 -0
- package/shared-carry.d.ts +114 -0
- package/shared-carry.js +523 -0
- package/shared-settings.d.ts +34 -0
- package/shared-settings.js +70 -0
- package/source.d.ts +75 -0
- package/source.js +414 -0
- package/start.mjs +169 -0
- package/stream-lines.d.ts +9 -0
- package/stream-lines.js +27 -0
- package/stub.d.ts +6 -0
- package/stub.js +33 -0
- package/surface.d.ts +53 -0
- package/surface.js +631 -0
- package/system-markup.d.ts +20 -0
- package/system-markup.js +51 -0
- package/tool-schema.d.ts +23 -0
- package/tool-schema.js +69 -0
- package/tools.d.ts +16 -0
- package/tools.js +91 -0
- package/traces.d.ts +24 -0
- package/traces.js +29 -0
- package/transport.d.ts +57 -0
- package/transport.js +187 -0
- package/tree.d.ts +32 -0
- package/tree.js +83 -0
- package/types.d.ts +62 -0
- package/types.js +6 -0
- package/ui/acting-as-button.d.ts +2 -0
- package/ui/acting-as-button.js +16 -0
- package/ui/add-provider.d.ts +13 -0
- package/ui/add-provider.js +20 -0
- package/ui/boot-mark.css +53 -0
- package/ui/boot-mark.d.ts +19 -0
- package/ui/boot-mark.js +128 -0
- package/ui/boot-paint.d.ts +8 -0
- package/ui/boot-paint.js +8 -0
- package/ui/brand-icons.d.ts +57 -0
- package/ui/brand-icons.js +148 -0
- package/ui/built/theme.css +830 -0
- package/ui/built/theme.css.d.ts +9 -0
- package/ui/built/theorem-studio.d.ts +13 -0
- package/ui/built/theorem-studio.js +705 -0
- package/ui/built/theorem-studio.variants.d.ts +28 -0
- package/ui/code/monaco-contributions.d.ts +45 -0
- package/ui/code/studio-code.d.ts +7 -0
- package/ui/code/studio-code.js +253 -0
- package/ui/code/studio-monaco.d.ts +44 -0
- package/ui/code/studio-monaco.js +48 -0
- package/ui/code/studio-ts.worker.d.ts +1 -0
- package/ui/code/studio-ts.worker.js +16 -0
- package/ui/code/studio-type-checker.d.ts +12 -0
- package/ui/code/studio-type-checker.js +308 -0
- package/ui/code/studio-type-sources.d.ts +26 -0
- package/ui/confirm-write.d.ts +12 -0
- package/ui/confirm-write.js +45 -0
- package/ui/diff-block.d.ts +21 -0
- package/ui/diff-block.js +17 -0
- package/ui/figtree.css +59 -0
- package/ui/file-place.d.ts +4 -0
- package/ui/file-place.js +26 -0
- package/ui/guardrail-tester.d.ts +18 -0
- package/ui/guardrail-tester.js +248 -0
- package/ui/inspector-context.d.ts +119 -0
- package/ui/inspector-context.js +84 -0
- package/ui/inspector.d.ts +247 -0
- package/ui/inspector.js +284 -0
- package/ui/lib/acting-as.d.ts +25 -0
- package/ui/lib/acting-as.js +90 -0
- package/ui/lib/boot-sequence.d.ts +32 -0
- package/ui/lib/boot-sequence.js +57 -0
- package/ui/lib/export-agent.d.ts +11 -0
- package/ui/lib/export-agent.js +335 -0
- package/ui/lib/facet-icons.d.ts +20 -0
- package/ui/lib/facet-icons.js +21 -0
- package/ui/lib/panel-motion.d.ts +8 -0
- package/ui/lib/panel-motion.js +74 -0
- package/ui/lib/project-address.d.ts +14 -0
- package/ui/lib/project-address.js +24 -0
- package/ui/lib/project-starting.d.ts +13 -0
- package/ui/lib/project-starting.js +30 -0
- package/ui/lib/project-traces.d.ts +17 -0
- package/ui/lib/project-traces.js +54 -0
- package/ui/lib/read-map.d.ts +30 -0
- package/ui/lib/read-map.js +173 -0
- package/ui/lib/read-progress.d.ts +14 -0
- package/ui/lib/read-progress.js +12 -0
- package/ui/lib/refusal-lines.d.ts +3 -0
- package/ui/lib/refusal-lines.js +8 -0
- package/ui/lib/studio-activity.d.ts +5 -0
- package/ui/lib/studio-activity.js +17 -0
- package/ui/lib/studio-console.d.ts +27 -0
- package/ui/lib/studio-console.js +9 -0
- package/ui/lib/studio-conversation.d.ts +20 -0
- package/ui/lib/studio-conversation.js +130 -0
- package/ui/lib/studio-examples.d.ts +31 -0
- package/ui/lib/studio-examples.js +25 -0
- package/ui/lib/studio-labels.d.ts +6 -0
- package/ui/lib/studio-labels.js +13 -0
- package/ui/lib/studio-map-kept.d.ts +17 -0
- package/ui/lib/studio-map-kept.js +48 -0
- package/ui/lib/studio-open.d.ts +22 -0
- package/ui/lib/studio-open.js +54 -0
- package/ui/lib/studio-page.d.ts +33 -0
- package/ui/lib/studio-page.js +121 -0
- package/ui/lib/studio-prefs.d.ts +26 -0
- package/ui/lib/studio-prefs.js +87 -0
- package/ui/lib/studio-project.d.ts +106 -0
- package/ui/lib/studio-project.js +177 -0
- package/ui/lib/studio-restore.d.ts +49 -0
- package/ui/lib/studio-restore.js +251 -0
- package/ui/lib/studio-run-open.d.ts +15 -0
- package/ui/lib/studio-run-open.js +16 -0
- package/ui/lib/studio-session.d.ts +34 -0
- package/ui/lib/studio-session.js +17 -0
- package/ui/lib/studio-settings.d.ts +15 -0
- package/ui/lib/studio-settings.js +48 -0
- package/ui/lib/studio-store.d.ts +64 -0
- package/ui/lib/studio-store.js +391 -0
- package/ui/lib/studio-watch.d.ts +12 -0
- package/ui/lib/studio-watch.js +27 -0
- package/ui/lib/tab-fills.d.ts +6 -0
- package/ui/lib/tab-fills.js +14 -0
- package/ui/lib/tool-credentials.d.ts +3 -0
- package/ui/lib/tool-credentials.js +23 -0
- package/ui/lib/tool-probe.d.ts +19 -0
- package/ui/lib/tool-probe.js +104 -0
- package/ui/lib/type-icons.d.ts +35 -0
- package/ui/lib/type-icons.js +38 -0
- package/ui/lib/when-idle.d.ts +5 -0
- package/ui/lib/when-idle.js +14 -0
- package/ui/lib/zip.d.ts +5 -0
- package/ui/lib/zip.js +8 -0
- package/ui/map-token.css +11 -0
- package/ui/map-token.d.ts +17 -0
- package/ui/map-token.js +29 -0
- package/ui/mcp-icon.d.ts +6 -0
- package/ui/mcp-icon.js +8 -0
- package/ui/motion.css +113 -0
- package/ui/pan.d.ts +32 -0
- package/ui/pan.js +90 -0
- package/ui/profile-editor.d.ts +33 -0
- package/ui/profile-editor.js +2638 -0
- package/ui/provider-editor.d.ts +15 -0
- package/ui/provider-editor.js +92 -0
- package/ui/read-map.css +48 -0
- package/ui/read-map.d.ts +7 -0
- package/ui/read-map.js +163 -0
- package/ui/refusal-detail.d.ts +4 -0
- package/ui/refusal-detail.js +21 -0
- package/ui/shared-change.d.ts +9 -0
- package/ui/shared-change.js +28 -0
- package/ui/shell-motion.css +121 -0
- package/ui/shell-motion.d.ts +73 -0
- package/ui/shell-motion.js +194 -0
- package/ui/studio-code-pane.d.ts +19 -0
- package/ui/studio-code-pane.js +44 -0
- package/ui/studio-compare.d.ts +80 -0
- package/ui/studio-compare.js +326 -0
- package/ui/studio-conflicts.d.ts +17 -0
- package/ui/studio-conflicts.js +87 -0
- package/ui/studio-connection.d.ts +64 -0
- package/ui/studio-connection.js +286 -0
- package/ui/studio-decision.d.ts +6 -0
- package/ui/studio-decision.js +49 -0
- package/ui/studio-embedding.d.ts +6 -0
- package/ui/studio-embedding.js +30 -0
- package/ui/studio-host-console.d.ts +6 -0
- package/ui/studio-host-console.js +17 -0
- package/ui/studio-host.d.ts +73 -0
- package/ui/studio-host.js +12 -0
- package/ui/studio-live.d.ts +17 -0
- package/ui/studio-live.js +26 -0
- package/ui/studio-map.css +273 -0
- package/ui/studio-map.d.ts +17 -0
- package/ui/studio-map.js +397 -0
- package/ui/studio-nav.d.ts +24 -0
- package/ui/studio-nav.js +17 -0
- package/ui/studio-no-project.d.ts +5 -0
- package/ui/studio-no-project.js +9 -0
- package/ui/studio-run.css +76 -0
- package/ui/studio-run.d.ts +14 -0
- package/ui/studio-run.js +119 -0
- package/ui/studio-runner.d.ts +45 -0
- package/ui/studio-runner.js +187 -0
- package/ui/studio-save.d.ts +49 -0
- package/ui/studio-save.js +307 -0
- package/ui/studio-screen.d.ts +61 -0
- package/ui/studio-screen.js +2078 -0
- package/ui/studio-settings.d.ts +31 -0
- package/ui/studio-settings.js +288 -0
- package/ui/studio-shell.css +27 -0
- package/ui/studio-shell.d.ts +43 -0
- package/ui/studio-shell.js +87 -0
- package/ui/studio-theme.d.ts +7 -0
- package/ui/studio-theme.js +94 -0
- package/ui/studio.css +427 -0
- package/ui/theorem-mark.css +84 -0
- package/ui/theorem-mark.d.ts +22 -0
- package/ui/theorem-mark.js +21 -0
- package/vite.d.mts +30 -0
- package/vite.mjs +277 -0
- package/workspace.d.ts +230 -0
- package/workspace.js +1054 -0
|
@@ -0,0 +1,705 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* @generated by `astryx theme build` — do not edit manually.
|
|
3
|
+
* Source: ui/studio-theme.ts
|
|
4
|
+
* Command: astryx theme build ui/studio-theme.ts --out ui/built/theme.css
|
|
5
|
+
* CLI: @astryxdesign/cli@0.7.0
|
|
6
|
+
* Core: @astryxdesign/core@0.7.0
|
|
7
|
+
*/
|
|
8
|
+
|
|
9
|
+
import { theoremTheme } from '@theoremjs/react/ui/theme';
|
|
10
|
+
import { tablerIcons } from "@theoremjs/react/ui/icons";
|
|
11
|
+
const themeIcons = {...theoremTheme["icons"], ...tablerIcons};
|
|
12
|
+
/**
|
|
13
|
+
* theorem-studio theme — built by `npx @astryxdesign/cli theme build`
|
|
14
|
+
* Import the CSS file alongside this module:
|
|
15
|
+
*
|
|
16
|
+
* import { theoremStudioTheme } from './theorem-studio';
|
|
17
|
+
* import './theorem-studio.css';
|
|
18
|
+
*/
|
|
19
|
+
export const theoremStudioTheme = {
|
|
20
|
+
name: 'theorem-studio',
|
|
21
|
+
__built: true,
|
|
22
|
+
tokens: {
|
|
23
|
+
"--font-size-4xs": "0.375rem",
|
|
24
|
+
"--font-size-3xs": "0.4375rem",
|
|
25
|
+
"--font-size-2xs": "0.5rem",
|
|
26
|
+
"--font-size-xs": "0.6875rem",
|
|
27
|
+
"--font-size-sm": "0.875rem",
|
|
28
|
+
"--font-size-base": "1rem",
|
|
29
|
+
"--font-size-lg": "1.1875rem",
|
|
30
|
+
"--font-size-xl": "1.375rem",
|
|
31
|
+
"--font-size-2xl": "1.625rem",
|
|
32
|
+
"--font-size-3xl": "2rem",
|
|
33
|
+
"--font-size-4xl": "2.375rem",
|
|
34
|
+
"--font-size-5xl": "2.75rem",
|
|
35
|
+
"--text-heading-1-size": "var(--font-size-2xl)",
|
|
36
|
+
"--text-heading-1-weight": "var(--font-weight-semibold)",
|
|
37
|
+
"--text-heading-1-leading": "1.3333",
|
|
38
|
+
"--text-heading-2-size": "var(--font-size-xl)",
|
|
39
|
+
"--text-heading-2-weight": "var(--font-weight-semibold)",
|
|
40
|
+
"--text-heading-2-leading": "1.4",
|
|
41
|
+
"--text-heading-3-size": "var(--font-size-lg)",
|
|
42
|
+
"--text-heading-3-weight": "var(--font-weight-bold)",
|
|
43
|
+
"--text-heading-3-leading": "1.4118",
|
|
44
|
+
"--text-heading-4-size": "var(--font-size-base)",
|
|
45
|
+
"--text-heading-4-weight": "var(--font-weight-bold)",
|
|
46
|
+
"--text-heading-4-leading": "1.4286",
|
|
47
|
+
"--text-heading-5-size": "var(--font-size-sm)",
|
|
48
|
+
"--text-heading-5-weight": "var(--font-weight-semibold)",
|
|
49
|
+
"--text-heading-5-leading": "1.6667",
|
|
50
|
+
"--text-heading-6-size": "var(--font-size-xs)",
|
|
51
|
+
"--text-heading-6-weight": "var(--font-weight-semibold)",
|
|
52
|
+
"--text-heading-6-leading": "1.6",
|
|
53
|
+
"--text-body-size": "var(--font-size-base)",
|
|
54
|
+
"--text-body-weight": "var(--font-weight-normal)",
|
|
55
|
+
"--text-body-leading": "1.4286",
|
|
56
|
+
"--text-large-size": "var(--font-size-lg)",
|
|
57
|
+
"--text-large-weight": "var(--font-weight-semibold)",
|
|
58
|
+
"--text-large-leading": "1.4118",
|
|
59
|
+
"--text-label-size": "var(--font-size-base)",
|
|
60
|
+
"--text-label-weight": "var(--font-weight-medium)",
|
|
61
|
+
"--text-label-leading": "1.4286",
|
|
62
|
+
"--text-code-size": "var(--font-size-base)",
|
|
63
|
+
"--text-code-weight": "var(--font-weight-normal)",
|
|
64
|
+
"--text-code-leading": "1.4286",
|
|
65
|
+
"--text-supporting-size": "var(--font-size-sm)",
|
|
66
|
+
"--text-supporting-weight": "var(--font-weight-normal)",
|
|
67
|
+
"--text-supporting-leading": "1.6667",
|
|
68
|
+
"--text-display-1-size": "var(--font-size-5xl)",
|
|
69
|
+
"--text-display-1-weight": "var(--font-weight-normal)",
|
|
70
|
+
"--text-display-1-leading": "1.2381",
|
|
71
|
+
"--text-display-2-size": "var(--font-size-4xl)",
|
|
72
|
+
"--text-display-2-weight": "var(--font-weight-normal)",
|
|
73
|
+
"--text-display-2-leading": "1.2571",
|
|
74
|
+
"--text-display-3-size": "var(--font-size-3xl)",
|
|
75
|
+
"--text-display-3-weight": "var(--font-weight-normal)",
|
|
76
|
+
"--text-display-3-leading": "1.3793",
|
|
77
|
+
"--duration-fast-min": "95ms",
|
|
78
|
+
"--duration-fast": "125ms",
|
|
79
|
+
"--duration-fast-max": "165ms",
|
|
80
|
+
"--duration-medium-min": "225ms",
|
|
81
|
+
"--duration-medium": "300ms",
|
|
82
|
+
"--duration-medium-max": "400ms",
|
|
83
|
+
"--duration-slow-min": "525ms",
|
|
84
|
+
"--duration-slow": "700ms",
|
|
85
|
+
"--duration-slow-max": "935ms",
|
|
86
|
+
"--font-family-body": "Figtree, -apple-system, BlinkMacSystemFont, \"Segoe UI\", Roboto, Helvetica, Arial, sans-serif",
|
|
87
|
+
"--font-family-heading": "Figtree, -apple-system, BlinkMacSystemFont, \"Segoe UI\", Roboto, Helvetica, Arial, sans-serif",
|
|
88
|
+
"--font-family-code": "ui-monospace, \"SF Mono\", Monaco, Consolas, \"Liberation Mono\", \"Courier New\", monospace",
|
|
89
|
+
"--color-syntax-keyword": "light-dark(#6b187c, #efa8ff)",
|
|
90
|
+
"--color-syntax-string": "light-dark(#0b5615, #a4d6a3)",
|
|
91
|
+
"--color-syntax-comment": "light-dark(#6a6a6a, #9e9e9e)",
|
|
92
|
+
"--color-syntax-number": "light-dark(#733100, #ffb37e)",
|
|
93
|
+
"--color-syntax-function": "light-dark(#00458c, #a1caff)",
|
|
94
|
+
"--color-syntax-type": "light-dark(#6b187c, #efa8ff)",
|
|
95
|
+
"--color-syntax-variable": "light-dark(#111111, #e2e2e2)",
|
|
96
|
+
"--color-syntax-operator": "light-dark(#6a6a6a, #9e9e9e)",
|
|
97
|
+
"--color-syntax-constant": "light-dark(#733100, #ffb37e)",
|
|
98
|
+
"--color-syntax-tag": "light-dark(#8a0011, #ffaea7)",
|
|
99
|
+
"--color-syntax-attribute": "light-dark(#584400, #eec448)",
|
|
100
|
+
"--color-syntax-property": "light-dark(#005348, #90d7c8)",
|
|
101
|
+
"--color-syntax-punctuation": "light-dark(#6a6a6a, #9e9e9e)",
|
|
102
|
+
"--color-syntax-background": "light-dark(#ffffff, #111111)",
|
|
103
|
+
"--color-background-surface": "light-dark(#ffffff, #262626)",
|
|
104
|
+
"--color-background-body": "#000000",
|
|
105
|
+
"--color-background-card": "light-dark(#ffffff, #1b1b1b)",
|
|
106
|
+
"--color-background-popover": "light-dark(#ffffff, #1b1b1b)",
|
|
107
|
+
"--color-background-muted": "light-dark(#f1f1f1, #1b1b1b)",
|
|
108
|
+
"--color-accent": "light-dark(#1b1b1b, #f1f1f1)",
|
|
109
|
+
"--color-accent-muted": "light-dark(#f1f1f1, #262626)",
|
|
110
|
+
"--color-neutral": "light-dark(#0000000F, #ffffff1A)",
|
|
111
|
+
"--color-overlay": "light-dark(#00000080, #000000CC)",
|
|
112
|
+
"--color-overlay-hover": "light-dark(#0000000D, #ffffff0D)",
|
|
113
|
+
"--color-overlay-pressed": "light-dark(#0000001A, #ffffff1A)",
|
|
114
|
+
"--color-text-primary": "light-dark(#000000, #ffffff)",
|
|
115
|
+
"--color-text-secondary": "light-dark(#474747, #9e9e9e)",
|
|
116
|
+
"--color-text-disabled": "light-dark(#919191, #525252)",
|
|
117
|
+
"--color-text-accent": "light-dark(#1b1b1b, #f1f1f1)",
|
|
118
|
+
"--color-on-dark": "#ffffff",
|
|
119
|
+
"--color-on-light": "#111111",
|
|
120
|
+
"--color-on-accent": "light-dark(#ffffff, #111111)",
|
|
121
|
+
"--color-on-success": "light-dark(#ffffff, #111111)",
|
|
122
|
+
"--color-on-error": "light-dark(#ffffff, #111111)",
|
|
123
|
+
"--color-on-warning": "#111111",
|
|
124
|
+
"--color-icon-accent": "light-dark(#1b1b1b, #f1f1f1)",
|
|
125
|
+
"--color-icon-primary": "light-dark(#000000, #ffffff)",
|
|
126
|
+
"--color-icon-secondary": "light-dark(#6a6a6a, #9e9e9e)",
|
|
127
|
+
"--color-icon-disabled": "light-dark(#919191, #525252)",
|
|
128
|
+
"--color-success": "light-dark(#00490b, #a4d6a3)",
|
|
129
|
+
"--color-error": "light-dark(#76000c, #ffc4be)",
|
|
130
|
+
"--color-warning": "light-dark(#4b3900, #f8d36a)",
|
|
131
|
+
"--color-success-muted": "light-dark(#bce0bb, #90ca903D)",
|
|
132
|
+
"--color-error-muted": "light-dark(#ffc4be, #ff98903D)",
|
|
133
|
+
"--color-warning-muted": "light-dark(#fae19e, #e2b6233D)",
|
|
134
|
+
"--color-border": "light-dark(#00000014, #ffffff1A)",
|
|
135
|
+
"--color-border-emphasized": "light-dark(#d4d4d4, #525252)",
|
|
136
|
+
"--color-skeleton": "light-dark(#f1f1f1, #525252)",
|
|
137
|
+
"--color-shadow": "light-dark(#0000001A, #0000004D)",
|
|
138
|
+
"--color-tint-hover": "light-dark(black, white)",
|
|
139
|
+
"--color-background-red": "light-dark(#ffc4be, #5b2b28)",
|
|
140
|
+
"--color-border-red": "light-dark(#ffaea7, #fa6762)",
|
|
141
|
+
"--color-icon-red": "light-dark(#76000c, #ff9890)",
|
|
142
|
+
"--color-text-red": "light-dark(#76000c, #ffaea7)",
|
|
143
|
+
"--color-background-orange": "light-dark(#ffc7a1, #503424)",
|
|
144
|
+
"--color-border-orange": "light-dark(#ffc7a1, #df843f)",
|
|
145
|
+
"--color-icon-orange": "light-dark(#622700, #ff9e55)",
|
|
146
|
+
"--color-text-orange": "light-dark(#622700, #ffb37e)",
|
|
147
|
+
"--color-background-yellow": "light-dark(#fae19e, #453a1c)",
|
|
148
|
+
"--color-border-yellow": "light-dark(#e3c36c, #c29900)",
|
|
149
|
+
"--color-icon-yellow": "light-dark(#4b3900, #e2b623)",
|
|
150
|
+
"--color-text-yellow": "light-dark(#4b3900, #eec448)",
|
|
151
|
+
"--color-background-green": "light-dark(#bce0bb, #2b422b)",
|
|
152
|
+
"--color-border-green": "light-dark(#aad4a9, #6ab26b)",
|
|
153
|
+
"--color-icon-green": "light-dark(#00490b, #90ca90)",
|
|
154
|
+
"--color-text-green": "light-dark(#00490b, #90ca90)",
|
|
155
|
+
"--color-background-teal": "light-dark(#a9e2d6, #28413c)",
|
|
156
|
+
"--color-border-teal": "light-dark(#90d7c8, #4fb1a0)",
|
|
157
|
+
"--color-icon-teal": "light-dark(#00463d, #81c9bb)",
|
|
158
|
+
"--color-text-teal": "light-dark(#00463d, #90d7c8)",
|
|
159
|
+
"--color-background-cyan": "light-dark(#9ae2f4, #274046)",
|
|
160
|
+
"--color-border-cyan": "light-dark(#85d5e9, #49adc4)",
|
|
161
|
+
"--color-icon-cyan": "light-dark(#004351, #71c7dd)",
|
|
162
|
+
"--color-text-cyan": "light-dark(#004351, #85d5e9)",
|
|
163
|
+
"--color-background-blue": "light-dark(#b9d7ff, #253c5a)",
|
|
164
|
+
"--color-border-blue": "light-dark(#a1caff, #5aa0f8)",
|
|
165
|
+
"--color-icon-blue": "light-dark(#003978, #88bcff)",
|
|
166
|
+
"--color-text-blue": "light-dark(#003978, #a1caff)",
|
|
167
|
+
"--color-background-purple": "light-dark(#f7d5ff, #4a2f51)",
|
|
168
|
+
"--color-border-purple": "light-dark(#f3bfff, #d885eb)",
|
|
169
|
+
"--color-icon-purple": "light-dark(#5c0e6c, #e496f6)",
|
|
170
|
+
"--color-text-purple": "light-dark(#5c0e6c, #eaacf8)",
|
|
171
|
+
"--color-background-pink": "light-dark(#ffc0d7, #572b3d)",
|
|
172
|
+
"--color-border-pink": "light-dark(#ffc0d7, #fc78b1)",
|
|
173
|
+
"--color-icon-pink": "light-dark(#70003f, #fd92bd)",
|
|
174
|
+
"--color-text-pink": "light-dark(#70003f, #ffa9ca)",
|
|
175
|
+
"--color-background-gray": "light-dark(#e2e2e2, #303030)",
|
|
176
|
+
"--color-border-gray": "light-dark(#d4d4d4, #262626)",
|
|
177
|
+
"--color-icon-gray": "light-dark(#474747, #9e9e9e)",
|
|
178
|
+
"--color-text-gray": "light-dark(#1b1b1b, #d4d4d4)",
|
|
179
|
+
"--radius-none": "0px",
|
|
180
|
+
"--radius-inner": "0.375rem",
|
|
181
|
+
"--radius-element": "0.625rem",
|
|
182
|
+
"--radius-container": "0.75rem",
|
|
183
|
+
"--radius-page": "1.75rem",
|
|
184
|
+
"--radius-full": "9999px",
|
|
185
|
+
"--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%))",
|
|
186
|
+
"--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%))",
|
|
187
|
+
"--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%))",
|
|
188
|
+
"--shadow-inset-hover": "inset 0px 0px 0px 2px #0074e24D",
|
|
189
|
+
"--shadow-inset-selected": "inset 0px 0px 0px 2px #0074e280",
|
|
190
|
+
"--shadow-inset-success": "inset 0px 0px 0px 2px #2f7d334D",
|
|
191
|
+
"--shadow-inset-warning": "inset 0px 0px 0px 2px #f8d36a4D",
|
|
192
|
+
"--shadow-inset-error": "inset 0px 0px 0px 2px #de47454D"
|
|
193
|
+
},
|
|
194
|
+
localTokens: {
|
|
195
|
+
"--astryx-theme-neutral-color-status-fill-accent": "light-dark(#0074e2, #6d9cfe)",
|
|
196
|
+
"--astryx-theme-neutral-color-status-fill-success": "light-dark(#198100, #64af4c)",
|
|
197
|
+
"--astryx-theme-neutral-color-status-fill-warning": "#ffce2f",
|
|
198
|
+
"--astryx-theme-neutral-color-status-fill-error": "light-dark(#c9303a, #ff705d)",
|
|
199
|
+
"--astryx-theme-neutral-color-status-muted-accent": "light-dark(#b9d7ff, #88bcff3D)",
|
|
200
|
+
"--astryx-theme-neutral-color-on-tint-neutral": "light-dark(#fafafa4D, #0a0a0a4D)",
|
|
201
|
+
"--astryx-theme-neutral-color-on-tint-overlay-hover": "light-dark(#fafafa1A, #0a0a0a1A)",
|
|
202
|
+
"--astryx-theme-neutral-color-on-tint-overlay-pressed": "light-dark(#fafafa33, #0a0a0a33)",
|
|
203
|
+
"--astryx-theme-neutral-color-destructive-overlay-hover": "light-dark(#ff7f770D, #ee736c0D)",
|
|
204
|
+
"--astryx-theme-neutral-color-destructive-overlay-pressed": "light-dark(#ff7f771A, #ee736c1A)"
|
|
205
|
+
},
|
|
206
|
+
__localTokenOwners: {
|
|
207
|
+
"--astryx-theme-neutral-color-status-fill-accent": "neutral",
|
|
208
|
+
"--astryx-theme-neutral-color-status-fill-success": "neutral",
|
|
209
|
+
"--astryx-theme-neutral-color-status-fill-warning": "neutral",
|
|
210
|
+
"--astryx-theme-neutral-color-status-fill-error": "neutral",
|
|
211
|
+
"--astryx-theme-neutral-color-status-muted-accent": "neutral",
|
|
212
|
+
"--astryx-theme-neutral-color-on-tint-neutral": "neutral",
|
|
213
|
+
"--astryx-theme-neutral-color-on-tint-overlay-hover": "neutral",
|
|
214
|
+
"--astryx-theme-neutral-color-on-tint-overlay-pressed": "neutral",
|
|
215
|
+
"--astryx-theme-neutral-color-destructive-overlay-hover": "neutral",
|
|
216
|
+
"--astryx-theme-neutral-color-destructive-overlay-pressed": "neutral"
|
|
217
|
+
},
|
|
218
|
+
__localTokenLineage: ["neutral","theorem","theorem-studio"],
|
|
219
|
+
components: {
|
|
220
|
+
"heading": {
|
|
221
|
+
"level:1": {
|
|
222
|
+
"fontFamily": "var(--font-family-heading)",
|
|
223
|
+
"fontSize": "var(--text-heading-1-size)",
|
|
224
|
+
"fontWeight": "var(--text-heading-1-weight)",
|
|
225
|
+
"lineHeight": "var(--text-heading-1-leading)"
|
|
226
|
+
},
|
|
227
|
+
"level:2": {
|
|
228
|
+
"fontFamily": "var(--font-family-heading)",
|
|
229
|
+
"fontSize": "var(--text-heading-2-size)",
|
|
230
|
+
"fontWeight": "var(--text-heading-2-weight)",
|
|
231
|
+
"lineHeight": "var(--text-heading-2-leading)"
|
|
232
|
+
},
|
|
233
|
+
"level:3": {
|
|
234
|
+
"fontFamily": "var(--font-family-heading)",
|
|
235
|
+
"fontSize": "var(--text-heading-3-size)",
|
|
236
|
+
"fontWeight": "var(--text-heading-3-weight)",
|
|
237
|
+
"lineHeight": "var(--text-heading-3-leading)"
|
|
238
|
+
},
|
|
239
|
+
"level:4": {
|
|
240
|
+
"fontFamily": "var(--font-family-heading)",
|
|
241
|
+
"fontSize": "var(--text-heading-4-size)",
|
|
242
|
+
"fontWeight": "var(--text-heading-4-weight)",
|
|
243
|
+
"lineHeight": "var(--text-heading-4-leading)"
|
|
244
|
+
},
|
|
245
|
+
"level:5": {
|
|
246
|
+
"fontFamily": "var(--font-family-heading)",
|
|
247
|
+
"fontSize": "var(--text-heading-5-size)",
|
|
248
|
+
"fontWeight": "var(--text-heading-5-weight)",
|
|
249
|
+
"lineHeight": "var(--text-heading-5-leading)"
|
|
250
|
+
},
|
|
251
|
+
"level:6": {
|
|
252
|
+
"fontFamily": "var(--font-family-heading)",
|
|
253
|
+
"fontSize": "var(--text-heading-6-size)",
|
|
254
|
+
"fontWeight": "var(--text-heading-6-weight)",
|
|
255
|
+
"lineHeight": "var(--text-heading-6-leading)"
|
|
256
|
+
},
|
|
257
|
+
"type:display-1": {
|
|
258
|
+
"fontFamily": "var(--font-family-heading)",
|
|
259
|
+
"fontSize": "var(--text-display-1-size)",
|
|
260
|
+
"lineHeight": "var(--text-display-1-leading)"
|
|
261
|
+
},
|
|
262
|
+
"type:display-2": {
|
|
263
|
+
"fontFamily": "var(--font-family-heading)",
|
|
264
|
+
"fontSize": "var(--text-display-2-size)",
|
|
265
|
+
"lineHeight": "var(--text-display-2-leading)"
|
|
266
|
+
},
|
|
267
|
+
"type:display-3": {
|
|
268
|
+
"fontFamily": "var(--font-family-heading)",
|
|
269
|
+
"fontSize": "var(--text-display-3-size)",
|
|
270
|
+
"lineHeight": "var(--text-display-3-leading)"
|
|
271
|
+
}
|
|
272
|
+
},
|
|
273
|
+
"text": {
|
|
274
|
+
"type:body": {
|
|
275
|
+
"fontFamily": "var(--font-family-body)",
|
|
276
|
+
"fontSize": "var(--text-body-size)",
|
|
277
|
+
"lineHeight": "var(--text-body-leading)"
|
|
278
|
+
},
|
|
279
|
+
"type:large": {
|
|
280
|
+
"fontFamily": "var(--font-family-body)",
|
|
281
|
+
"fontSize": "var(--text-large-size)",
|
|
282
|
+
"lineHeight": "var(--text-large-leading)"
|
|
283
|
+
},
|
|
284
|
+
"type:label": {
|
|
285
|
+
"fontFamily": "var(--font-family-body)",
|
|
286
|
+
"fontSize": "var(--text-label-size)",
|
|
287
|
+
"lineHeight": "var(--text-label-leading)"
|
|
288
|
+
},
|
|
289
|
+
"type:code": {
|
|
290
|
+
"fontFamily": "var(--font-family-code)",
|
|
291
|
+
"fontSize": "var(--text-code-size)",
|
|
292
|
+
"lineHeight": "var(--text-code-leading)"
|
|
293
|
+
},
|
|
294
|
+
"type:supporting": {
|
|
295
|
+
"fontFamily": "var(--font-family-body)",
|
|
296
|
+
"fontSize": "var(--text-supporting-size)",
|
|
297
|
+
"lineHeight": "var(--text-supporting-leading)"
|
|
298
|
+
},
|
|
299
|
+
"type:display-1": {
|
|
300
|
+
"fontFamily": "var(--font-family-heading)",
|
|
301
|
+
"fontSize": "var(--text-display-1-size)",
|
|
302
|
+
"lineHeight": "var(--text-display-1-leading)"
|
|
303
|
+
},
|
|
304
|
+
"type:display-2": {
|
|
305
|
+
"fontFamily": "var(--font-family-heading)",
|
|
306
|
+
"fontSize": "var(--text-display-2-size)",
|
|
307
|
+
"lineHeight": "var(--text-display-2-leading)"
|
|
308
|
+
},
|
|
309
|
+
"type:display-3": {
|
|
310
|
+
"fontFamily": "var(--font-family-heading)",
|
|
311
|
+
"fontSize": "var(--text-display-3-size)",
|
|
312
|
+
"lineHeight": "var(--text-display-3-leading)"
|
|
313
|
+
}
|
|
314
|
+
},
|
|
315
|
+
"button": {
|
|
316
|
+
"variant:destructive": {
|
|
317
|
+
"backgroundColor": "var(--color-error-muted)",
|
|
318
|
+
"color": "var(--color-error)",
|
|
319
|
+
"--color-overlay-hover": "var(--astryx-theme-neutral-color-destructive-overlay-hover)",
|
|
320
|
+
"--color-overlay-pressed": "var(--astryx-theme-neutral-color-destructive-overlay-pressed)"
|
|
321
|
+
}
|
|
322
|
+
},
|
|
323
|
+
"badge": {
|
|
324
|
+
"variant:info": {
|
|
325
|
+
"backgroundColor": "var(--astryx-theme-neutral-color-status-fill-accent)",
|
|
326
|
+
"color": "var(--color-on-accent)"
|
|
327
|
+
},
|
|
328
|
+
"variant:neutral": {
|
|
329
|
+
"backgroundColor": "var(--color-background-gray)",
|
|
330
|
+
"color": "var(--color-text-gray)"
|
|
331
|
+
},
|
|
332
|
+
"variant:success": {
|
|
333
|
+
"backgroundColor": "var(--astryx-theme-neutral-color-status-fill-success)",
|
|
334
|
+
"color": "var(--color-on-success)"
|
|
335
|
+
},
|
|
336
|
+
"variant:warning": {
|
|
337
|
+
"backgroundColor": "var(--astryx-theme-neutral-color-status-fill-warning)",
|
|
338
|
+
"color": "var(--color-on-warning)"
|
|
339
|
+
},
|
|
340
|
+
"variant:error": {
|
|
341
|
+
"backgroundColor": "var(--astryx-theme-neutral-color-status-fill-error)",
|
|
342
|
+
"color": "var(--color-on-error)"
|
|
343
|
+
},
|
|
344
|
+
"variant:red": {
|
|
345
|
+
"backgroundColor": "var(--color-background-red)",
|
|
346
|
+
"color": "var(--color-text-red)"
|
|
347
|
+
},
|
|
348
|
+
"variant:orange": {
|
|
349
|
+
"backgroundColor": "var(--color-background-orange)",
|
|
350
|
+
"color": "var(--color-text-orange)"
|
|
351
|
+
},
|
|
352
|
+
"variant:yellow": {
|
|
353
|
+
"backgroundColor": "var(--color-background-yellow)",
|
|
354
|
+
"color": "var(--color-text-yellow)"
|
|
355
|
+
},
|
|
356
|
+
"variant:green": {
|
|
357
|
+
"backgroundColor": "var(--color-background-green)",
|
|
358
|
+
"color": "var(--color-text-green)"
|
|
359
|
+
},
|
|
360
|
+
"variant:teal": {
|
|
361
|
+
"backgroundColor": "var(--color-background-teal)",
|
|
362
|
+
"color": "var(--color-text-teal)"
|
|
363
|
+
},
|
|
364
|
+
"variant:cyan": {
|
|
365
|
+
"backgroundColor": "var(--color-background-cyan)",
|
|
366
|
+
"color": "var(--color-text-cyan)"
|
|
367
|
+
},
|
|
368
|
+
"variant:blue": {
|
|
369
|
+
"backgroundColor": "var(--color-background-blue)",
|
|
370
|
+
"color": "var(--color-text-blue)"
|
|
371
|
+
},
|
|
372
|
+
"variant:purple": {
|
|
373
|
+
"backgroundColor": "var(--color-background-purple)",
|
|
374
|
+
"color": "var(--color-text-purple)"
|
|
375
|
+
},
|
|
376
|
+
"variant:pink": {
|
|
377
|
+
"backgroundColor": "var(--color-background-pink)",
|
|
378
|
+
"color": "var(--color-text-pink)"
|
|
379
|
+
},
|
|
380
|
+
"variant:gray": {
|
|
381
|
+
"backgroundColor": "var(--color-background-gray)",
|
|
382
|
+
"color": "var(--color-text-gray)"
|
|
383
|
+
}
|
|
384
|
+
},
|
|
385
|
+
"status-dot": {
|
|
386
|
+
"variant:success": {
|
|
387
|
+
"backgroundColor": "var(--astryx-theme-neutral-color-status-fill-success)"
|
|
388
|
+
},
|
|
389
|
+
"variant:warning": {
|
|
390
|
+
"backgroundColor": "var(--astryx-theme-neutral-color-status-fill-warning)"
|
|
391
|
+
},
|
|
392
|
+
"variant:error": {
|
|
393
|
+
"backgroundColor": "var(--astryx-theme-neutral-color-status-fill-error)"
|
|
394
|
+
},
|
|
395
|
+
"variant:accent": {
|
|
396
|
+
"backgroundColor": "var(--astryx-theme-neutral-color-status-fill-accent)"
|
|
397
|
+
}
|
|
398
|
+
},
|
|
399
|
+
"avatar-status-dot": {
|
|
400
|
+
"variant:success": {
|
|
401
|
+
"backgroundColor": "var(--astryx-theme-neutral-color-status-fill-success)"
|
|
402
|
+
},
|
|
403
|
+
"variant:error": {
|
|
404
|
+
"backgroundColor": "var(--astryx-theme-neutral-color-status-fill-error)"
|
|
405
|
+
}
|
|
406
|
+
},
|
|
407
|
+
"segmented-control": {
|
|
408
|
+
"base": {
|
|
409
|
+
"padding": "var(--spacing-1)"
|
|
410
|
+
}
|
|
411
|
+
},
|
|
412
|
+
"segmented-control-item": {
|
|
413
|
+
"size:sm": {
|
|
414
|
+
"height": "calc(var(--size-element-sm) - 8px)"
|
|
415
|
+
},
|
|
416
|
+
"size:md": {
|
|
417
|
+
"height": "calc(var(--size-element-md) - 8px)"
|
|
418
|
+
},
|
|
419
|
+
"size:lg": {
|
|
420
|
+
"height": "calc(var(--size-element-lg) - 8px)"
|
|
421
|
+
},
|
|
422
|
+
"selected": {
|
|
423
|
+
"boxShadow": "none"
|
|
424
|
+
}
|
|
425
|
+
},
|
|
426
|
+
"banner": {
|
|
427
|
+
"base": {
|
|
428
|
+
"--color-neutral": "var(--astryx-theme-neutral-color-on-tint-neutral)",
|
|
429
|
+
"--color-overlay-hover": "var(--astryx-theme-neutral-color-on-tint-overlay-hover)",
|
|
430
|
+
"--color-overlay-pressed": "var(--astryx-theme-neutral-color-on-tint-overlay-pressed)"
|
|
431
|
+
},
|
|
432
|
+
"status:info": {
|
|
433
|
+
"--color-accent-muted": "var(--astryx-theme-neutral-color-status-muted-accent)",
|
|
434
|
+
"--color-text-primary": "var(--color-text-blue)",
|
|
435
|
+
"--color-text-secondary": "var(--color-text-blue)",
|
|
436
|
+
"--color-accent": "var(--color-text-blue)"
|
|
437
|
+
},
|
|
438
|
+
"status:success": {
|
|
439
|
+
"--color-text-primary": "var(--color-text-green)",
|
|
440
|
+
"--color-text-secondary": "var(--color-text-green)",
|
|
441
|
+
"--color-success": "var(--color-text-green)"
|
|
442
|
+
},
|
|
443
|
+
"status:warning": {
|
|
444
|
+
"--color-text-primary": "var(--color-text-yellow)",
|
|
445
|
+
"--color-text-secondary": "var(--color-text-yellow)",
|
|
446
|
+
"--color-warning": "var(--color-text-yellow)"
|
|
447
|
+
},
|
|
448
|
+
"status:error": {
|
|
449
|
+
"--color-text-primary": "var(--color-text-red)",
|
|
450
|
+
"--color-text-secondary": "var(--color-text-red)",
|
|
451
|
+
"--color-error": "var(--color-text-red)"
|
|
452
|
+
}
|
|
453
|
+
},
|
|
454
|
+
"step-indicator": {
|
|
455
|
+
"status:accent": {
|
|
456
|
+
"--color-accent": "var(--astryx-theme-neutral-color-status-fill-accent)"
|
|
457
|
+
},
|
|
458
|
+
"status:success": {
|
|
459
|
+
"--color-success": "var(--astryx-theme-neutral-color-status-fill-success)"
|
|
460
|
+
},
|
|
461
|
+
"status:warning": {
|
|
462
|
+
"--color-warning": "var(--astryx-theme-neutral-color-status-fill-warning)"
|
|
463
|
+
},
|
|
464
|
+
"status:error": {
|
|
465
|
+
"--color-error": "var(--astryx-theme-neutral-color-status-fill-error)"
|
|
466
|
+
}
|
|
467
|
+
},
|
|
468
|
+
"switch": {
|
|
469
|
+
"base": {
|
|
470
|
+
"--color-background-gray": "var(--color-border-emphasized)"
|
|
471
|
+
}
|
|
472
|
+
},
|
|
473
|
+
"progress-bar": {
|
|
474
|
+
"base": {
|
|
475
|
+
"--color-background-muted": "var(--color-border-emphasized)"
|
|
476
|
+
},
|
|
477
|
+
"variant:accent": {
|
|
478
|
+
"--color-accent": "var(--astryx-theme-neutral-color-status-fill-accent)"
|
|
479
|
+
},
|
|
480
|
+
"variant:success": {
|
|
481
|
+
"--color-success": "var(--astryx-theme-neutral-color-status-fill-success)"
|
|
482
|
+
},
|
|
483
|
+
"variant:warning": {
|
|
484
|
+
"--color-warning": "var(--astryx-theme-neutral-color-status-fill-warning)"
|
|
485
|
+
},
|
|
486
|
+
"variant:error": {
|
|
487
|
+
"--color-error": "var(--astryx-theme-neutral-color-status-fill-error)"
|
|
488
|
+
}
|
|
489
|
+
},
|
|
490
|
+
"card": {
|
|
491
|
+
"base": {
|
|
492
|
+
"padding": "var(--spacing-3)"
|
|
493
|
+
},
|
|
494
|
+
"variant:bubble": {
|
|
495
|
+
"backgroundColor": "var(--color-neutral)",
|
|
496
|
+
"borderRadius": "var(--radius-chat)",
|
|
497
|
+
"paddingBlock": "var(--spacing-3)",
|
|
498
|
+
"paddingInline": "var(--spacing-4)"
|
|
499
|
+
}
|
|
500
|
+
},
|
|
501
|
+
"section": {
|
|
502
|
+
"base": {
|
|
503
|
+
"padding": "var(--spacing-3)"
|
|
504
|
+
},
|
|
505
|
+
"variant:raised": {
|
|
506
|
+
"backgroundColor": "var(--color-background-surface)",
|
|
507
|
+
"borderRadius": "var(--radius-page)",
|
|
508
|
+
"overflow": "clip"
|
|
509
|
+
}
|
|
510
|
+
},
|
|
511
|
+
"lightbox": {
|
|
512
|
+
"base": {
|
|
513
|
+
"padding": "var(--spacing-12)",
|
|
514
|
+
"::backdrop": {
|
|
515
|
+
"backgroundColor": "light-dark(#00000059, #00000099)"
|
|
516
|
+
}
|
|
517
|
+
}
|
|
518
|
+
},
|
|
519
|
+
"collapsible-content": {
|
|
520
|
+
"base": {
|
|
521
|
+
"display": "block",
|
|
522
|
+
"overflow": "clip",
|
|
523
|
+
"interpolateSize": "allow-keywords",
|
|
524
|
+
"transition": "height var(--duration-medium) var(--ease-standard), padding-top var(--duration-medium) var(--ease-standard), content-visibility var(--duration-medium) allow-discrete",
|
|
525
|
+
":where([aria-expanded=\"false\"] + *)": {
|
|
526
|
+
"height": "0",
|
|
527
|
+
"paddingTop": "0",
|
|
528
|
+
"contentVisibility": "hidden"
|
|
529
|
+
}
|
|
530
|
+
}
|
|
531
|
+
},
|
|
532
|
+
"citation": {
|
|
533
|
+
"base": {
|
|
534
|
+
":where(*) > [aria-hidden=\"true\"]": {
|
|
535
|
+
"backgroundColor": "transparent",
|
|
536
|
+
"borderWidth": "0",
|
|
537
|
+
"borderRadius": "0"
|
|
538
|
+
},
|
|
539
|
+
":where(*) > [aria-hidden=\"true\"] > img": {
|
|
540
|
+
"width": "100%",
|
|
541
|
+
"height": "100%"
|
|
542
|
+
}
|
|
543
|
+
}
|
|
544
|
+
},
|
|
545
|
+
"chat-tool-calls": {
|
|
546
|
+
"base": {
|
|
547
|
+
":where(*) [role=\"button\"][aria-expanded] > span:not(:first-child):not(:has(svg))": {
|
|
548
|
+
"alignSelf": "baseline"
|
|
549
|
+
}
|
|
550
|
+
}
|
|
551
|
+
},
|
|
552
|
+
"code-block": {
|
|
553
|
+
"container:card": {
|
|
554
|
+
"borderRadius": "var(--radius-container)"
|
|
555
|
+
}
|
|
556
|
+
},
|
|
557
|
+
"layout-panel": {
|
|
558
|
+
"base": {
|
|
559
|
+
":where([role=\"complementary\"])": {
|
|
560
|
+
"transition": "width var(--duration-medium) var(--ease-standard)"
|
|
561
|
+
},
|
|
562
|
+
":where([data-resizing] + [role=\"complementary\"], [role=\"complementary\"]:has(+ [data-resizing]))": {
|
|
563
|
+
"transition": "none"
|
|
564
|
+
}
|
|
565
|
+
}
|
|
566
|
+
},
|
|
567
|
+
"toast": {
|
|
568
|
+
"base": {
|
|
569
|
+
"width": "fit-content",
|
|
570
|
+
"minWidth": "min(240px, 100%)",
|
|
571
|
+
"justifySelf": "end"
|
|
572
|
+
}
|
|
573
|
+
},
|
|
574
|
+
"layout-content": {
|
|
575
|
+
"base": {
|
|
576
|
+
":where([role=\"main\"])": {
|
|
577
|
+
"height": "calc(100% - 2 * var(--spacing-4))",
|
|
578
|
+
"marginBlock": "var(--spacing-4)",
|
|
579
|
+
"marginInlineEnd": "var(--spacing-4)",
|
|
580
|
+
"borderRadius": "var(--radius-page)"
|
|
581
|
+
}
|
|
582
|
+
}
|
|
583
|
+
},
|
|
584
|
+
"side-nav-section": {
|
|
585
|
+
"base": {
|
|
586
|
+
"paddingBlock": "var(--spacing-3)"
|
|
587
|
+
}
|
|
588
|
+
},
|
|
589
|
+
"tree-list-item": {
|
|
590
|
+
"selected:selected": {
|
|
591
|
+
"backgroundColor": "var(--color-overlay-pressed)"
|
|
592
|
+
}
|
|
593
|
+
},
|
|
594
|
+
"tree-list-item-label": {
|
|
595
|
+
"base": {
|
|
596
|
+
"minWidth": "0",
|
|
597
|
+
"overflow": "hidden",
|
|
598
|
+
"textOverflow": "ellipsis",
|
|
599
|
+
"whiteSpace": "nowrap"
|
|
600
|
+
}
|
|
601
|
+
},
|
|
602
|
+
"code": {
|
|
603
|
+
"base": {
|
|
604
|
+
"fontFamily": "inherit"
|
|
605
|
+
}
|
|
606
|
+
}
|
|
607
|
+
},
|
|
608
|
+
__onDark: {
|
|
609
|
+
"tokens": {
|
|
610
|
+
"color-scheme": "dark",
|
|
611
|
+
"--color-text-primary": "var(--color-on-dark)",
|
|
612
|
+
"--color-icon-primary": "var(--color-on-dark)",
|
|
613
|
+
"--color-accent": "var(--color-on-dark)"
|
|
614
|
+
}
|
|
615
|
+
},
|
|
616
|
+
__onLight: {
|
|
617
|
+
"tokens": {
|
|
618
|
+
"color-scheme": "light",
|
|
619
|
+
"--color-text-primary": "var(--color-on-light)",
|
|
620
|
+
"--color-icon-primary": "var(--color-on-light)",
|
|
621
|
+
"--color-accent": "var(--color-on-light)"
|
|
622
|
+
}
|
|
623
|
+
},
|
|
624
|
+
__adaptations: {
|
|
625
|
+
"widthBreakpoints": {
|
|
626
|
+
"sm": 640,
|
|
627
|
+
"md": 768,
|
|
628
|
+
"lg": 1024,
|
|
629
|
+
"xl": 1280,
|
|
630
|
+
"2xl": 1536
|
|
631
|
+
},
|
|
632
|
+
"rules": [
|
|
633
|
+
{
|
|
634
|
+
"when": {
|
|
635
|
+
"pointer": "coarse",
|
|
636
|
+
"width": {
|
|
637
|
+
"below": "lg"
|
|
638
|
+
}
|
|
639
|
+
},
|
|
640
|
+
"value": {
|
|
641
|
+
"typography": {
|
|
642
|
+
"scale": {
|
|
643
|
+
"base": 16,
|
|
644
|
+
"ratio": 1.1736
|
|
645
|
+
}
|
|
646
|
+
}
|
|
647
|
+
}
|
|
648
|
+
},
|
|
649
|
+
{
|
|
650
|
+
"when": {
|
|
651
|
+
"motion": "reduce"
|
|
652
|
+
},
|
|
653
|
+
"value": {
|
|
654
|
+
"components": {
|
|
655
|
+
"collapsible-content": {
|
|
656
|
+
"base": {
|
|
657
|
+
"transition": "none"
|
|
658
|
+
}
|
|
659
|
+
},
|
|
660
|
+
"layout-panel": {
|
|
661
|
+
"base": {
|
|
662
|
+
":where([role=\"complementary\"])": {
|
|
663
|
+
"transition": "none"
|
|
664
|
+
}
|
|
665
|
+
}
|
|
666
|
+
}
|
|
667
|
+
}
|
|
668
|
+
}
|
|
669
|
+
}
|
|
670
|
+
]
|
|
671
|
+
},
|
|
672
|
+
__axes: {
|
|
673
|
+
"typography": {
|
|
674
|
+
"scale": {
|
|
675
|
+
"base": 14,
|
|
676
|
+
"ratio": 1.2
|
|
677
|
+
},
|
|
678
|
+
"body": {
|
|
679
|
+
"family": "Figtree",
|
|
680
|
+
"fallbacks": "-apple-system, BlinkMacSystemFont, \"Segoe UI\", Roboto, Helvetica, Arial, sans-serif"
|
|
681
|
+
},
|
|
682
|
+
"heading": {
|
|
683
|
+
"family": "Figtree",
|
|
684
|
+
"fallbacks": "-apple-system, BlinkMacSystemFont, \"Segoe UI\", Roboto, Helvetica, Arial, sans-serif",
|
|
685
|
+
"weights": {
|
|
686
|
+
"3": "bold",
|
|
687
|
+
"4": "bold"
|
|
688
|
+
}
|
|
689
|
+
},
|
|
690
|
+
"code": {
|
|
691
|
+
"family": "ui-monospace",
|
|
692
|
+
"fallbacks": "\"SF Mono\", Monaco, Consolas, \"Liberation Mono\", \"Courier New\", monospace"
|
|
693
|
+
}
|
|
694
|
+
},
|
|
695
|
+
"motion": {
|
|
696
|
+
"fast": 125,
|
|
697
|
+
"medium": 300,
|
|
698
|
+
"slow": 700,
|
|
699
|
+
"ratio": 0.75
|
|
700
|
+
}
|
|
701
|
+
},
|
|
702
|
+
icons: themeIcons,
|
|
703
|
+
};
|
|
704
|
+
|
|
705
|
+
export { themeIcons };
|