{options, ...}: ''

  $fg: #${options.theme.colors.fg};
  $bg: #${options.theme.colors.bg};

  $surface-fg: #${options.theme.colors.surface.fg};
  $surface-bg: #${options.theme.colors.surface.bg};

  $hover-fg: #${options.theme.colors.hover.fg};
  $hover-bg: #${options.theme.colors.hover.bg};

  $primary: #${options.theme.colors.primary};
  $success: #${options.theme.colors.success};
  $warning: #${options.theme.colors.warning};
  $error: #${options.theme.colors.error};

  $border: ${toString options.theme.borderWidth}px;

  $inner-radius: ${toString options.theme.innerRadius}px;
  $outer-radius: ${toString options.theme.outerRadius}px;

  $inner-gap: ${toString options.theme.innerGap}px;
  $outer-gap: ${toString options.theme.outerGap}px;

  $font-name: "${options.theme.font.regular}", "${options.theme.font.monospace}";
  $font-size: ${toString options.theme.font.size}px;

''