From 42b64e3257691a5b505f32cf08867fbbf519bd2a Mon Sep 17 00:00:00 2001
From: Araq <rumpf_a@web.de>
Date: Fri, 30 Sep 2016 23:59:41 +0200
Subject: minor CSS improvement

---
 config/nimdoc.cfg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'config')

diff --git a/config/nimdoc.cfg b/config/nimdoc.cfg
index 819444874..832b4ffd0 100644
--- a/config/nimdoc.cfg
+++ b/config/nimdoc.cfg
@@ -1279,8 +1279,8 @@ dt pre > span.Operator ~ span.Identifier, dt pre > span.Operator ~ span.Operator
 div.search_results {
   background-color: antiquewhite;
   margin: 3em;
-  border-style: inset;
   padding: 1em;
+  border: 1px solid #4d4d4d;
 }
 </style>
 
-- 
cgit 1.4.1-2-gfad0