From d74cc234c4199f8a788697bce634732c81d079b0 Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Fri, 12 May 2023 10:06:55 +0200 Subject: [PATCH] fix: thinner outline for highlights with .color --- packages/react/src/components/CodeMirror6.jsx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/react/src/components/CodeMirror6.jsx b/packages/react/src/components/CodeMirror6.jsx index aa90eb30..d76ac3d3 100644 --- a/packages/react/src/components/CodeMirror6.jsx +++ b/packages/react/src/components/CodeMirror6.jsx @@ -67,7 +67,7 @@ const highlightField = StateField.define({ } let mark; if (color) { - mark = Decoration.mark({ attributes: { style: `outline: 4px solid ${color};` } }); + mark = Decoration.mark({ attributes: { style: `outline: 2px solid ${color};` } }); } else { mark = Decoration.mark({ attributes: { class: `outline outline-2 outline-foreground` } }); }