import { MantineSize, MantineTheme } from '@mantine/core'; export type DesignThemeSpacingTokens = 'space-0' | 'space-025' | 'space-050' | 'space-100' | 'space-150' | 'space-200' | 'space-300' | 'space-400' | 'space-500' | 'space-600' | 'space-700' | 'space-800' | 'space-900'; export type DesignThemeShadowTokens = 'shadow-xs' | 'shadow-above-sm' | 'shadow-below-sm'; export type DesignThemeRadiusTokens = 'radius-0' | 'radius-050' | 'radius-100' | 'radius-150' | 'radius-200' | 'radius-300' | 'radius-400' | 'radius-500' | 'radius-600' | 'radius-full'; export type DesignThemeBorderTokens = 'border-025' | 'border-050'; export type DesignThemeSurfaceColorTokens = 'surface-body-bg' | 'surface-default' | 'surface-disable' | 'surface-level-1' | 'surface-level-2'; export type DesignThemePrimaryColorTokens = 'primary-lighter' | 'primary-light' | 'primary-default' | 'primary-dark' | 'primary-darker'; export type DesignThemeSecondaryColorTokens = 'secondary-lighter' | 'secondary-light' | 'secondary-default' | 'secondary-dark' | 'secondary-darker'; export type DesignThemeSuccessColorTokens = 'success-lighter' | 'success-light' | 'success-default' | 'success-dark' | 'success-darker'; export type DesignThemeDangerColorTokens = 'danger-lighter' | 'danger-light' | 'danger-default' | 'danger-dark' | 'danger-darker' | 'danger-contrast'; export type DesignThemeInfoColorTokens = 'info-lighter' | 'info-light' | 'info-default' | 'info-dark' | 'info-darker'; export type DesignThemeWarningColorTokens = 'warning-lighter' | 'warning-light' | 'warning-default' | 'warning-dark' | 'warning-darker'; export type DesignThemeTextColorTokens = 'text-white' | 'text-light' | 'text-default' | 'text-dark' | 'text-disable'; export type DesignThemeBorderColorTokens = 'border-light' | 'border-default' | 'border-dark'; export type DesignThemeIconColorTokens = 'icon-white' | 'icon-light' | 'icon-default' | 'icon-dark' | 'icon-disable'; export type DesignThemeIconSizeTokens = 'icon-xs' | 'icon-sm' | 'icon-md' | 'icon-lg' | 'icon-xl'; export type DesignThemeHeaderColorTokens = 'header-bg' | 'header-font' | 'header-icon' | 'header-border-color'; export type DesignThemeColorTokens = DesignThemeSurfaceColorTokens | DesignThemePrimaryColorTokens | DesignThemeSecondaryColorTokens | DesignThemeSuccessColorTokens | DesignThemeDangerColorTokens | DesignThemeInfoColorTokens | DesignThemeWarningColorTokens | DesignThemeTextColorTokens | DesignThemeBorderColorTokens | DesignThemeIconColorTokens | DesignThemeHeaderColorTokens; export interface DesignThemeType extends MantineTheme { other: { border: Record; color: Record; iconSize: Record; opacity: Record; radius: Record; space: Record; shadow: Record; }; }