sass-site/source/assets/js/playground/theme.ts

56 lines
1.4 KiB
TypeScript
Raw Normal View History

import { HighlightStyle } from '@codemirror/language';
import { tags } from '@lezer/highlight';
2023-06-02 16:53:32 +02:00
const playgroundHighlightStyle = HighlightStyle.define([
{
tag: [tags.special(tags.variableName), tags.tagName],
2023-06-15 22:22:00 +02:00
color: 'var(--sl-color--code-base)',
},
2023-06-15 22:22:00 +02:00
{
tag: tags.className,
2023-06-14 21:18:38 +02:00
color: 'var(--sl-color--code-cool)',
2023-06-15 22:22:00 +02:00
fontWeight: '600',
2023-06-14 21:18:38 +02:00
},
2023-06-15 22:22:00 +02:00
{
tag: tags.comment,
2023-06-14 21:18:38 +02:00
color: 'var(--sl-color--code-muted)',
2023-06-15 22:22:00 +02:00
fontStyle: 'italic',
2023-06-14 21:18:38 +02:00
},
2023-06-15 22:22:00 +02:00
{
tag: tags.keyword,
color: 'var(--sl-color--code-bright-dark)',
2023-06-15 22:22:00 +02:00
fontWeight: '600',
},
2023-06-15 22:22:00 +02:00
{
tag: tags.controlKeyword,
2023-06-14 21:18:38 +02:00
color: 'var(--sl-color--code-dark)',
2023-06-15 22:22:00 +02:00
fontWeight: '600',
2023-06-14 21:18:38 +02:00
},
2023-06-15 22:22:00 +02:00
{
tag: tags.definitionKeyword,
color: 'var(--sl-color--code-dark)',
2023-06-15 22:22:00 +02:00
fontWeight: '600',
2023-06-14 21:18:38 +02:00
},
2023-06-15 22:22:00 +02:00
{ tag: tags.moduleKeyword, color: 'green' },
{
tag: tags.operator,
2023-06-14 21:18:38 +02:00
color: 'var(--sl-color--code-muted-dark)',
2023-06-15 22:22:00 +02:00
fontWeight: '600',
},
2023-06-15 22:22:00 +02:00
{
tag: tags.propertyName,
color: 'var(--sl-color--code-warm)',
2023-06-15 22:22:00 +02:00
fontWeight: '600',
2023-06-14 21:18:38 +02:00
},
2023-06-15 22:22:00 +02:00
{ tag: tags.punctuation, color: 'var(--sl-color--code-muted-dark)' },
{ tag: tags.string, color: 'var(--sl-color--code-bright)' },
{ tag: tags.unit, color: 'var(--sl-color--code-base)' },
{ tag: tags.atom, color: 'var(--sl-color--code-base)' },
{
tag: tags.labelName,
2023-06-14 21:18:38 +02:00
color: 'var(--sl-color--code-dark)',
2023-06-15 22:22:00 +02:00
fontWeight: '600',
},
]);
2023-06-13 18:42:28 +02:00
export { playgroundHighlightStyle };