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
|
export const theme = {
name: "Gruvbox Light",
kind: "light",
main: "#fbf1c7",
mainAlt: "#7c6f64",
minor: "#ebdbb2",
red: "#cc241d",
green: "#98971a",
yellow: "#d79921",
orange: "#d65d0e",
blue: "#458588",
magenta: "#b16286",
cyan: "#689d6a",
black: "#fbf1c7",
white: "#3c3836",
foreground: "#3c3836",
transparentDark: "rgba(0, 0, 0, 0.05)",
defaultFont: "JetBrains Mono, Monaco, Menlo, monospace",
barHeight: "34px",
compactBarHeight: "28px",
barRadius: "3px",
barBorder: "0px solid transparent",
barInnerMargin: "3px",
itemRadius: "2px",
itemInnerMargin: "3px 7px",
itemOuterMargin: "0 0 0 5px",
hoverRing: "0 0 0 2px rgba(255, 255, 255, 0.75)",
focusRing: "0 0 0 2px rgb(255, 255, 255)",
lightShadow: "0 5px 10px rgba(0, 0, 0, 0.24)",
transitionEasing: "cubic-bezier(0.4, 0, 0.2, 1)",
clickEffect: "rgba(255, 255, 255, 0.3)",
};
|
