blob: 1efd1fe1ae0101ca79e2135c6f0f0d34321426b9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
{
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;
''
|
