From db82bd8123083f64adf25991f12f799de05f603d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADctor=20Losada=20Hern=C3=A1ndez?= Date: Wed, 22 Apr 2026 01:26:34 +0200 Subject: [PATCH] fix darkbrewery --- themes/codeMirror/darkbrewery.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/themes/codeMirror/darkbrewery.js b/themes/codeMirror/darkbrewery.js index c90e06256..fd010e6e0 100644 --- a/themes/codeMirror/darkbrewery.js +++ b/themes/codeMirror/darkbrewery.js @@ -57,7 +57,7 @@ export default EditorView.theme({ '.cm-selectionBackground' : { backgroundColor : '#d7d4f0', }, - '.cm-focused .cm-selectionBackground' : { + '&.cm-focused .cm-selectionBackground' : { backgroundColor : '#d7d4f0 !important', }, '.cm-pageLine' : { @@ -93,7 +93,7 @@ export default EditorView.theme({ '.cm-strong' : { color: '#309dd2', fontWeight: 'bold' }, '.cm-em' : { fontStyle: 'italic' }, '.cm-keyword' : { color: '#fff' }, - '.cm-atom, cm-value, cm-color' : { color: '#c1939a' }, + '.cm-atom, .cm-value, .cm-color' : { color: '#c1939a' }, '.cm-number' : { color: '#2986cc' }, '.cm-def' : { color: '#2986cc' }, '.cm-list' : { color: '#3cbf30' },