2023-06-05 18:02:44 +02:00
|
|
|
import { HighlightStyle } from '@codemirror/language';
|
|
|
|
import { tags } from '@lezer/highlight';
|
2023-06-02 16:53:32 +02:00
|
|
|
|
2023-06-05 18:02:44 +02:00
|
|
|
const playgroundHighlightStyle = HighlightStyle.define([
|
|
|
|
{
|
|
|
|
tag: [tags.special(tags.variableName), tags.tagName],
|
|
|
|
color: '#445588',
|
2023-06-14 18:02:30 +02:00
|
|
|
fontWeight: '600',
|
2023-06-05 18:02:44 +02:00
|
|
|
},
|
2023-06-14 18:02:30 +02:00
|
|
|
{ tag: tags.definitionKeyword, fontWeight: '600' },
|
2023-06-05 18:02:44 +02:00
|
|
|
{ tag: tags.comment, color: '#006666', fontStyle: 'italic' },
|
|
|
|
{ tag: tags.propertyName, color: '#990000' },
|
|
|
|
]);
|
|
|
|
|
2023-06-13 18:42:28 +02:00
|
|
|
export { playgroundHighlightStyle };
|