{theme, ...}: '' $text: #${theme.colors.text}; $subtext: #${theme.colors.subtext}; $base: #${theme.colors.base}; $surface: #${theme.colors.surface}; $overlay: #${theme.colors.overlay}; $primary: #${theme.colors.primary}; $success: #${theme.colors.success}; $warning: #${theme.colors.warning}; $error: #${theme.colors.error}; $border: ${toString theme.borderWidth}px; $inner-radius: ${toString theme.innerRadius}px; $outer-radius: ${toString theme.outerRadius}px; $inner-gap: ${toString theme.innerGap}px; $outer-gap: ${toString theme.outerGap}px; $font-name: "${theme.font.regular}", "${theme.font.monospace}"; $font-size: ${toString theme.font.size}px; ''