@fsegurai/codemirror-theme-abyss 6.2.7 → 6.3.0

package/dist/index.cjs

@@ -10,9 +10,6 @@ const generalContent = {
     fontFamily: 'JetBrains Mono, Consolas, monospace',
     lineHeight: '1.6',
 };
-const generalCursor = {
-    borderLeftWidth: '2px',
-};
 const generalDiff = {
     insertedTextDecoration: 'none',
     deletedTextDecoration: 'line-through',
@@ -22,11 +19,9 @@ const generalGutter = {
     border: 'none',
     paddingRight: '8px',
     fontSize: '0.9em',
-    fontWeight: '500',
     lineHeight: '1.78', // Adjusted to compensate for 0.9em fontSize (1.6 / 0.9 ≈ 1.78)
 };
 const generalPanel = {
-    border: 'none',
     borderRadius: '4px',
     padding: '2px 10px',
 };
@@ -106,10 +101,502 @@ 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),
+    };
+}
+
 // Base colors - Ocean depths
 const base00 = '#000c18', // - Background (deep ocean blue)
 base01 = '#a3c9e9', // - Foreground (lighter blue for enhanced readability)
-base02 = '#0e6299', // - Selection (more vibrant blue for better visibility)
+base02 = '#032d4a', // - Selection (more vibrant blue for better visibility)
 base03 = '#b4a2f7', // - Gutter background (darker for contrast)
 base04 = '#e6d4a3', // - Cursor (warmer gold for better visibility)
 base05 = '#0066ff20', // - Active line (subtle blue tint)
@@ -128,373 +615,187 @@ base11 = '#66ecd4', // - URLs (brighter teal)
 // UI elements
 invalid = '#ff5370', darkBackground = '#0a1422', // Darker background for better contrast
 highlightBackground = '#0055ff15', tooltipBackground = '#05101d', // Darker tooltip for better contrast
-cursor = base04, selection = base02, activeBracketBg = '#0a5999b0', activeBracketBorder = base0F, 
+activeBracketBg = '#0a5999b0', 
 // Diff/merge specific colors
 addedBackground = '#0e4e1d50', // Dark green with transparency for insertions
 removedBackground = '#78112240', // Dark red with transparency for deletions
-addedText = '#4ce660', // Bright green for added text (matching string color)
 removedText = '#ff6b7d'; // Bright red for removed text
-/**
- * Enhanced editor theme styles for Abyss
- */
-const abyssTheme = view.EditorView.theme({
-    // Base editor styles
-    '&': {
-        color: base01,
-        backgroundColor: base00,
-        fontSize: generalContent.fontSize,
-        fontFamily: generalContent.fontFamily,
-    },
-    // Content and cursor
-    '.cm-content': {
-        caretColor: cursor,
-        lineHeight: generalContent.lineHeight,
-    },
-    '.cm-cursor, .cm-dropCursor': {
-        borderLeftColor: cursor,
-        borderLeftWidth: generalCursor.borderLeftWidth,
-    },
-    '.cm-fat-cursor': {
-        backgroundColor: `${cursor}99`,
-        color: base00,
-    },
-    // Selection
-    '&.cm-focused > .cm-scroller > .cm-selectionLayer .cm-selectionBackground, .cm-selectionBackground, .cm-content ::selection': {
-        backgroundColor: selection,
-    },
-    // Search functionality
-    '.cm-searchMatch': {
-        backgroundColor: '#155ab380',
-        outline: `1px solid ${base08}`,
-        borderRadius: generalSearchField.borderRadius,
-        '& span': {
-            color: base06,
+const theme = defineTheme({
+    dark: true,
+    ui: {
+        background: base00,
+        foreground: base01,
+        border: 'none',
+        cursor: base04,
+        cursorWidth: '2px',
+        cursorShadow: 'none',
+        fatCursor: { background: `${base04}99`, border: 'none' },
+        selection: base02,
+        selectionInactive: base02,
+        selectionForeground: null,
+        selectionOutline: 'none',
+        activeLine: highlightBackground,
+        activeLineBorder: { left: 'none', right: 'none' },
+        ghostText: base06,
+        ghostTextOpacity: '0.5',
+        specialChar: invalid,
+        focusRing: `0 0 0 2px ${base05}, 0 0 0 4px ${base08}`,
+        outlineWidth: '1px',
+        searchMatch: {
+            background: '#155ab380',
+            outline: base08,
+            foreground: base06,
+            shadow: 'none',
+            selectedBackground: '#2a6ac080',
+            selectedForeground: base06,
+            selectedOutline: `1px solid ${base08}`,
+            selectedShadow: 'none',
         },
-    },
-    '.cm-searchMatch.cm-searchMatch-selected': {
-        backgroundColor: '#2a6ac080',
-        color: base06,
-        padding: generalSearchField.padding,
-        '& span': {
-            color: base06,
-        },
-    },
-    '.cm-search.cm-panel.cm-textfield': {
-        color: base01,
-        borderRadius: generalSearchField.borderRadius,
-        padding: generalSearchField.padding,
-    },
-    // Panels
-    '.cm-panels': {
-        backgroundColor: darkBackground,
-        color: base01,
-    },
-    '.cm-panels.cm-panels-top': {
-        borderBottom: '2px solid #0a3555',
-    },
-    '.cm-panels.cm-panels-bottom': {
-        borderTop: '2px solid #0a3555',
-    },
-    '.cm-panel button': {
-        backgroundColor: darkBackground,
-        color: base01,
-        border: generalPanel.border,
-        borderRadius: generalPanel.borderRadius,
-        padding: generalPanel.padding,
-    },
-    '.cm-panel button:hover': {
-        backgroundColor: '#0a3555',
-    },
-    // Line highlighting
-    '.cm-activeLine': {
-        backgroundColor: highlightBackground,
-        borderRadius: generalLine.borderRadius,
-    },
-    // Gutters
-    '.cm-gutters': {
-        backgroundColor: darkBackground,
-        color: '#5f7e97',
-        border: generalGutter.border,
-        paddingRight: generalGutter.paddingRight,
-    },
-    '.cm-activeLineGutter': {
-        backgroundColor: highlightBackground,
-        color: base01,
-        fontWeight: generalGutter.fontWeight,
-    },
-    '.cm-lineNumbers': {
-        fontSize: generalGutter.fontSize,
-        lineHeight: generalGutter.lineHeight,
-    },
-    '.cm-foldGutter': {
-        fontSize: generalGutter.fontSize,
-        lineHeight: generalGutter.lineHeight,
-    },
-    '.cm-foldGutter .cm-gutterElement': {
-        color: '#5f7e97',
-        cursor: 'pointer',
-    },
-    '.cm-foldGutter .cm-gutterElement:hover': {
-        color: base01,
-    },
-    // Diff/Merge View Styles
-    // Inserted/Added Content
-    '.cm-insertedLine': {
-        textDecoration: generalDiff.insertedTextDecoration,
-        backgroundColor: addedBackground,
-        color: addedText,
-        padding: generalDiff.insertedLinePadding,
-        borderRadius: generalDiff.borderRadius,
-    },
-    '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}40`,
-    },
-    'ins.cm-insertedLine .cm-changedText': {
-        background: 'transparent !important',
-    },
-    // Deleted/Removed Content
-    '.cm-deletedLine': {
-        textDecoration: generalDiff.deletedTextDecoration,
-        backgroundColor: removedBackground,
-        color: removedText,
-        padding: generalDiff.insertedLinePadding,
-        borderRadius: generalDiff.borderRadius,
-    },
-    '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}40`,
-    },
-    'del .cm-deletedText, del .cm-changedText': {
-        background: 'transparent !important',
-    },
-    // Tooltips and autocomplete
-    '.cm-tooltip': {
-        backgroundColor: tooltipBackground,
-        border: '1px solid #084671',
-        borderRadius: generalTooltip.borderRadius,
-        padding: generalTooltip.padding,
-        boxShadow: '0 2px 8px rgba(0, 0, 0, 0.5)',
-    },
-    '.cm-tooltip-autocomplete': {
-        '& > ul > li': {
-            padding: generalTooltip.padding,
-            lineHeight: generalTooltip.lineHeight,
+        selectionMatch: { background: '#155ab340', outline: base08 },
+        matchingBracket: { background: activeBracketBg, outline: base0F, shadow: 'none' },
+        nonMatchingBracket: { background: '#780e1e80', outline: invalid },
+        panel: {
+            background: darkBackground,
+            foreground: base01,
+            border: '#0a3555',
+            borderWidth: '2px',
+            outline: 'none',
+            shadow: 'none',
+            buttonBackground: darkBackground,
+            buttonForeground: base01,
+            buttonBorder: 'none',
+            buttonHoverBackground: '#0a3555',
+            buttonHoverForeground: base01,
+            buttonHoverBorder: 'none',
+            buttonHoverShadow: 'none',
+            inputBackground: base00,
+            inputBorder: '1px solid #0a3555',
         },
-        '& > ul > li[aria-selected]': {
-            backgroundColor: '#084671',
-            color: '#e0edff',
-            borderRadius: generalTooltip.borderRadiusSelected,
+        gutter: {
+            background: darkBackground,
+            foreground: '#62829b',
+            activeBackground: highlightBackground,
+            activeForeground: base01,
+            activeFontWeight: '500',
+            activeBorder: 'none',
+            foldHover: base01,
+            border: '#0a3555',
         },
-        '& > ul > li > span.cm-completionIcon': {
-            color: '#5f7e97',
-            paddingRight: generalTooltip.paddingRight,
+        foldPlaceholder: { background: 'transparent', foreground: '#62829b', border: base0F, borderStyle: 'dotted' },
+        tooltip: {
+            background: tooltipBackground,
+            foreground: base01,
+            border: '#084671',
+            shadow: '0 2px 8px rgba(0, 0, 0, 0.5)',
+            selectedBackground: '#084671',
+            selectedForeground: '#e0edff',
+            selectedBorder: 'none',
+            icon: '#62829b',
+            detail: '#62829b',
+            listBackground: tooltipBackground,
+            listBorder: 'none',
+            hoverBackground: 'transparent',
         },
-        '& > ul > li > span.cm-completionDetail': {
-            color: '#5f7e97',
-            fontStyle: 'italic',
+        diff: {
+            insertedBackground: addedBackground,
+            insertedForeground: base0A,
+            insertedBorder: `1px solid ${base0A}40`,
+            deletedBackground: removedBackground,
+            deletedForeground: removedText,
+            deletedBorder: `1px solid ${removedText}40`,
         },
-    },
-    '.cm-tooltip .cm-tooltip-arrow:before': {
-        borderTopColor: 'transparent',
-        borderBottomColor: 'transparent',
-    },
-    '.cm-tooltip .cm-tooltip-arrow:after': {
-        borderTopColor: tooltipBackground,
-        borderBottomColor: tooltipBackground,
-    },
-    // Diagnostics styling
-    '.cm-diagnostic': {
-        '&-error': {
-            borderLeft: `3px solid ${invalid}`,
+        diagnostic: {
+            error: invalid,
+            warning: base0A,
+            info: base0B,
+            hint: base0B,
+            errorBackground: 'transparent',
+            warningBackground: 'transparent',
+            infoBackground: 'transparent',
+            borderWidth: '3px',
+            underlineWidth: '2px',
         },
-        '&-warning': {
-            borderLeft: `3px solid ${base0A}`,
+        scrollbar: {
+            track: darkBackground,
+            trackBorder: 'none',
+            thumb: '#62829b',
+            thumbBorder: `3px solid ${darkBackground}`,
+            thumbHover: '#4cc9ff',
+            thumbHoverShadow: 'none',
         },
-        '&-info': {
-            borderLeft: `3px solid ${base0B}`,
+        merge: {
+            backgroundColor: darkBackground,
+            borderColor: '#084671',
+            buttonColor: base01,
+            buttonHoverColor: '#0a3555',
         },
     },
-    '.cm-lintPoint-error': {
-        borderBottom: `2px wavy ${invalid}`,
-    },
-    '.cm-lintPoint-warning': {
-        borderBottom: `2px wavy ${base0A}`,
-    },
-    // Matching brackets
-    '.cm-matchingBracket': {
-        backgroundColor: activeBracketBg,
-        outline: `1px solid ${activeBracketBorder}`,
-        borderRadius: generalMatching.borderRadius,
-    },
-    '.cm-nonmatchingBracket': {
-        backgroundColor: '#780e1e80',
-        outline: `1px solid ${invalid}`,
-        borderRadius: generalMatching.borderRadius,
-    },
-    // Selection matches
-    '.cm-selectionMatch': {
-        backgroundColor: '#155ab340',
-        outline: `1px solid ${base08}`,
-        borderRadius: generalMatching.borderRadius,
-    },
-    // Fold placeholder
-    '.cm-foldPlaceholder': {
-        backgroundColor: 'transparent',
-        color: '#5f7e97',
-        fontStyle: 'italic',
-        border: `1px dotted ${activeBracketBorder}`,
-        borderRadius: generalPlaceholder.borderRadius,
-        padding: generalPlaceholder.padding,
-        margin: generalPlaceholder.margin,
-    },
-    // Focus outline
-    '&.cm-focused': {
-        outline: 'none',
-        boxShadow: `0 0 0 2px ${base05}, 0 0 0 4px ${base00}`,
-    },
-    // Scrollbars
-    '& .cm-scroller::-webkit-scrollbar': {
-        width: generalScroller.width,
-        height: generalScroller.height,
-    },
-    '& .cm-scroller::-webkit-scrollbar-track': {
-        background: darkBackground,
-    },
-    '& .cm-scroller::-webkit-scrollbar-thumb': {
-        backgroundColor: '#5f7e97',
-        borderRadius: generalScroller.borderRadius,
-        border: `3px solid ${darkBackground}`,
-    },
-    '& .cm-scroller::-webkit-scrollbar-thumb:hover': {
-        backgroundColor: '#4cc9ff',
-    },
-    // Ghost text
-    '.cm-ghostText': {
-        opacity: '0.5',
-        color: '#ffffff',
-    },
-}, { dark: true });
-/**
- * Enhanced syntax highlighting for the Abyss theme
- */
-const abyssHighlightStyle = language.HighlightStyle.define([
-    // Keywords and control flow
-    { tag: highlight.tags.keyword, color: base07, fontWeight: 'bold' },
-    { tag: highlight.tags.controlKeyword, color: base0F, fontWeight: 'bold' },
-    { tag: highlight.tags.moduleKeyword, color: base07, fontWeight: 'bold' },
-    // Names and variables
-    { tag: [highlight.tags.name, highlight.tags.deleted, highlight.tags.character, highlight.tags.macroName], color: base08 },
-    { tag: [highlight.tags.variableName], color: '#7ab2ff' },
-    { tag: [highlight.tags.propertyName], color: base0E, fontStyle: 'normal' },
-    // Classes and types
-    { tag: [highlight.tags.typeName], color: base03 },
-    { tag: [highlight.tags.className], color: base0D, fontStyle: 'italic' },
-    { tag: [highlight.tags.namespace], color: base0C, fontStyle: 'italic' },
-    // Operators and punctuation - clearer blues
-    { tag: [highlight.tags.operator, highlight.tags.operatorKeyword], color: base0E },
-    { tag: [highlight.tags.bracket], color: base01 },
-    { tag: [highlight.tags.brace], color: base01 },
-    { tag: [highlight.tags.punctuation], color: base01 },
-    // Functions and parameters
-    { tag: [highlight.tags.function(highlight.tags.variableName), highlight.tags.labelName], color: base0B },
-    { tag: [highlight.tags.definition(highlight.tags.variableName)], color: base0B },
-    // Constants and literals
-    { tag: highlight.tags.number, color: base0C },
-    { tag: highlight.tags.changed, color: base0C },
-    { tag: highlight.tags.annotation, color: base0C, fontStyle: 'italic' },
-    { tag: highlight.tags.modifier, color: base0C, fontStyle: 'italic' },
-    { tag: highlight.tags.self, color: base0C },
-    { tag: [highlight.tags.color, highlight.tags.constant(highlight.tags.name), highlight.tags.standard(highlight.tags.name)], color: base0C },
-    { tag: [highlight.tags.atom, highlight.tags.bool, highlight.tags.special(highlight.tags.variableName)], color: '#ff9e64' },
-    // Strings and regex
-    { tag: [highlight.tags.processingInstruction, highlight.tags.inserted], color: base0A },
-    { tag: [highlight.tags.special(highlight.tags.string), highlight.tags.regexp], color: base0A },
-    // Punctuation and structure
-    { tag: highlight.tags.definition(highlight.tags.typeName), color: base0B, fontWeight: 'bold' },
-    { tag: [highlight.tags.operator, highlight.tags.operatorKeyword], color: '#78b6ff' },
-    { tag: [highlight.tags.bracket], color: '#8da0bf' },
-    { tag: [highlight.tags.brace], color: '#8da0bf' },
-    { tag: [highlight.tags.punctuation], color: '#8da0bf' },
-    // Comments and documentation
-    { tag: highlight.tags.meta, color: base09 },
-    { tag: highlight.tags.comment, fontStyle: 'italic', color: base09 },
-    { tag: highlight.tags.docComment, fontStyle: 'italic', color: base09 },
-    // HTML/XML elements
-    { tag: [highlight.tags.tagName], color: base0F },
-    { tag: [highlight.tags.attributeName], color: '#ffd580' },
-    // Markdown and text formatting
-    { tag: [highlight.tags.heading], fontWeight: 'bold', color: base0E },
-    { tag: [highlight.tags.strong], fontWeight: 'bold' },
-    { tag: [highlight.tags.emphasis], fontStyle: 'italic' },
-    // Links and URLs
-    { tag: [highlight.tags.link], color: base10, fontWeight: '500' },
-    {
-        tag: [highlight.tags.url],
-        color: base11,
-        textDecoration: 'underline',
-        textUnderlineOffset: '2px',
-    },
-    // Special states
-    { tag: [highlight.tags.invalid], color: invalid, textDecoration: 'underline wavy' },
-    { tag: [highlight.tags.strikethrough], color: invalid, textDecoration: 'line-through' },
-    // Enhanced syntax highlighting
-    { tag: highlight.tags.constant(highlight.tags.name), color: base0C },
-    { tag: highlight.tags.controlKeyword, color: base07, fontWeight: 'bold' },
-    { tag: highlight.tags.deleted, color: base08 },
-    { tag: highlight.tags.labelName, color: base0B },
-    { tag: highlight.tags.string, color: base0A },
-    { tag: highlight.tags.integer, color: base0C },
-    { tag: highlight.tags.float, color: base0C },
-    { tag: highlight.tags.null, color: base0C },
-    { tag: highlight.tags.attributeValue, color: base0A },
-    { tag: highlight.tags.escape, color: base0A },
-    { tag: highlight.tags.paren, color: base01 },
-    { tag: highlight.tags.lineComment, color: base09, fontStyle: 'italic' },
-    { tag: highlight.tags.blockComment, color: base09, fontStyle: 'italic' },
-    { tag: highlight.tags.definitionKeyword, color: base07 },
-    { tag: highlight.tags.arithmeticOperator, color: base0E },
-    { tag: highlight.tags.logicOperator, color: base0E },
-    { tag: highlight.tags.compareOperator, color: base0E },
-    { tag: highlight.tags.bitwiseOperator, color: base0E },
-    { tag: highlight.tags.updateOperator, color: base0E },
-    { tag: highlight.tags.derefOperator, color: base0E },
-    { tag: highlight.tags.local(highlight.tags.variableName), color: base0B },
-    { tag: highlight.tags.contentSeparator, color: base0E },
-    { tag: highlight.tags.list, color: base0E },
-    { tag: highlight.tags.unit, color: base0C },
-    { tag: highlight.tags.squareBracket, color: base01 },
-    { tag: highlight.tags.angleBracket, color: base01 },
-    { tag: highlight.tags.heading1, color: base0E },
-    { tag: highlight.tags.heading2, color: base0E },
-    { tag: highlight.tags.heading3, color: base0E },
-    { tag: highlight.tags.heading4, color: base0E },
-    { tag: highlight.tags.heading5, color: base0E },
-    { tag: highlight.tags.heading6, color: base0E },
-    { tag: highlight.tags.monospace, color: base0E },
-    { tag: highlight.tags.quote, color: base0A },
-]);
+    syntax: {
+        keyword: { color: base07, fontWeight: 'bold' },
+        definitionKeyword: { color: base07 },
+        operatorKeyword: { color: '#78b6ff' },
+        modifier: { color: base0C, fontStyle: 'italic' },
+        arithmeticOperator: { color: base0E },
+        logicOperator: { color: base0E },
+        compareOperator: { color: base0E },
+        bitwiseOperator: { color: base0E },
+        updateOperator: { color: base0E },
+        derefOperator: { color: base0E },
+        operator: { color: '#78b6ff' },
+        punctuation: { color: '#8da0bf' },
+        bracket: { color: '#8da0bf' },
+        paren: { color: base01 },
+        squareBracket: { color: base01 },
+        angleBracket: { color: base01 },
+        name: { color: base08 },
+        variable: { color: '#7ab2ff' },
+        localVariable: { color: base0B },
+        variableDefinition: { color: base0B },
+        nameDefinition: { color: base08 },
+        function: { color: base0B },
+        self: { color: base0C },
+        label: { color: base0B },
+        property: { color: base0E, fontStyle: 'normal' },
+        type: { color: base03 },
+        typeDefinition: { color: base0B, fontWeight: 'bold' },
+        className: { color: base0D, fontStyle: 'italic' },
+        namespace: { color: base0C, fontStyle: 'italic' },
+        tag: { color: base0F },
+        attribute: { color: '#ffd580' },
+        content: { color: base01 },
+        string: { color: base0A },
+        number: { color: base0C },
+        constant: { color: base0C },
+        comment: { fontStyle: 'italic', color: base09 },
+        meta: { color: base09 },
+        processingInstruction: { color: base0A },
+        atom: { color: '#ff9e64' },
+        specialVariable: { color: '#ff9e64' },
+        annotation: { color: base0C, fontStyle: 'italic' },
+        heading: { fontWeight: 'bold', color: base0E },
+        headingLevel: { color: base0E },
+        list: { color: base0E },
+        monospace: { color: base0E },
+        contentSeparator: { color: base0E },
+        link: { color: base10, fontWeight: '500' },
+        url: { color: base11, textDecoration: 'underline', textUnderlineOffset: '2px' },
+        emphasis: { fontStyle: 'italic' },
+        strong: { fontWeight: 'bold' },
+        strikethrough: { color: invalid, textDecoration: 'line-through' },
+        invalid: { color: invalid, textDecoration: 'underline wavy' },
+        inserted: { color: base0A },
+        deleted: { color: base08 },
+        changed: { color: base0C },
+    },
+});
 /**
  * Combined Abyss theme extension
  */
-const abyss = [abyssTheme, language.syntaxHighlighting(abyssHighlightStyle)];
+const abyss = theme.extension;
 /**
  * Abyss merge revert styles configuration
  */
-const abyssMergeStyles = {
-    backgroundColor: darkBackground,
-    borderColor: '#084671',
-    buttonColor: base01,
-    buttonHoverColor: '#0a3555',
-};
+const abyssMergeStyles = theme.mergeStyles;
 
 exports.abyss = abyss;
 exports.abyssMergeStyles = abyssMergeStyles;