From 8fbae15565d8d184b4b7b45b623e0adac672c387 Mon Sep 17 00:00:00 2001
From: Graham Brown <grahambrown11@gmail.com>
Date: Wed, 12 Jul 2023 21:27:29 +0200
Subject: [PATCH] fix caution and search style in dark mode (#3056)

---
 _static/custom.css | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/_static/custom.css b/_static/custom.css
index ce08207c8..be9a282c7 100644
--- a/_static/custom.css
+++ b/_static/custom.css
@@ -331,8 +331,12 @@ div.body p, div.body dd, div.body li, div.body blockquote {
     border: 1px solid #808080;
   }
 
-  div.warning {
+  div.warning, div.caution {
     background-color: #5d1616;
   }
 
+  dt:target, span.highlighted {
+    background-color: #8e8129;
+  }
+
 }
\ No newline at end of file