From 516696a60cc7832096129b303a49e107054b7b30 Mon Sep 17 00:00:00 2001 From: Raymond Hill Date: Sat, 24 Oct 2020 08:26:38 -0400 Subject: [PATCH] Increase search style priority in CodeMirror editors --- src/css/codemirror.css | 1 + src/css/themes/default.css | 2 ++ 2 files changed, 3 insertions(+) diff --git a/src/css/codemirror.css b/src/css/codemirror.css index 6d27ca984..b1160f001 100644 --- a/src/css/codemirror.css +++ b/src/css/codemirror.css @@ -157,6 +157,7 @@ div.CodeMirror span.CodeMirror-matchingbracket { display: none; } .cm-searching { + background-color: var(--cm-searching-surface) !important; border: 1px dotted black; } diff --git a/src/css/themes/default.css b/src/css/themes/default.css index 00a2d1010..5ac11e1c6 100644 --- a/src/css/themes/default.css +++ b/src/css/themes/default.css @@ -49,6 +49,7 @@ --violet-60: #7542e5; --violet-70: #592acb; --violet-80: #45278d; + --yellow-10: #ffff98; --yellow-30: #ffd567; --yellow-40: #ffbd4f; --yellow-50: #ffa436; @@ -179,6 +180,7 @@ --cm-gutter-border: var(--light-gray-40); --cm-gutter-ink: var(--light-gray-90); --cm-gutter-surface: var(--light-gray-25); + --cm-searching-surface: var(--yellow-10); /* syntax highlight: static filtering */ --sf-comment-ink: var(--light-gray-90);