From 1d9511f944e5358f0286a047025d5f09c811a07a Mon Sep 17 00:00:00 2001 From: Mike Hearn Date: Fri, 18 Nov 2016 13:57:06 +0100 Subject: [PATCH] Docs: actually tweak the CSS --- docs/source/_static/css/custom.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/_static/css/custom.css b/docs/source/_static/css/custom.css index d5109f879c..d680f9cc32 100644 --- a/docs/source/_static/css/custom.css +++ b/docs/source/_static/css/custom.css @@ -85,7 +85,7 @@ a:visited{ font-size:1.1em; color:#EC1D24; text-transform:none; - background-color: #5a090b; + background-color: #3C3C3E; padding: 0 0.5em; margin-top: 0.5em; }