@fsegurai/codemirror-theme-high-contrast-dark 6.0.2 → 6.1.0

package/dist/index.cjs

@@ -1,7 +1,7 @@
 'use strict';
 
-var view = require('@codemirror/view');
 var language = require('@codemirror/language');
+var view = require('@codemirror/view');
 var highlight = require('@lezer/highlight');
 
 // Helper module for styling options
@@ -101,6 +101,498 @@ function applyMergeRevertStyles(styles) {
     document.head.appendChild(styleEl);
 }
 
+// Shared theme core: every theme package describes a palette (`ThemeDefinition`) and this module turns it into the
+// CodeMirror extension. Generated into each package by `bun run generate:helpers`; edit only the copy in
+// `packages/.helper/utils/`.
+/** Parent of every fine role: an omitted fine role resolves to its parent. */
+const ROLE_PARENTS = {
+    controlKeyword: 'keyword',
+    moduleKeyword: 'keyword',
+    definitionKeyword: 'keyword',
+    operatorKeyword: 'operator',
+    modifier: 'keyword',
+    arithmeticOperator: 'operator',
+    logicOperator: 'operator',
+    compareOperator: 'operator',
+    bitwiseOperator: 'operator',
+    updateOperator: 'operator',
+    derefOperator: 'operator',
+    definitionOperator: 'operator',
+    typeOperator: 'operator',
+    controlOperator: 'operator',
+    separator: 'punctuation',
+    bracket: 'punctuation',
+    paren: 'bracket',
+    brace: 'bracket',
+    squareBracket: 'bracket',
+    angleBracket: 'bracket',
+    character: 'name',
+    macroName: 'name',
+    variable: 'name',
+    localVariable: 'variable',
+    variableDefinition: 'variable',
+    nameDefinition: 'variableDefinition',
+    functionDefinition: 'function',
+    self: 'variable',
+    label: 'name',
+    propertyDefinition: 'property',
+    method: 'property',
+    methodDefinition: 'method',
+    specialProperty: 'property',
+    typeDefinition: 'type',
+    className: 'type',
+    namespace: 'type',
+    standardTag: 'tag',
+    annotation: 'meta',
+    documentMeta: 'meta',
+    processingInstruction: 'meta',
+    attributeValue: 'string',
+    literal: 'string',
+    docString: 'string',
+    regexp: 'string',
+    specialString: 'regexp',
+    escape: 'string',
+    unit: 'number',
+    atom: 'constant',
+    bool: 'atom',
+    null: 'constant',
+    constantName: 'constant',
+    standardName: 'constant',
+    color: 'standardName',
+    specialVariable: 'constant',
+    docComment: 'comment',
+    headingLevel: 'heading',
+    heading1: 'headingLevel',
+    heading2: 'headingLevel',
+    heading3: 'headingLevel',
+    heading4: 'headingLevel',
+    heading5: 'headingLevel',
+    heading6: 'headingLevel',
+    list: 'name',
+    quote: 'string',
+    monospace: 'string',
+    contentSeparator: 'punctuation',
+};
+/**
+ * Canonical tag → role table shared by every theme: every Lezer base tag and the modifier combinations that the
+ * official grammars emit. Each tag appears once, so no rule is shadowed by a later one.
+ */
+const SYNTAX_TAGS = [
+    ['keyword', [highlight.tags.keyword]],
+    ['controlKeyword', [highlight.tags.controlKeyword]],
+    ['moduleKeyword', [highlight.tags.moduleKeyword]],
+    ['definitionKeyword', [highlight.tags.definitionKeyword]],
+    ['operatorKeyword', [highlight.tags.operatorKeyword]],
+    ['modifier', [highlight.tags.modifier]],
+    ['operator', [highlight.tags.operator]],
+    ['arithmeticOperator', [highlight.tags.arithmeticOperator]],
+    ['logicOperator', [highlight.tags.logicOperator]],
+    ['compareOperator', [highlight.tags.compareOperator]],
+    ['bitwiseOperator', [highlight.tags.bitwiseOperator]],
+    ['updateOperator', [highlight.tags.updateOperator]],
+    ['derefOperator', [highlight.tags.derefOperator]],
+    ['definitionOperator', [highlight.tags.definitionOperator]],
+    ['typeOperator', [highlight.tags.typeOperator]],
+    ['controlOperator', [highlight.tags.controlOperator]],
+    ['punctuation', [highlight.tags.punctuation, highlight.tags.function(highlight.tags.punctuation)]],
+    ['separator', [highlight.tags.separator]],
+    ['bracket', [highlight.tags.bracket]],
+    ['paren', [highlight.tags.paren]],
+    ['brace', [highlight.tags.brace, highlight.tags.special(highlight.tags.brace)]],
+    ['squareBracket', [highlight.tags.squareBracket]],
+    ['angleBracket', [highlight.tags.angleBracket]],
+    ['name', [highlight.tags.name, highlight.tags.special(highlight.tags.name)]],
+    ['character', [highlight.tags.character]],
+    ['macroName', [highlight.tags.macroName]],
+    ['variable', [highlight.tags.variableName, highlight.tags.standard(highlight.tags.variableName)]],
+    ['localVariable', [highlight.tags.local(highlight.tags.variableName)]],
+    ['variableDefinition', [highlight.tags.definition(highlight.tags.variableName)]],
+    ['nameDefinition', [highlight.tags.definition(highlight.tags.name)]],
+    ['function', [highlight.tags.function(highlight.tags.variableName)]],
+    ['functionDefinition', [highlight.tags.definition(highlight.tags.function(highlight.tags.variableName))]],
+    ['self', [highlight.tags.self]],
+    ['label', [highlight.tags.labelName]],
+    ['property', [highlight.tags.propertyName]],
+    ['propertyDefinition', [highlight.tags.definition(highlight.tags.propertyName)]],
+    ['method', [highlight.tags.function(highlight.tags.propertyName)]],
+    ['methodDefinition', [highlight.tags.definition(highlight.tags.function(highlight.tags.propertyName))]],
+    ['specialProperty', [highlight.tags.special(highlight.tags.propertyName), highlight.tags.definition(highlight.tags.special(highlight.tags.propertyName))]],
+    ['type', [highlight.tags.typeName, highlight.tags.standard(highlight.tags.typeName)]],
+    ['typeDefinition', [highlight.tags.definition(highlight.tags.typeName)]],
+    ['className', [highlight.tags.className, highlight.tags.definition(highlight.tags.className), highlight.tags.constant(highlight.tags.className)]],
+    ['namespace', [highlight.tags.namespace]],
+    ['tag', [highlight.tags.tagName]],
+    ['standardTag', [highlight.tags.standard(highlight.tags.tagName)]],
+    ['attribute', [highlight.tags.attributeName, highlight.tags.special(highlight.tags.attributeName)]],
+    ['attributeValue', [highlight.tags.attributeValue]],
+    ['literal', [highlight.tags.literal]],
+    ['string', [highlight.tags.string]],
+    ['docString', [highlight.tags.docString]],
+    ['regexp', [highlight.tags.regexp]],
+    ['specialString', [highlight.tags.special(highlight.tags.string), highlight.tags.special(highlight.tags.docString)]],
+    ['escape', [highlight.tags.escape]],
+    ['number', [highlight.tags.number, highlight.tags.integer, highlight.tags.float]],
+    ['unit', [highlight.tags.unit]],
+    ['atom', [highlight.tags.atom]],
+    ['bool', [highlight.tags.bool]],
+    ['null', [highlight.tags.null]],
+    ['constantName', [highlight.tags.constant(highlight.tags.name)]],
+    ['standardName', [highlight.tags.standard(highlight.tags.name)]],
+    ['color', [highlight.tags.color]],
+    ['specialVariable', [highlight.tags.special(highlight.tags.variableName)]],
+    ['comment', [highlight.tags.comment, highlight.tags.lineComment, highlight.tags.blockComment]],
+    ['docComment', [highlight.tags.docComment]],
+    ['meta', [highlight.tags.meta]],
+    ['documentMeta', [highlight.tags.documentMeta]],
+    ['processingInstruction', [highlight.tags.processingInstruction]],
+    ['annotation', [highlight.tags.annotation]],
+    ['content', [highlight.tags.content, highlight.tags.special(highlight.tags.content)]],
+    ['heading', [highlight.tags.heading]],
+    ['heading1', [highlight.tags.heading1]],
+    ['heading2', [highlight.tags.heading2]],
+    ['heading3', [highlight.tags.heading3]],
+    ['heading4', [highlight.tags.heading4]],
+    ['heading5', [highlight.tags.heading5]],
+    ['heading6', [highlight.tags.heading6]],
+    ['list', [highlight.tags.list]],
+    ['quote', [highlight.tags.quote]],
+    ['monospace', [highlight.tags.monospace]],
+    ['contentSeparator', [highlight.tags.contentSeparator]],
+    ['link', [highlight.tags.link]],
+    ['url', [highlight.tags.url]],
+    ['emphasis', [highlight.tags.emphasis]],
+    ['strong', [highlight.tags.strong]],
+    ['strikethrough', [highlight.tags.strikethrough]],
+    ['invalid', [highlight.tags.invalid]],
+    ['inserted', [highlight.tags.inserted]],
+    ['deleted', [highlight.tags.deleted]],
+    ['changed', [highlight.tags.changed]],
+];
+/** Inline SVG image (same encoding as `@codemirror/lint`), used to draw lint markers in the theme colors. */
+function svg(content, attrs = 'viewBox="0 0 40 40"') {
+    return `url('data:image/svg+xml,<svg xmlns="http://www.w3.org/2000/svg" ${attrs}>${encodeURIComponent(content)}</svg>')`;
+}
+/** Wavy underline of a lint range. */
+function lintUnderline(color) {
+    return svg(`<path d="m0 2.5 l2 -1.5 l1 0 l2 1.5 l1 0" stroke="${color}" fill="none" stroke-width=".7"/>`, 'width="6" height="3"');
+}
+/**
+ * Canonical UI template: the same selectors for every theme, only palette values differ. Rules of equal specificity
+ * keep the order of the original theme files (later rules win).
+ */
+function uiTemplate(ui) {
+    return {
+        '&': {
+            color: ui.foreground,
+            backgroundColor: ui.background,
+            border: ui.border,
+            fontSize: generalContent.fontSize,
+            fontFamily: generalContent.fontFamily,
+        },
+        '.cm-content': { caretColor: ui.cursor, lineHeight: generalContent.lineHeight },
+        '.cm-cursor, .cm-dropCursor': {
+            borderLeftColor: ui.cursor,
+            borderLeftWidth: ui.cursorWidth,
+            boxShadow: ui.cursorShadow,
+        },
+        '.cm-cursor-secondary': { borderLeftColor: ui.cursor, opacity: '0.6' },
+        '.cm-fat-cursor': {
+            backgroundColor: ui.fatCursor.background,
+            color: ui.background,
+            border: ui.fatCursor.border,
+            boxShadow: ui.cursorShadow,
+        },
+        '&.cm-focused > .cm-scroller > .cm-selectionLayer .cm-selectionBackground, .cm-selectionBackground, .cm-content ::selection': { backgroundColor: ui.selection, color: ui.selectionForeground, outline: ui.selectionOutline },
+        '&:not(.cm-focused) .cm-selectionBackground': { backgroundColor: ui.selectionInactive },
+        '.cm-selectionLayer': { zIndex: 100 },
+        '.cm-searchMatch': {
+            backgroundColor: ui.searchMatch.background,
+            outline: `${ui.outlineWidth} solid ${ui.searchMatch.outline}`,
+            color: ui.searchMatch.foreground,
+            borderRadius: generalSearchField.borderRadius,
+            boxShadow: ui.searchMatch.shadow,
+        },
+        '.cm-searchMatch span': { color: ui.searchMatch.foreground },
+        '.cm-searchMatch.cm-searchMatch-selected': {
+            backgroundColor: ui.searchMatch.selectedBackground,
+            color: ui.searchMatch.selectedForeground,
+            padding: generalSearchField.padding,
+            outline: ui.searchMatch.selectedOutline,
+            boxShadow: ui.searchMatch.selectedShadow,
+        },
+        '.cm-searchMatch.cm-searchMatch-selected span': { color: ui.searchMatch.selectedForeground },
+        '.cm-search.cm-panel.cm-textfield': {
+            color: ui.panel.foreground,
+            borderRadius: generalSearchField.borderRadius,
+            padding: generalSearchField.padding,
+        },
+        '.cm-textfield': {
+            backgroundColor: ui.panel.inputBackground,
+            color: ui.panel.foreground,
+            border: ui.panel.inputBorder,
+            borderRadius: generalSearchField.borderRadius,
+            padding: generalSearchField.padding,
+        },
+        '.cm-panels': {
+            backgroundColor: ui.panel.background,
+            color: ui.panel.foreground,
+            border: ui.panel.outline,
+            borderRadius: generalPanel.borderRadius,
+            boxShadow: ui.panel.shadow,
+        },
+        '.cm-panels.cm-panels-top': { borderBottom: `${ui.panel.borderWidth} solid ${ui.panel.border}` },
+        '.cm-panels.cm-panels-bottom': { borderTop: `${ui.panel.borderWidth} solid ${ui.panel.border}` },
+        '.cm-panel.cm-gotoLine': { color: ui.panel.foreground, padding: generalPanel.padding },
+        '.cm-panel button, .cm-button': {
+            backgroundColor: ui.panel.buttonBackground,
+            backgroundImage: 'none',
+            color: ui.panel.buttonForeground,
+            border: ui.panel.buttonBorder,
+            borderRadius: generalPanel.borderRadius,
+            padding: generalPanel.padding,
+        },
+        '.cm-panel button:hover, .cm-button:hover': {
+            backgroundColor: ui.panel.buttonHoverBackground,
+            color: ui.panel.buttonHoverForeground,
+            border: ui.panel.buttonHoverBorder,
+            boxShadow: ui.panel.buttonHoverShadow,
+        },
+        '.cm-activeLine': {
+            backgroundColor: ui.activeLine,
+            borderLeft: ui.activeLineBorder.left,
+            borderRight: ui.activeLineBorder.right,
+            borderRadius: generalLine.borderRadius,
+            zIndex: 1,
+        },
+        '.cm-gutters': {
+            backgroundColor: ui.gutter.background,
+            color: ui.gutter.foreground,
+            border: generalGutter.border,
+            borderRight: `${ui.outlineWidth} solid ${ui.gutter.border}`,
+            paddingRight: generalGutter.paddingRight,
+        },
+        '.cm-activeLineGutter': {
+            backgroundColor: ui.gutter.activeBackground,
+            color: ui.gutter.activeForeground,
+            fontWeight: ui.gutter.activeFontWeight,
+            border: ui.gutter.activeBorder,
+        },
+        '.cm-lineNumbers': { fontSize: generalGutter.fontSize, lineHeight: generalGutter.lineHeight },
+        '.cm-foldGutter': { fontSize: generalGutter.fontSize, lineHeight: generalGutter.lineHeight },
+        '.cm-foldGutter .cm-gutterElement': { color: ui.gutter.foreground, cursor: 'pointer' },
+        '.cm-foldGutter .cm-gutterElement:hover': { color: ui.gutter.foldHover },
+        '.cm-gutter-lint': { color: ui.gutter.foreground },
+        '.cm-lint-marker': { width: '1em', height: '1em' },
+        '.cm-lint-marker-error': {
+            content: svg(`<circle cx="20" cy="20" r="15" fill="${ui.diagnostic.error}" stroke="${ui.background}" stroke-width="4"/>`),
+        },
+        '.cm-lint-marker-warning': {
+            content: svg(`<path fill="${ui.diagnostic.warning}" stroke="${ui.background}" stroke-width="4" stroke-linejoin="round" d="M20 6L37 35L3 35Z"/>`),
+        },
+        '.cm-lint-marker-info': {
+            content: svg(`<path fill="${ui.diagnostic.info}" stroke="${ui.background}" stroke-width="4" stroke-linejoin="round" d="M5 5L35 5L35 35L5 35Z"/>`),
+        },
+        '.cm-changeGutter': { backgroundColor: ui.gutter.background },
+        '.cm-merge-b .cm-changedLineGutter, .cm-inlineChangedLineGutter': { background: ui.diff.insertedForeground },
+        '.cm-merge-a .cm-changedLineGutter, .cm-deletedLineGutter': { background: ui.diff.deletedForeground },
+        '.cm-insertedLine': {
+            textDecoration: generalDiff.insertedTextDecoration,
+            backgroundColor: ui.diff.insertedBackground,
+            color: ui.diff.insertedForeground,
+            padding: generalDiff.insertedLinePadding,
+            borderRadius: generalDiff.borderRadius,
+        },
+        'ins.cm-insertedLine, ins.cm-insertedLine:not(:has(.cm-changedText))': {
+            textDecoration: generalDiff.insertedTextDecoration,
+            backgroundColor: `${ui.diff.insertedBackground} !important`,
+            color: ui.diff.insertedForeground,
+            padding: generalDiff.insertedLinePadding,
+            borderRadius: generalDiff.borderRadius,
+            border: ui.diff.insertedBorder,
+        },
+        'ins.cm-insertedLine .cm-changedText': { background: 'transparent !important' },
+        '.cm-deletedLine': {
+            textDecoration: generalDiff.deletedTextDecoration,
+            backgroundColor: ui.diff.deletedBackground,
+            color: ui.diff.deletedForeground,
+            padding: generalDiff.insertedLinePadding,
+            borderRadius: generalDiff.borderRadius,
+        },
+        // Merge view deletions only: `del` decorations, inline deletion widgets and the lines of deleted chunks. `:where()`
+        // keeps the specificity of the former bare `del` selector without styling other `del` elements.
+        'del.cm-deletedLine, del.cm-deletedText, :where(.cm-deletedChunk) del, :where(.cm-deletedChunk) del:not(:has(.cm-deletedText))': {
+            textDecoration: generalDiff.deletedTextDecoration,
+            backgroundColor: `${ui.diff.deletedBackground} !important`,
+            color: ui.diff.deletedForeground,
+            padding: generalDiff.insertedLinePadding,
+            borderRadius: generalDiff.borderRadius,
+            border: ui.diff.deletedBorder,
+        },
+        ':where(.cm-deletedChunk) del .cm-deletedText, :where(.cm-deletedChunk) del .cm-changedText, del:where(.cm-deletedLine) .cm-deletedText, del:where(.cm-deletedLine) .cm-changedText': { background: 'transparent !important' },
+        '.cm-merge-b .cm-changedLine, .cm-inlineChangedLine': { backgroundColor: ui.diff.insertedBackground },
+        '.cm-merge-a .cm-changedLine, .cm-deletedChunk': { backgroundColor: ui.diff.deletedBackground },
+        '.cm-collapsedLines': {
+            background: ui.foldPlaceholder.background,
+            color: ui.foldPlaceholder.foreground,
+        },
+        '.cm-mergeSpacer': { background: ui.merge.backgroundColor },
+        '.cm-tooltip': {
+            backgroundColor: ui.tooltip.background,
+            color: ui.tooltip.foreground,
+            border: `${ui.outlineWidth} solid ${ui.tooltip.border}`,
+            borderRadius: generalTooltip.borderRadius,
+            padding: generalTooltip.padding,
+            boxShadow: ui.tooltip.shadow,
+        },
+        '.cm-tooltip-autocomplete > ul': { backgroundColor: ui.tooltip.listBackground, border: ui.tooltip.listBorder },
+        '.cm-tooltip-autocomplete > ul > li': { padding: generalTooltip.padding, lineHeight: generalTooltip.lineHeight },
+        '.cm-tooltip-autocomplete > ul > li:hover': { backgroundColor: ui.tooltip.hoverBackground },
+        '.cm-tooltip-autocomplete > ul > li[aria-selected]': {
+            backgroundColor: ui.tooltip.selectedBackground,
+            color: ui.tooltip.selectedForeground,
+            border: ui.tooltip.selectedBorder,
+            borderRadius: generalTooltip.borderRadiusSelected,
+        },
+        '.cm-tooltip-autocomplete > ul > li > span.cm-completionIcon': {
+            color: ui.tooltip.icon,
+            paddingRight: generalTooltip.paddingRight,
+        },
+        '.cm-tooltip-autocomplete > ul > li > span.cm-completionDetail': { color: ui.tooltip.detail, fontStyle: 'italic' },
+        '.cm-completionMatchedText': {
+            color: 'inherit',
+            fontWeight: 'bold',
+            textDecoration: 'underline',
+            textDecorationColor: ui.matchingBracket.outline,
+        },
+        '.cm-completionInfo': {
+            backgroundColor: ui.tooltip.background,
+            color: ui.tooltip.foreground,
+            border: `${ui.outlineWidth} solid ${ui.tooltip.border}`,
+            padding: generalTooltip.padding,
+        },
+        '.cm-tooltip .cm-tooltip-arrow:before': { borderTopColor: 'transparent', borderBottomColor: 'transparent' },
+        '.cm-tooltip .cm-tooltip-arrow:after': {
+            borderTopColor: ui.tooltip.background,
+            borderBottomColor: ui.tooltip.background,
+        },
+        '.cm-tooltip-lint': { color: ui.tooltip.foreground, padding: '0' },
+        '.cm-tooltip-section:not(:first-child)': { borderTop: `1px solid ${ui.tooltip.border}` },
+        '.cm-diagnostic-error': {
+            borderLeft: `${ui.diagnostic.borderWidth} solid ${ui.diagnostic.error}`,
+            backgroundColor: ui.diagnostic.errorBackground,
+        },
+        '.cm-diagnostic-warning': {
+            borderLeft: `${ui.diagnostic.borderWidth} solid ${ui.diagnostic.warning}`,
+            backgroundColor: ui.diagnostic.warningBackground,
+        },
+        '.cm-diagnostic-info': {
+            borderLeft: `${ui.diagnostic.borderWidth} solid ${ui.diagnostic.info}`,
+            backgroundColor: ui.diagnostic.infoBackground,
+        },
+        '.cm-diagnostic-hint': { borderLeft: `${ui.diagnostic.borderWidth} solid ${ui.diagnostic.hint}` },
+        '.cm-diagnosticAction': {
+            backgroundColor: ui.panel.buttonBackground,
+            color: ui.panel.buttonForeground,
+            border: ui.panel.buttonBorder,
+            borderRadius: generalPanel.borderRadius,
+        },
+        '.cm-lintRange-error': { backgroundImage: lintUnderline(ui.diagnostic.error) },
+        '.cm-lintRange-warning': { backgroundImage: lintUnderline(ui.diagnostic.warning) },
+        '.cm-lintRange-info': { backgroundImage: lintUnderline(ui.diagnostic.info) },
+        '.cm-lintRange-hint': { backgroundImage: lintUnderline(ui.diagnostic.hint) },
+        '.cm-lintPoint-error': { borderBottom: `${ui.diagnostic.underlineWidth} wavy ${ui.diagnostic.error}` },
+        '.cm-lintPoint-warning': { borderBottom: `${ui.diagnostic.underlineWidth} wavy ${ui.diagnostic.warning}` },
+        '.cm-lintPoint-info': { borderBottom: `${ui.diagnostic.underlineWidth} wavy ${ui.diagnostic.info}` },
+        '.cm-matchingBracket': {
+            backgroundColor: ui.matchingBracket.background,
+            outline: `${ui.outlineWidth} solid ${ui.matchingBracket.outline}`,
+            borderRadius: generalMatching.borderRadius,
+            boxShadow: ui.matchingBracket.shadow,
+        },
+        '.cm-nonmatchingBracket': {
+            backgroundColor: ui.nonMatchingBracket.background,
+            outline: `${ui.outlineWidth} solid ${ui.nonMatchingBracket.outline}`,
+            borderRadius: generalMatching.borderRadius,
+        },
+        '.cm-selectionMatch': {
+            backgroundColor: ui.selectionMatch.background,
+            outline: `${ui.outlineWidth} solid ${ui.selectionMatch.outline}`,
+            borderRadius: generalMatching.borderRadius,
+        },
+        '.cm-snippetField': {
+            backgroundColor: ui.selectionMatch.background,
+            outline: `1px dashed ${ui.selectionMatch.outline}`,
+            borderRadius: generalMatching.borderRadius,
+        },
+        '.cm-snippetFieldPosition': { borderLeft: `1px dotted ${ui.cursor}` },
+        '.cm-foldPlaceholder': {
+            backgroundColor: ui.foldPlaceholder.background,
+            color: ui.foldPlaceholder.foreground,
+            border: `${ui.outlineWidth} ${ui.foldPlaceholder.borderStyle} ${ui.foldPlaceholder.border}`,
+            borderRadius: generalPlaceholder.borderRadius,
+            padding: generalPlaceholder.padding,
+            margin: generalPlaceholder.margin,
+        },
+        // Transparent outline: invisible normally, repainted with the system color in forced-colors mode (drops box-shadow).
+        '&.cm-focused': { outline: '2px solid transparent', boxShadow: ui.focusRing },
+        '& .cm-scroller::-webkit-scrollbar': { width: generalScroller.width, height: generalScroller.height },
+        '& .cm-scroller::-webkit-scrollbar-track': { background: ui.scrollbar.track, border: ui.scrollbar.trackBorder },
+        '& .cm-scroller::-webkit-scrollbar-thumb': {
+            backgroundColor: ui.scrollbar.thumb,
+            borderRadius: generalScroller.borderRadius,
+            border: ui.scrollbar.thumbBorder,
+        },
+        '& .cm-scroller::-webkit-scrollbar-thumb:hover': {
+            backgroundColor: ui.scrollbar.thumbHover,
+            boxShadow: ui.scrollbar.thumbHoverShadow,
+        },
+        '.cm-ghostText': { opacity: ui.ghostTextOpacity, color: ui.ghostText },
+        '.cm-placeholder': { color: ui.ghostText },
+        '.cm-specialChar': { color: ui.specialChar },
+        '.cm-trailingSpace': { backgroundColor: ui.diff.deletedBackground },
+        '.cm-highlightSpace': {
+            backgroundImage: `radial-gradient(circle at 50% 55%, ${ui.gutter.foreground} 20%, transparent 0)`,
+        },
+        '.cm-crosshair': { cursor: 'crosshair' },
+    };
+}
+/** Drops `null` declarations and selectors left without declarations. */
+function emittedRules(spec) {
+    const result = {};
+    for (const [selector, declarations] of Object.entries(spec)) {
+        const emitted = Object.entries(declarations).filter((entry) => entry[1] !== null);
+        if (emitted.length > 0)
+            result[selector] = Object.fromEntries(emitted);
+    }
+    return result;
+}
+/** Style of a role, falling back through `ROLE_PARENTS` for omitted fine roles. */
+function resolveRole(syntax, role) {
+    let current = role;
+    while (current) {
+        const style = syntax[current];
+        if (style)
+            return style;
+        current = ROLE_PARENTS[current];
+    }
+    return {};
+}
+/** Highlight rules of a theme: one rule per entry of the canonical table. */
+function highlightRules(definition) {
+    return SYNTAX_TAGS.map(([role, tagList]) => (Object.assign({ tag: [...tagList] }, resolveRole(definition.syntax, role))));
+}
+/** Builds the editor theme, the syntax highlighting and the merge view styles of a theme definition. */
+function defineTheme(definition) {
+    const theme = view.EditorView.theme(emittedRules(uiTemplate(definition.ui)), { dark: definition.dark });
+    const highlightStyle = language.HighlightStyle.define(highlightRules(definition));
+    return {
+        extension: [theme, language.syntaxHighlighting(highlightStyle)],
+        theme,
+        highlightStyle,
+        mergeStyles: Object.assign({}, definition.ui.merge),
+    };
+}
+
 /**
  * High Contrast Dark theme color definitions
  * ------------------------------------------
@@ -110,393 +602,197 @@ function applyMergeRevertStyles(styles) {
 const base00 = '#000000', // Background - pure black
 base01 = '#0a0a0a', // Darker background
 base02 = '#1f1f1f', // Selection background
-base03 = '#808080', // Comments - medium grey
+base03 = '#a1a1a1', // Comments - medium grey
 base04 = '#b0b0b0', // Dark grey
 base05 = '#ffffff', // Foreground - pure white
 // High contrast accent colors
-brightYellow = '#ffff00', brightCyan = '#00ffff', brightGreen = '#00ff00', brightRed = '#ff0000', brightMagenta = '#ff00ff', brightBlue = '#0099ff', brightOrange = '#ff9900', brightPurple = '#cc66ff';
+brightYellow = '#ffff00', brightCyan = '#00ffff', brightGreen = '#00ff00', brightRed = '#ff7967', brightMagenta = '#fe5dfb', brightBlue = '#42a6ff', brightOrange = '#ff9900', brightPurple = '#cf81f9';
 // UI specific colors
-const invalid = brightRed, darkBackground = base00, background = base00, tooltipBackground = '#1a1a1a', selection = '#264f78', selectionMatch = '#264f7880', cursor = brightYellow, activeBracketBg = '#1f1f1f', activeBracketBorder = brightCyan, diagnosticWarning = brightYellow, linkColor = brightCyan, visitedLinkColor = brightMagenta;
+const tooltipBackground = '#1a1a1a', selection = '#264f78', selectionMatch = '#264f7880';
 // Diff/merge specific colors
-const addedBackground = '#00550060', removedBackground = '#55000060', addedText = brightGreen, removedText = brightRed;
-/**
- * Enhanced editor theme styles for High Contrast Dark
- */
-const highContrastDarkTheme = view.EditorView.theme({
-    // Base editor styles
-    '&': {
-        color: base05,
-        backgroundColor: background,
-        fontSize: generalContent.fontSize,
-        fontFamily: generalContent.fontFamily,
+const addedBackground = '#00550060', removedBackground = '#55000060';
+const theme = defineTheme({
+    dark: true,
+    ui: {
+        background: base00,
+        foreground: base05,
         border: `1px solid ${base04}`,
-    },
-    // Content and cursor
-    '.cm-content': {
-        caretColor: cursor,
-        lineHeight: generalContent.lineHeight,
-    },
-    '.cm-cursor, .cm-dropCursor': {
-        borderLeftColor: cursor,
-        borderLeftWidth: '3px',
-    },
-    '.cm-fat-cursor': {
-        backgroundColor: cursor,
-        color: background,
-        border: `2px solid ${base05}`,
-    },
-    // Selection
-    '&.cm-focused > .cm-scroller > .cm-selectionLayer .cm-selectionBackground, .cm-selectionBackground, .cm-content ::selection': {
-        backgroundColor: '#3a5a8a',
-        outline: `2px solid ${brightCyan}`,
-    },
-    // Make sure selection appears above active line
-    '.cm-selectionLayer': {
-        zIndex: 100,
-    },
-    // Search functionality
-    '.cm-searchMatch': {
-        backgroundColor: '#006400',
-        outline: `2px solid ${brightGreen}`,
-        color: base05,
-        borderRadius: generalSearchField.borderRadius,
-        '& span': {
-            color: base05,
+        cursor: brightYellow,
+        cursorWidth: '3px',
+        cursorShadow: 'none',
+        fatCursor: { background: brightYellow, border: `2px solid ${base05}` },
+        selection: '#1a3865',
+        selectionInactive: '#1a3865',
+        selectionForeground: null,
+        selectionOutline: `2px solid ${brightCyan}`,
+        activeLine: '#2a2a2a82',
+        activeLineBorder: { left: `3px solid ${brightCyan}`, right: `1px solid ${base04}` },
+        ghostText: base03,
+        ghostTextOpacity: '0.7',
+        specialChar: brightRed,
+        searchMatch: {
+            background: '#006400',
+            outline: brightGreen,
+            foreground: base05,
+            shadow: 'none',
+            selectedBackground: brightGreen,
+            selectedForeground: base00,
+            selectedOutline: `2px solid ${base05}`,
+            selectedShadow: 'none',
         },
-    },
-    '.cm-searchMatch.cm-searchMatch-selected': {
-        backgroundColor: brightGreen,
-        color: base00,
-        padding: generalSearchField.padding,
-        outline: `2px solid ${base05}`,
-        '& span': {
-            color: base00,
+        selectionMatch: { background: selectionMatch, outline: `${brightCyan}50` },
+        matchingBracket: { background: base02, outline: brightCyan, shadow: 'none' },
+        nonMatchingBracket: { background: '#33000050', outline: brightRed },
+        panel: {
+            background: base00,
+            foreground: base05,
+            border: base04,
+            borderWidth: '2px',
+            outline: `1px solid ${base04}`,
+            shadow: 'none',
+            buttonBackground: tooltipBackground,
+            buttonForeground: brightCyan,
+            buttonBorder: `1px solid ${base04}`,
+            buttonHoverBackground: base02,
+            buttonHoverForeground: brightCyan,
+            buttonHoverBorder: `1px solid ${brightCyan}`,
+            buttonHoverShadow: 'none',
+            inputBackground: base01,
+            inputBorder: `1px solid ${base04}`,
         },
-    },
-    '.cm-search.cm-panel.cm-textfield': {
-        color: base05,
-        backgroundColor: base01,
-        border: `1px solid ${base04}`,
-        borderRadius: generalSearchField.borderRadius,
-        padding: generalSearchField.padding,
-    },
-    // Panels
-    '.cm-panels': {
-        backgroundColor: darkBackground,
-        color: base05,
-        borderRadius: '4px',
-        border: `1px solid ${base04}`,
-    },
-    '.cm-panels.cm-panels-top': {
-        borderBottom: `2px solid ${base04}`,
-    },
-    '.cm-panels.cm-panels-bottom': {
-        borderTop: `2px solid ${base04}`,
-    },
-    '.cm-panel button': {
-        backgroundColor: tooltipBackground,
-        color: brightCyan,
-        border: `1px solid ${base04}`,
-        borderRadius: generalPanel.borderRadius,
-        padding: generalPanel.padding,
-    },
-    '.cm-panel button:hover': {
-        backgroundColor: base02,
-        border: `1px solid ${brightCyan}`,
-    },
-    // Line highlighting
-    '.cm-activeLine': {
-        backgroundColor: '#2a2a2aa6',
-        borderRadius: generalLine.borderRadius,
-        borderLeft: `3px solid ${brightCyan}`,
-        borderRight: `1px solid ${base04}`,
-        zIndex: 1,
-    },
-    // Gutters
-    '.cm-gutters': {
-        backgroundColor: darkBackground,
-        color: base04,
-        border: generalGutter.border,
-        borderRight: `2px solid ${base04}`,
-        paddingRight: generalGutter.paddingRight,
-    },
-    '.cm-activeLineGutter': {
-        backgroundColor: base02,
-        color: brightYellow,
-        fontWeight: 'bold',
-        border: `1px solid ${base03}`,
-    },
-    '.cm-lineNumbers': {
-        fontSize: generalGutter.fontSize,
-        lineHeight: generalGutter.lineHeight,
-    },
-    '.cm-foldGutter': {
-        fontSize: generalGutter.fontSize,
-        lineHeight: generalGutter.lineHeight,
-    },
-    '.cm-foldGutter .cm-gutterElement': {
-        color: base04,
-        cursor: 'pointer',
-    },
-    '.cm-foldGutter .cm-gutterElement:hover': {
-        color: brightCyan,
-    },
-    // Diff/Merge View Styles
-    '.cm-insertedLine': {
-        textDecoration: generalDiff.insertedTextDecoration,
-        backgroundColor: addedBackground,
-        color: addedText,
-        padding: generalDiff.insertedLinePadding,
-        borderRadius: generalDiff.borderRadius,
-        border: `1px solid ${addedText}`,
-    },
-    'ins.cm-insertedLine, ins.cm-insertedLine:not(:has(.cm-changedText))': {
-        textDecoration: generalDiff.insertedTextDecoration,
-        backgroundColor: `${addedBackground} !important`,
-        color: addedText,
-        padding: generalDiff.insertedLinePadding,
-        borderRadius: generalDiff.borderRadius,
-        border: `1px solid ${addedText}`,
-    },
-    'ins.cm-insertedLine .cm-changedText': {
-        background: 'transparent !important',
-    },
-    '.cm-deletedLine': {
-        textDecoration: generalDiff.deletedTextDecoration,
-        backgroundColor: removedBackground,
-        color: removedText,
-        padding: generalDiff.insertedLinePadding,
-        borderRadius: generalDiff.borderRadius,
-        border: `1px solid ${removedText}`,
-    },
-    'del.cm-deletedLine, del, del:not(:has(.cm-deletedText))': {
-        textDecoration: generalDiff.deletedTextDecoration,
-        backgroundColor: `${removedBackground} !important`,
-        color: removedText,
-        padding: generalDiff.insertedLinePadding,
-        borderRadius: generalDiff.borderRadius,
-        border: `1px solid ${removedText}`,
-    },
-    'del .cm-deletedText, del .cm-changedText': {
-        background: 'transparent !important',
-    },
-    // Tooltips and autocomplete
-    '.cm-tooltip': {
-        backgroundColor: tooltipBackground,
-        border: `2px solid ${brightCyan}`,
-        borderRadius: generalTooltip.borderRadius,
-        padding: generalTooltip.padding,
-        color: base05,
-    },
-    '.cm-tooltip-autocomplete': {
-        '& > ul': {
-            backgroundColor: tooltipBackground,
-            border: `1px solid ${base04}`,
-        },
-        '& > ul > li': {
-            padding: generalTooltip.padding,
-            lineHeight: generalTooltip.lineHeight,
+        gutter: {
+            background: base00,
+            foreground: base04,
+            border: base04,
+            activeBackground: base02,
+            activeForeground: brightYellow,
+            activeFontWeight: 'bold',
+            activeBorder: `1px solid ${base03}`,
+            foldHover: brightCyan,
         },
-        '& > ul > li[aria-selected]': {
-            backgroundColor: selection,
-            color: brightYellow,
-            borderRadius: generalTooltip.borderRadiusSelected,
-            border: `1px solid ${brightCyan}`,
+        foldPlaceholder: {
+            background: tooltipBackground,
+            foreground: brightCyan,
+            border: brightCyan,
+            borderStyle: 'solid',
         },
-        '& > ul > li > span.cm-completionIcon': {
-            color: brightCyan,
-            paddingRight: generalTooltip.paddingRight,
+        tooltip: {
+            background: tooltipBackground,
+            foreground: base05,
+            border: brightCyan,
+            listBackground: tooltipBackground,
+            listBorder: `1px solid ${base04}`,
+            hoverBackground: 'transparent',
+            selectedBackground: selection,
+            selectedForeground: brightYellow,
+            selectedBorder: `1px solid ${brightCyan}`,
+            icon: brightCyan,
+            detail: brightYellow,
+            shadow: 'none',
         },
-        '& > ul > li > span.cm-completionDetail': {
-            color: brightYellow,
-            fontStyle: 'italic',
+        diff: {
+            insertedBackground: addedBackground,
+            insertedForeground: brightGreen,
+            insertedBorder: `1px solid ${brightGreen}`,
+            deletedBackground: removedBackground,
+            deletedForeground: brightRed,
+            deletedBorder: `1px solid ${brightRed}`,
         },
-    },
-    '.cm-tooltip .cm-tooltip-arrow:before': {
-        borderTopColor: 'transparent',
-        borderBottomColor: 'transparent',
-    },
-    '.cm-tooltip .cm-tooltip-arrow:after': {
-        borderTopColor: brightCyan,
-        borderBottomColor: brightCyan,
-    },
-    // Diagnostics styling
-    '.cm-diagnostic': {
-        '&-error': {
-            borderLeft: `4px solid ${brightRed}`,
-            backgroundColor: '#33000020',
+        diagnostic: {
+            error: brightRed,
+            warning: brightYellow,
+            info: brightCyan,
+            hint: brightCyan,
+            errorBackground: '#33000020',
+            warningBackground: '#33330020',
+            infoBackground: '#00333320',
+            borderWidth: '4px',
+            underlineWidth: '3px',
         },
-        '&-warning': {
-            borderLeft: `4px solid ${diagnosticWarning}`,
-            backgroundColor: '#33330020',
+        scrollbar: {
+            track: base00,
+            trackBorder: `1px solid ${base04}`,
+            thumb: base04,
+            thumbBorder: `2px solid ${base05}`,
+            thumbHover: brightCyan,
+            thumbHoverShadow: 'none',
         },
-        '&-info': {
-            borderLeft: `4px solid ${linkColor}`,
-            backgroundColor: '#00333320',
+        focusRing: `0 0 0 2px ${base00}, 0 0 0 5px ${brightCyan}`,
+        outlineWidth: '2px',
+        merge: {
+            backgroundColor: base00,
+            borderColor: brightCyan,
+            buttonColor: brightCyan,
+            buttonHoverColor: brightYellow,
         },
     },
-    '.cm-lintPoint-error': {
-        borderBottom: `3px wavy ${brightRed}`,
-    },
-    '.cm-lintPoint-warning': {
-        borderBottom: `3px wavy ${diagnosticWarning}`,
-    },
-    // Matching brackets
-    '.cm-matchingBracket': {
-        backgroundColor: activeBracketBg,
-        outline: `2px solid ${activeBracketBorder}`,
-        borderRadius: generalMatching.borderRadius,
-    },
-    '.cm-nonmatchingBracket': {
-        backgroundColor: '#33000050',
-        outline: `2px solid ${invalid}`,
-        borderRadius: generalMatching.borderRadius,
-    },
-    // Selection matches
-    '.cm-selectionMatch': {
-        backgroundColor: selectionMatch,
-        outline: `2px solid ${brightCyan}50`,
-        borderRadius: generalMatching.borderRadius,
-    },
-    // Fold placeholder
-    '.cm-foldPlaceholder': {
-        backgroundColor: tooltipBackground,
-        color: brightCyan,
-        border: `2px solid ${brightCyan}`,
-        borderRadius: generalPlaceholder.borderRadius,
-        padding: generalPlaceholder.padding,
-        margin: generalPlaceholder.margin,
-    },
-    // Focus outline
-    '&.cm-focused': {
-        outline: `3px solid ${brightCyan}`,
-        outlineOffset: '2px',
-    },
-    // Scrollbars
-    '& .cm-scroller::-webkit-scrollbar': {
-        width: generalScroller.width,
-        height: generalScroller.height,
-    },
-    '& .cm-scroller::-webkit-scrollbar-track': {
-        background: darkBackground,
-        border: `1px solid ${base04}`,
-    },
-    '& .cm-scroller::-webkit-scrollbar-thumb': {
-        backgroundColor: base04,
-        border: `2px solid ${base05}`,
-        borderRadius: generalScroller.borderRadius,
-    },
-    '& .cm-scroller::-webkit-scrollbar-thumb:hover': {
-        backgroundColor: brightCyan,
-    },
-    // Ghost text
-    '.cm-ghostText': {
-        opacity: '0.7',
-        color: base03,
-    },
-}, { dark: true });
-/**
- * Enhanced syntax highlighting for High Contrast Dark theme
- */
-const highContrastDarkHighlightStyle = language.HighlightStyle.define([
-    // Keywords and control flow
-    { tag: highlight.tags.keyword, color: brightMagenta, fontWeight: 'bold' },
-    { tag: highlight.tags.controlKeyword, color: brightMagenta, fontWeight: 'bold' },
-    { tag: highlight.tags.moduleKeyword, color: brightMagenta, fontWeight: 'bold' },
-    // Names and variables
-    { tag: [highlight.tags.name, highlight.tags.deleted, highlight.tags.character, highlight.tags.macroName], color: base05 },
-    { tag: [highlight.tags.variableName], color: base05 },
-    { tag: [highlight.tags.propertyName], color: brightCyan, fontStyle: 'normal' },
-    // Classes and types
-    { tag: [highlight.tags.typeName], color: brightYellow },
-    { tag: [highlight.tags.className], color: brightYellow, fontStyle: 'italic' },
-    { tag: [highlight.tags.namespace], color: brightOrange, fontStyle: 'italic' },
-    // Operators and punctuation
-    { tag: [highlight.tags.operator, highlight.tags.operatorKeyword], color: brightCyan },
-    { tag: [highlight.tags.bracket], color: brightYellow },
-    { tag: [highlight.tags.brace], color: brightCyan },
-    { tag: [highlight.tags.punctuation], color: base05 },
-    // Functions and parameters
-    { tag: [highlight.tags.function(highlight.tags.variableName), highlight.tags.labelName], color: brightBlue },
-    { tag: [highlight.tags.definition(highlight.tags.function(highlight.tags.variableName))], color: brightBlue },
-    { tag: [highlight.tags.definition(highlight.tags.variableName)], color: brightOrange },
-    // Constants and literals
-    { tag: highlight.tags.number, color: brightOrange },
-    { tag: highlight.tags.changed, color: brightYellow },
-    { tag: highlight.tags.annotation, color: brightRed, fontStyle: 'italic' },
-    { tag: highlight.tags.modifier, color: brightPurple, fontStyle: 'italic' },
-    { tag: highlight.tags.self, color: brightRed },
-    {
-        tag: [highlight.tags.color, highlight.tags.constant(highlight.tags.name), highlight.tags.standard(highlight.tags.name)],
-        color: brightOrange,
-    },
-    { tag: [highlight.tags.atom, highlight.tags.bool, highlight.tags.special(highlight.tags.variableName)], color: brightOrange },
-    // Strings and regex
-    { tag: [highlight.tags.processingInstruction, highlight.tags.inserted], color: brightGreen },
-    { tag: [highlight.tags.special(highlight.tags.string), highlight.tags.regexp], color: brightMagenta },
-    { tag: highlight.tags.string, color: brightGreen },
-    // Punctuation and structure
-    { tag: highlight.tags.definition(highlight.tags.typeName), color: brightYellow, fontWeight: 'bold' },
-    { tag: [highlight.tags.definition(highlight.tags.name), highlight.tags.separator], color: brightCyan },
-    // Comments and documentation
-    { tag: highlight.tags.meta, color: base03 },
-    { tag: highlight.tags.comment, fontStyle: 'italic', color: base03 },
-    { tag: highlight.tags.docComment, fontStyle: 'italic', color: base03 },
-    // HTML/XML elements
-    { tag: [highlight.tags.tagName], color: brightMagenta },
-    { tag: [highlight.tags.attributeName], color: brightYellow },
-    // Markdown and text formatting
-    { tag: [highlight.tags.heading], fontWeight: 'bold', color: brightMagenta },
-    { tag: [highlight.tags.strong], fontWeight: 'bold', color: brightOrange },
-    { tag: [highlight.tags.emphasis], fontStyle: 'italic', color: brightMagenta },
-    // Links and URLs
-    {
-        tag: [highlight.tags.link],
-        color: visitedLinkColor,
-        fontWeight: '500',
-        textDecoration: 'underline',
-        textUnderlinePosition: 'under',
-    },
-    {
-        tag: [highlight.tags.url],
-        color: linkColor,
-        textDecoration: 'underline',
-        textUnderlineOffset: '2px',
-    },
-    // Special states
-    {
-        tag: [highlight.tags.invalid],
-        color: brightRed,
-        textDecoration: 'underline wavy',
-        borderBottom: `2px wavy ${brightRed}`,
+    syntax: {
+        keyword: { color: brightMagenta, fontWeight: 'bold' },
+        definitionKeyword: { color: brightMagenta },
+        modifier: { color: brightPurple, fontStyle: 'italic' },
+        separator: { color: brightCyan },
+        operator: { color: brightCyan },
+        punctuation: { color: base05 },
+        bracket: { color: brightYellow },
+        angleBracket: { color: brightCyan },
+        brace: { color: brightCyan },
+        name: { color: base05 },
+        localVariable: { color: brightOrange },
+        variableDefinition: { color: brightOrange },
+        nameDefinition: { color: brightCyan },
+        function: { color: brightBlue },
+        self: { color: brightRed },
+        label: { color: brightBlue },
+        property: { color: brightCyan, fontStyle: 'normal' },
+        type: { color: brightYellow },
+        typeDefinition: { color: brightYellow, fontWeight: 'bold' },
+        className: { color: brightYellow, fontStyle: 'italic' },
+        namespace: { color: brightOrange, fontStyle: 'italic' },
+        tag: { color: brightMagenta },
+        attribute: { color: brightYellow },
+        content: { color: base05 },
+        string: { color: brightGreen },
+        regexp: { color: brightMagenta },
+        number: { color: brightOrange },
+        constant: { color: brightOrange },
+        comment: { fontStyle: 'italic', color: base03 },
+        meta: { color: base03 },
+        processingInstruction: { color: brightGreen },
+        annotation: { color: brightRed, fontStyle: 'italic' },
+        heading: { fontWeight: 'bold', color: brightMagenta },
+        headingLevel: { color: brightMagenta },
+        list: { color: brightMagenta },
+        quote: { color: brightPurple },
+        monospace: { color: brightBlue, fontStyle: 'italic' },
+        contentSeparator: { color: brightPurple },
+        link: {
+            color: brightMagenta,
+            fontWeight: '500',
+            textDecoration: 'underline',
+            textUnderlinePosition: 'under',
+        },
+        url: { color: brightCyan, textDecoration: 'underline', textUnderlineOffset: '2px' },
+        emphasis: { fontStyle: 'italic', color: brightMagenta },
+        strong: { fontWeight: 'bold', color: brightOrange },
+        strikethrough: { color: brightRed, textDecoration: 'line-through' },
+        invalid: {
+            color: brightRed,
+            textDecoration: 'underline wavy',
+            borderBottom: `2px wavy ${brightRed}`,
+        },
+        inserted: { color: brightGreen },
+        deleted: { color: brightRed },
+        changed: { color: brightYellow },
     },
-    { tag: [highlight.tags.strikethrough], color: brightRed, textDecoration: 'line-through' },
-    // Enhanced syntax highlighting
-    { tag: highlight.tags.constant(highlight.tags.name), color: brightOrange },
-    { tag: highlight.tags.deleted, color: brightRed },
-    { tag: highlight.tags.squareBracket, color: brightYellow },
-    { tag: highlight.tags.angleBracket, color: brightCyan },
-    // Additional specific styles
-    { tag: highlight.tags.monospace, color: brightBlue, fontStyle: 'italic' },
-    { tag: [highlight.tags.contentSeparator], color: brightPurple },
-    { tag: highlight.tags.quote, color: brightPurple },
-]);
+});
 /**
  * Combined High Contrast Dark theme extension
  */
-const highContrastDark = [
-    highContrastDarkTheme,
-    language.syntaxHighlighting(highContrastDarkHighlightStyle),
-];
+const highContrastDark = theme.extension;
 /**
  * High Contrast Dark merge revert styles configuration
  */
-const highContrastDarkMergeStyles = {
-    backgroundColor: darkBackground,
-    borderColor: brightCyan,
-    buttonColor: brightCyan,
-    buttonHoverColor: brightYellow,
-};
+const highContrastDarkMergeStyles = theme.mergeStyles;
 
 exports.applyMergeRevertStyles = applyMergeRevertStyles;
 exports.highContrastDark = highContrastDark;