{options, ...}: ''

  $text: #${options.theme.colors.text};
  $subtext: #${options.theme.colors.subtext};

  $base: #${options.theme.colors.base};
  $surface: #${options.theme.colors.surface};
  $overlay: #${options.theme.colors.overlay};

  $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;

''