From 2da5d1eadfb9bc3933c7f6a483a0ef2ffd6dfd67 Mon Sep 17 00:00:00 2001
From: Jesse Hills <3060199+jesserockz@users.noreply.github.com>
Date: Fri, 14 Jul 2023 10:45:17 +1200
Subject: [PATCH] Fix tip on dark mode (#3062)

---
 _static/custom.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_static/custom.css b/_static/custom.css
index be9a282c7..b442b6a9e 100644
--- a/_static/custom.css
+++ b/_static/custom.css
@@ -326,7 +326,7 @@ div.body p, div.body dd, div.body li, div.body blockquote {
     color: #e2e2e2;
   }
 
-  div.note {
+  div.note, div.tip {
     background-color: #2d2c2c;
     border: 1px solid #808080;
   }