Fix #13972 (#14034)

2026-04-21 06:45:27 +00:00 · 2020-04-20 17:06:44 +02:00
parent 65c5367dc1
commit 6bd279c978
1 changed files with 2 additions and 2 deletions
--- a/doc/nimdoc.css
+++ b/doc/nimdoc.css
@@ -644,7 +644,7 @@ div.topic {
  margin: 2em; }

 div.search_results {
-  background-color: antiquewhite;
+  background-color: var(--third-background);
  margin: 3em;
  padding: 1em;
  border: 1px solid #4d4d4d;
@@ -888,4 +888,4 @@ span.pragmawrap {
 span.attachedType {
  display: none;
  visibility: hidden;
-}
+}