1import { tags as t } from '@lezer/highlight';
2import { createTheme } from './theme-helper.mjs';
3
4export const settings = {
5  light: true,
6  background: '#e1e2e7',
7  lineBackground: '#e1e2e799',
8  foreground: '#3760bf',
9  muted: '#3760bf50',
10  caret: '#3760bf',
11  selection: '#99a7df',
12  selectionMatch: '#99a7df',
13  gutterBackground: '#e1e2e7',
14  gutterForeground: '#3760bf',
15  gutterBorder: 'transparent',
16  lineHighlight: '#5f5faf11',
17};
18
19export default createTheme({
20  theme: 'light',
21  settings: {
22    background: '#e1e2e7',
23    foreground: '#3760bf',
24    muted: '#3760bf50',
25    caret: '#3760bf',
26    selection: '#99a7df',
27    selectionMatch: '#99a7df',
28    gutterBackground: '#e1e2e7',
29    gutterForeground: '#3760bf',
30    gutterBorder: 'transparent',
31    lineHighlight: '#5f5faf11',
32  },
33  styles: [
34    { tag: t.keyword, color: '#007197' },
35    { tag: [t.name, t.deleted, t.character, t.macroName], color: '#3760bf' },
36    { tag: [t.propertyName], color: '#3760bf' },
37    { tag: [t.processingInstruction, t.string, t.inserted, t.special(t.string)], color: '#587539' },
38    { tag: [t.function(t.variableName), t.labelName], color: '#3760bf' },
39    { tag: [t.color, t.constant(t.name), t.standard(t.name)], color: '#3760bf' },
40    { tag: [t.definition(t.name), t.separator], color: '#3760bf' },
41    { tag: [t.className], color: '#3760bf' },
42    { tag: [t.number, t.changed, t.annotation, t.modifier, t.self, t.namespace], color: '#b15c00' },
43    { tag: [t.typeName], color: '#007197', fontStyle: '#007197' },
44    { tag: [t.operator, t.operatorKeyword], color: '#007197' },
45    { tag: [t.url, t.escape, t.regexp, t.link], color: '#587539' },
46    { tag: [t.meta, t.comment], color: '#848cb5' },
47    { tag: t.strong, fontWeight: 'bold' },
48    { tag: t.emphasis, fontStyle: 'italic' },
49    { tag: t.link, textDecoration: 'underline' },
50    { tag: t.heading, fontWeight: 'bold', color: '#b15c00' },
51    { tag: [t.atom, t.bool, t.special(t.variableName)], color: '#3760bf' },
52    { tag: t.invalid, color: '#f52a65' },
53    { tag: t.strikethrough, textDecoration: 'line-through' },
54  ],
55});