From 6bd279c97871e47c78636f3c1a8f39a7915b1402 Mon Sep 17 00:00:00 2001 From: Clyybber Date: Mon, 20 Apr 2020 17:06:44 +0200 Subject: [PATCH] Fix #13972 (#14034) --- doc/nimdoc.css | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/nimdoc.css b/doc/nimdoc.css index 4ee73eaf9..72b6734ab 100644 --- 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; -} \ No newline at end of file +}