@fsegurai/codemirror-theme-android-studio 6.2.7 → 6.3.0

package/dist/index.js

@@ -8,9 +8,6 @@ const generalContent = {
     fontFamily: 'JetBrains Mono, Consolas, monospace',
     lineHeight: '1.6',
 };
-const generalCursor = {
-    borderLeftWidth: '2px',
-};
 const generalDiff = {
     insertedTextDecoration: 'none',
     deletedTextDecoration: 'line-through',
@@ -20,11 +17,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',
 };
@@ -104,6 +99,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', [tags.keyword]],
+    ['controlKeyword', [tags.controlKeyword]],
+    ['moduleKeyword', [tags.moduleKeyword]],
+    ['definitionKeyword', [tags.definitionKeyword]],
+    ['operatorKeyword', [tags.operatorKeyword]],
+    ['modifier', [tags.modifier]],
+    ['operator', [tags.operator]],
+    ['arithmeticOperator', [tags.arithmeticOperator]],
+    ['logicOperator', [tags.logicOperator]],
+    ['compareOperator', [tags.compareOperator]],
+    ['bitwiseOperator', [tags.bitwiseOperator]],
+    ['updateOperator', [tags.updateOperator]],
+    ['derefOperator', [tags.derefOperator]],
+    ['definitionOperator', [tags.definitionOperator]],
+    ['typeOperator', [tags.typeOperator]],
+    ['controlOperator', [tags.controlOperator]],
+    ['punctuation', [tags.punctuation, /*@__PURE__*/tags.function(tags.punctuation)]],
+    ['separator', [tags.separator]],
+    ['bracket', [tags.bracket]],
+    ['paren', [tags.paren]],
+    ['brace', [tags.brace, /*@__PURE__*/tags.special(tags.brace)]],
+    ['squareBracket', [tags.squareBracket]],
+    ['angleBracket', [tags.angleBracket]],
+    ['name', [tags.name, /*@__PURE__*/tags.special(tags.name)]],
+    ['character', [tags.character]],
+    ['macroName', [tags.macroName]],
+    ['variable', [tags.variableName, /*@__PURE__*/tags.standard(tags.variableName)]],
+    ['localVariable', [/*@__PURE__*/tags.local(tags.variableName)]],
+    ['variableDefinition', [/*@__PURE__*/tags.definition(tags.variableName)]],
+    ['nameDefinition', [/*@__PURE__*/tags.definition(tags.name)]],
+    ['function', [/*@__PURE__*/tags.function(tags.variableName)]],
+    ['functionDefinition', [/*@__PURE__*/tags.definition(/*@__PURE__*/tags.function(tags.variableName))]],
+    ['self', [tags.self]],
+    ['label', [tags.labelName]],
+    ['property', [tags.propertyName]],
+    ['propertyDefinition', [/*@__PURE__*/tags.definition(tags.propertyName)]],
+    ['method', [/*@__PURE__*/tags.function(tags.propertyName)]],
+    ['methodDefinition', [/*@__PURE__*/tags.definition(/*@__PURE__*/tags.function(tags.propertyName))]],
+    ['specialProperty', [/*@__PURE__*/tags.special(tags.propertyName), /*@__PURE__*/tags.definition(/*@__PURE__*/tags.special(tags.propertyName))]],
+    ['type', [tags.typeName, /*@__PURE__*/tags.standard(tags.typeName)]],
+    ['typeDefinition', [/*@__PURE__*/tags.definition(tags.typeName)]],
+    ['className', [tags.className, /*@__PURE__*/tags.definition(tags.className), /*@__PURE__*/tags.constant(tags.className)]],
+    ['namespace', [tags.namespace]],
+    ['tag', [tags.tagName]],
+    ['standardTag', [/*@__PURE__*/tags.standard(tags.tagName)]],
+    ['attribute', [tags.attributeName, /*@__PURE__*/tags.special(tags.attributeName)]],
+    ['attributeValue', [tags.attributeValue]],
+    ['literal', [tags.literal]],
+    ['string', [tags.string]],
+    ['docString', [tags.docString]],
+    ['regexp', [tags.regexp]],
+    ['specialString', [/*@__PURE__*/tags.special(tags.string), /*@__PURE__*/tags.special(tags.docString)]],
+    ['escape', [tags.escape]],
+    ['number', [tags.number, tags.integer, tags.float]],
+    ['unit', [tags.unit]],
+    ['atom', [tags.atom]],
+    ['bool', [tags.bool]],
+    ['null', [tags.null]],
+    ['constantName', [/*@__PURE__*/tags.constant(tags.name)]],
+    ['standardName', [/*@__PURE__*/tags.standard(tags.name)]],
+    ['color', [tags.color]],
+    ['specialVariable', [/*@__PURE__*/tags.special(tags.variableName)]],
+    ['comment', [tags.comment, tags.lineComment, tags.blockComment]],
+    ['docComment', [tags.docComment]],
+    ['meta', [tags.meta]],
+    ['documentMeta', [tags.documentMeta]],
+    ['processingInstruction', [tags.processingInstruction]],
+    ['annotation', [tags.annotation]],
+    ['content', [tags.content, /*@__PURE__*/tags.special(tags.content)]],
+    ['heading', [tags.heading]],
+    ['heading1', [tags.heading1]],
+    ['heading2', [tags.heading2]],
+    ['heading3', [tags.heading3]],
+    ['heading4', [tags.heading4]],
+    ['heading5', [tags.heading5]],
+    ['heading6', [tags.heading6]],
+    ['list', [tags.list]],
+    ['quote', [tags.quote]],
+    ['monospace', [tags.monospace]],
+    ['contentSeparator', [tags.contentSeparator]],
+    ['link', [tags.link]],
+    ['url', [tags.url]],
+    ['emphasis', [tags.emphasis]],
+    ['strong', [tags.strong]],
+    ['strikethrough', [tags.strikethrough]],
+    ['invalid', [tags.invalid]],
+    ['inserted', [tags.inserted]],
+    ['deleted', [tags.deleted]],
+    ['changed', [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 = EditorView.theme(emittedRules(uiTemplate(definition.ui)), { dark: definition.dark });
+    const highlightStyle = HighlightStyle.define(highlightRules(definition));
+    return {
+        extension: [theme, syntaxHighlighting(highlightStyle)],
+        theme,
+        highlightStyle,
+        mergeStyles: Object.assign({}, definition.ui.merge),
+    };
+}
+
 /**
  * Enhanced Android Studio theme color palette
  * ------------------------------------------
@@ -114,390 +601,194 @@ const base00 = '#282b2e', // Background (authentic IntelliJ IDEA dark theme)
 base01 = '#a9b7c6', // Foreground (standard text)
 base02 = '#3f3f3f', // Selection background (slightly darker for contrast)
 base03 = '#3b3b3b', // Gutter background (slightly lighter than the main background)
-base04 = '#606366', // Line numbers (slightly darker for less distraction)
+base04 = '#989b9e', // Line numbers (slightly darker for less distraction)
 // Language syntax colors
-base05 = '#cc7832', // Keywords (signature orange)
-base06 = '#6897bb', // Numbers, constants (signature blue)
-base07 = '#9876aa', // Variables (improved purple)
-base08 = '#787878', // Comments (authentic gray)
+base05 = '#e58f4b', // Keywords (signature orange)
+base06 = '#79a8cd', // Numbers, constants (signature blue)
+base07 = '#b996cc', // Variables (improved purple)
+base08 = '#a3a3a3', // Comments (authentic gray)
 base09 = '#bbb529', // Meta, annotations (yellow-green)
-base0A = '#6a8759', // Strings (signature green)
+base0A = '#8dac7c', // Strings (signature green)
 base0B = '#ffc66d', // Class names, types (warmer gold)
-base0C = '#a9b7c6', // Attribute names (default text color)
-base0D = '#629755', // Function names, docs (forest green)
+base0D = '#7bb16d', // Function names, docs (forest green)
 base0E = '#d0d0ff', // Brackets, special constructs (soft purple)
 base0F = '#e8bf6a', // Tags (amber)
-base10 = '#3c7abb', // Links (blue)
-base11 = '#50a658', // URLs (green)
+base10 = '#68a7eb', // Links (blue)
+base11 = '#5fb566', // URLs (green)
 // UI-specific colors
-invalid = '#ff5353', // Error highlighting (more visible)
+invalid = '#fb7d76', // Error highlighting (more visible)
 cursor = '#ffffff', // Cursor color
 selectionBackground = '#2e5280', // Stronger selection background
-selectionForeground = '#ffffff', // Selection text color
 highlightBackground = '#323232', // Active line highlight
 gutterBackground = '#313335', // Gutter background
-tooltipBackground = base03, // Tooltip background
-activeBracketBg = '#3b514d', activeBracketBorder = '#43705c', darkBackground = '#313335', 
+activeBracketBg = '#3b514d', activeBracketBorder = '#4c7e68', 
 // Diff/merge specific colors
 addedBackground = '#294436', // Dark green for insertions, matching IntelliJ
-removedBackground = '#484a4a', // Dark gray/red for deletions
-addedText = '#6a8759', // Matching the string color for added text
-removedText = '#cc7832'; // Using the keyword orange for removed text
-/**
- * Enhanced editor theme styles for Android Studio
- */
-const androidStudioTheme = /*@__PURE__*/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: selectionBackground,
-    },
-    // Search functionality
-    '.cm-searchMatch': {
-        backgroundColor: '#32593d',
-        outline: '1px solid #ffffff',
-        borderRadius: generalSearchField.borderRadius,
-        '& span': {
-            color: selectionForeground,
+removedBackground = '#484a4a'; // Dark gray/red for deletions
+const theme = /*@__PURE__*/defineTheme({
+    dark: true,
+    ui: {
+        background: base00,
+        foreground: base01,
+        border: 'none',
+        cursor: cursor,
+        cursorWidth: '2px',
+        cursorShadow: 'none',
+        fatCursor: { background: `${cursor}99`, border: 'none' },
+        selection: '#173a66',
+        selectionInactive: '#173a66',
+        selectionForeground: null,
+        selectionOutline: 'none',
+        activeLine: `${highlightBackground}21`,
+        activeLineBorder: { left: 'none', right: 'none' },
+        ghostText: '#a9a9a9',
+        ghostTextOpacity: '0.5',
+        specialChar: invalid,
+        focusRing: `0 0 0 2px ${base04}, 0 0 0 4px ${base00}`,
+        outlineWidth: '1px',
+        searchMatch: {
+            background: '#32593d',
+            outline: cursor,
+            foreground: cursor,
+            shadow: 'none',
+            selectedBackground: '#375580',
+            selectedForeground: cursor,
+            selectedOutline: `1px solid ${cursor}`,
+            selectedShadow: 'none',
         },
-    },
-    '.cm-searchMatch.cm-searchMatch-selected': {
-        backgroundColor: '#375580',
-        color: selectionForeground,
-        padding: generalSearchField.padding,
-        '& span': {
-            color: selectionForeground,
-        },
-    },
-    '.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 #5b5b5b',
-    },
-    '.cm-panels.cm-panels-bottom': {
-        borderTop: '2px solid #5b5b5b',
-    },
-    '.cm-panel button': {
-        backgroundColor: darkBackground,
-        color: base01,
-        border: generalPanel.border,
-        borderRadius: generalPanel.borderRadius,
-        padding: generalPanel.padding,
-    },
-    '.cm-panel button:hover': {
-        backgroundColor: '#404040',
-    },
-    // Line highlighting
-    '.cm-activeLine': {
-        backgroundColor: '#32323221',
-        borderRadius: generalLine.borderRadius,
-    },
-    // Gutters
-    '.cm-gutters': {
-        backgroundColor: gutterBackground,
-        color: base04,
-        border: generalGutter.border,
-        borderRight: '1px solid #3f3f3f',
-        paddingRight: generalGutter.paddingRight,
-    },
-    '.cm-activeLineGutter': {
-        backgroundColor: highlightBackground,
-        color: '#c0c0c0',
-        fontWeight: generalGutter.fontWeight,
-    },
-    '.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: 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 #5b5b5b',
-        borderRadius: generalTooltip.borderRadius,
-        padding: generalTooltip.padding,
-        boxShadow: '0 2px 8px rgba(0, 0, 0, 0.3)',
-    },
-    '.cm-tooltip-autocomplete': {
-        '& > ul > li': {
-            padding: generalTooltip.padding,
-            lineHeight: generalTooltip.lineHeight,
+        selectionMatch: { background: '#32593d40', outline: base0D },
+        matchingBracket: { background: activeBracketBg, outline: activeBracketBorder, shadow: 'none' },
+        nonMatchingBracket: { background: '#53383e', outline: invalid },
+        panel: {
+            background: gutterBackground,
+            foreground: base01,
+            border: '#5b5b5b',
+            borderWidth: '2px',
+            outline: 'none',
+            shadow: 'none',
+            buttonBackground: gutterBackground,
+            buttonForeground: base01,
+            buttonBorder: 'none',
+            buttonHoverBackground: '#404040',
+            buttonHoverForeground: base01,
+            buttonHoverBorder: 'none',
+            buttonHoverShadow: 'none',
+            inputBackground: base00,
+            inputBorder: '1px solid #5b5b5b',
         },
-        '& > ul > li[aria-selected]': {
-            backgroundColor: selectionBackground,
-            color: selectionForeground,
-            borderRadius: generalTooltip.borderRadiusSelected,
+        gutter: {
+            background: gutterBackground,
+            foreground: base04,
+            border: base02,
+            activeBackground: highlightBackground,
+            activeForeground: '#c0c0c0',
+            activeFontWeight: '500',
+            activeBorder: 'none',
+            foldHover: base01,
         },
-        '& > ul > li > span.cm-completionIcon': {
-            color: base04,
-            paddingRight: generalTooltip.paddingRight,
+        foldPlaceholder: { background: base03, foreground: '#a1a1a1', border: base04, borderStyle: 'dotted' },
+        tooltip: {
+            background: base03,
+            foreground: base01,
+            border: '#5b5b5b',
+            shadow: '0 2px 8px rgba(0, 0, 0, 0.3)',
+            selectedBackground: selectionBackground,
+            selectedForeground: cursor,
+            selectedBorder: 'none',
+            icon: base04,
+            detail: base04,
+            listBackground: base03,
+            listBorder: 'none',
+            hoverBackground: 'transparent',
         },
-        '& > ul > li > span.cm-completionDetail': {
-            color: base04,
-            fontStyle: 'italic',
+        diff: {
+            insertedBackground: addedBackground,
+            insertedForeground: base0A,
+            insertedBorder: `1px solid ${base0A}40`,
+            deletedBackground: removedBackground,
+            deletedForeground: base05,
+            deletedBorder: `1px solid ${base05}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: base0F,
+            info: base0D,
+            hint: base0D,
+            errorBackground: 'transparent',
+            warningBackground: 'transparent',
+            infoBackground: 'transparent',
+            borderWidth: '3px',
+            underlineWidth: '2px',
         },
-        '&-warning': {
-            borderLeft: `3px solid ${base0F}`,
+        scrollbar: {
+            track: gutterBackground,
+            trackBorder: 'none',
+            thumb: '#5a5a5a',
+            thumbBorder: `3px solid ${gutterBackground}`,
+            thumbHover: '#6e6e6e',
+            thumbHoverShadow: 'none',
         },
-        '&-info': {
-            borderLeft: `3px solid ${base0D}`,
+        merge: {
+            backgroundColor: gutterBackground,
+            borderColor: '#5b5b5b',
+            buttonColor: base01,
+            buttonHoverColor: '#414141',
         },
     },
-    '.cm-lintPoint-error': {
-        borderBottom: `2px wavy ${invalid}`,
-    },
-    '.cm-lintPoint-warning': {
-        borderBottom: `2px wavy ${base0F}`,
-    },
-    // Matching brackets
-    '.cm-matchingBracket': {
-        backgroundColor: activeBracketBg,
-        outline: `1px solid ${activeBracketBorder}`,
-        borderRadius: generalMatching.borderRadius,
-    },
-    '.cm-nonmatchingBracket': {
-        backgroundColor: '#53383e',
-        outline: `1px solid ${invalid}`,
-        borderRadius: generalMatching.borderRadius,
-    },
-    // Selection matches
-    '.cm-selectionMatch': {
-        backgroundColor: '#32593d40',
-        outline: `1px solid ${base0D}`,
-        borderRadius: generalMatching.borderRadius,
-    },
-    // Fold placeholder
-    '.cm-foldPlaceholder': {
-        backgroundColor: tooltipBackground,
-        color: '#a1a1a1',
-        border: `1px dotted ${base04}`,
-        borderRadius: generalPlaceholder.borderRadius,
-        padding: generalPlaceholder.padding,
-        margin: generalPlaceholder.margin,
-    },
-    // Focus outline
-    '&.cm-focused': {
-        outline: 'none',
-        boxShadow: `0 0 0 2px ${base02}, 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: '#5a5a5a',
-        borderRadius: generalScroller.borderRadius,
-        border: `3px solid ${darkBackground}`,
-    },
-    '& .cm-scroller::-webkit-scrollbar-thumb:hover': {
-        backgroundColor: '#6e6e6e',
-    },
-    // Ghost text
-    '.cm-ghostText': {
-        opacity: '0.5',
-        color: '#a9a9a9',
-    },
-}, { dark: true });
-/**
- * Enhanced syntax highlighting for the Android Studio theme
- */
-const androidStudioHighlightStyle = /*@__PURE__*/HighlightStyle.define([
-    // Keywords and control flow
-    { tag: tags.keyword, color: base05, fontWeight: 'bold' },
-    { tag: tags.controlKeyword, color: base05, fontWeight: 'bold' },
-    { tag: tags.moduleKeyword, color: base05, fontWeight: 'bold' },
-    // Names and variables
-    { tag: [tags.name, tags.deleted, tags.character, tags.macroName], color: base07 },
-    { tag: [tags.variableName], color: base07 },
-    { tag: [tags.propertyName], color: base0A, fontStyle: 'normal' },
-    // Classes and types
-    { tag: [tags.typeName], color: base0B },
-    { tag: [tags.className], color: base0B, fontStyle: 'italic' },
-    { tag: [tags.namespace], color: base07, fontStyle: 'italic' },
-    // Operators and punctuation
-    { tag: [tags.operator, tags.operatorKeyword], color: base05 },
-    { tag: [tags.bracket], color: base0E },
-    { tag: [tags.brace], color: base01 },
-    { tag: [tags.punctuation], color: base01 },
-    // Functions and parameters
-    { tag: [/*@__PURE__*/tags.function(tags.variableName), tags.labelName], color: base01 },
-    { tag: [/*@__PURE__*/tags.definition(tags.variableName)], color: base07 },
-    // Constants and literals
-    { tag: tags.number, color: base06 },
-    { tag: tags.changed, color: base06 },
-    { tag: tags.annotation, color: base09, fontStyle: 'italic' },
-    { tag: tags.modifier, color: base09, fontStyle: 'italic' },
-    { tag: tags.self, color: base05 },
-    { tag: [tags.color, /*@__PURE__*/tags.constant(tags.name), /*@__PURE__*/tags.standard(tags.name)], color: base06 },
-    { tag: [tags.atom, tags.bool, /*@__PURE__*/tags.special(tags.variableName)], color: base05 },
-    // Strings and regex
-    { tag: [tags.processingInstruction, tags.inserted], color: base0A },
-    { tag: [/*@__PURE__*/tags.special(tags.string), tags.regexp], color: base0A },
-    { tag: tags.string, color: base0A },
-    // Punctuation and structure
-    { tag: /*@__PURE__*/tags.definition(tags.typeName), color: base0B, fontWeight: 'bold' },
-    // Comments and documentation
-    { tag: tags.meta, color: base08 },
-    { tag: tags.comment, fontStyle: 'italic', color: base08 },
-    { tag: tags.docComment, fontStyle: 'italic', color: base0D },
-    // HTML/XML elements
-    { tag: [tags.tagName], color: base0F },
-    { tag: [tags.attributeName], color: base0C },
-    // Markdown and text formatting
-    { tag: [tags.heading], fontWeight: 'bold', color: base0B },
-    { tag: [tags.strong], fontWeight: 'bold' },
-    { tag: [tags.emphasis], fontStyle: 'italic' },
-    // Links and URLs
-    { tag: [tags.link], color: base10, fontWeight: '500' },
-    {
-        tag: [tags.url],
-        color: base11,
-        textDecoration: 'underline',
-        textUnderlineOffset: '2px',
-    },
-    // Special states
-    { tag: [tags.invalid], color: invalid, textDecoration: 'underline wavy' },
-    { tag: [tags.strikethrough], color: invalid, textDecoration: 'line-through' },
-    // Enhanced syntax highlighting
-    { tag: /*@__PURE__*/tags.constant(tags.name), color: base06 },
-    { tag: tags.deleted, color: invalid },
-    { tag: tags.labelName, color: base0D },
-    { tag: tags.integer, color: base06 },
-    { tag: tags.float, color: base06 },
-    { tag: tags.null, color: base06 },
-    { tag: tags.attributeValue, color: base0A },
-    { tag: tags.escape, color: base0A },
-    { tag: tags.paren, color: base0E },
-    { tag: tags.lineComment, color: base08, fontStyle: 'italic' },
-    { tag: tags.blockComment, color: base08, fontStyle: 'italic' },
-    { tag: tags.definitionKeyword, color: base05 },
-    { tag: tags.arithmeticOperator, color: base05 },
-    { tag: tags.logicOperator, color: base05 },
-    { tag: tags.compareOperator, color: base05 },
-    { tag: tags.bitwiseOperator, color: base05 },
-    { tag: tags.updateOperator, color: base05 },
-    { tag: tags.derefOperator, color: base05 },
-    { tag: /*@__PURE__*/tags.local(tags.variableName), color: base07 },
-    { tag: tags.contentSeparator, color: base0B },
-    { tag: tags.list, color: base0B },
-    { tag: tags.unit, color: base06 },
-    { tag: tags.squareBracket, color: base0E },
-    { tag: tags.angleBracket, color: base0E },
-    { tag: tags.heading1, color: base0B },
-    { tag: tags.heading2, color: base0B },
-    { tag: tags.heading3, color: base0B },
-    { tag: tags.heading4, color: base0B },
-    { tag: tags.heading5, color: base0B },
-    { tag: tags.heading6, color: base0B },
-    { tag: tags.monospace, color: base0B },
-    { tag: tags.quote, color: base0A },
-]);
+    syntax: {
+        keyword: { color: base05, fontWeight: 'bold' },
+        definitionKeyword: { color: base05 },
+        modifier: { color: base09, fontStyle: 'italic' },
+        operator: { color: base05 },
+        punctuation: { color: base01 },
+        bracket: { color: base0E },
+        brace: { color: base01 },
+        functionDefinition: { color: base07 },
+        name: { color: base07 },
+        function: { color: base01 },
+        self: { color: base05 },
+        label: { color: base0D },
+        property: { color: base0A, fontStyle: 'normal' },
+        type: { color: base0B },
+        typeDefinition: { color: base0B, fontWeight: 'bold' },
+        className: { color: base0B, fontStyle: 'italic' },
+        namespace: { color: base07, fontStyle: 'italic' },
+        tag: { color: base0F },
+        attribute: { color: base01 },
+        content: { color: base01 },
+        string: { color: base0A },
+        number: { color: base06 },
+        constant: { color: base06 },
+        comment: { fontStyle: 'italic', color: base08 },
+        docComment: { fontStyle: 'italic', color: base0D },
+        meta: { color: base08 },
+        processingInstruction: { color: base0A },
+        atom: { color: base05 },
+        specialVariable: { color: base05 },
+        annotation: { color: base09, fontStyle: 'italic' },
+        heading: { fontWeight: 'bold', color: base0B },
+        headingLevel: { color: base0B },
+        list: { color: base0B },
+        monospace: { color: base0B },
+        contentSeparator: { color: base0B },
+        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: invalid },
+        changed: { color: base06 },
+    },
+});
 /**
  * Combined Android Studio theme extension
  */
-const androidStudio = [androidStudioTheme, /*@__PURE__*/syntaxHighlighting(androidStudioHighlightStyle)];
+const androidStudio = theme.extension;
 /**
  * Android Studio merge revert styles configuration
  */
-const androidStudioMergeStyles = {
-    backgroundColor: darkBackground,
-    borderColor: '#5b5b5b',
-    buttonColor: base01,
-    buttonHoverColor: '#414141',
-};
+const androidStudioMergeStyles = theme.mergeStyles;
 
 export { androidStudio, androidStudioMergeStyles, applyMergeRevertStyles };