From 53c98c27cf78655545e279b4feca9c739712fcf8 Mon Sep 17 00:00:00 2001
From: Raymond Hill <rhill@raymondhill.net>
Date: Wed, 9 Feb 2022 10:26:25 -0500
Subject: [PATCH] Use theme-related shade of red for DOM inspector

Candidate for revision to stable release.
---
 src/css/logger-ui-inspector.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/css/logger-ui-inspector.css b/src/css/logger-ui-inspector.css
index 9d50fbdd8..33bde295b 100644
--- a/src/css/logger-ui-inspector.css
+++ b/src/css/logger-ui-inspector.css
@@ -74,7 +74,7 @@
     text-decoration: line-through;
     }
 #domInspector li > code.filter {
-    color: red;
+    color: var(--cm-negative);
     }
 
 #domInspector li > ul {