From 74e040f88db6b5618cac2fd47e61a90bd120567f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?benjamin=20melan=C3=A7on?= <ben@agaric.com>
Date: Thu, 2 Jul 2020 01:34:10 -0400
Subject: [PATCH] Tweak centering, bottom margin of Agaric logo

This is making up for oddness in the sphinx-rtd-theme.
---
 _static/css/agaric.css | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/_static/css/agaric.css b/_static/css/agaric.css
index 17d621d..8810afc 100644
--- a/_static/css/agaric.css
+++ b/_static/css/agaric.css
@@ -5,4 +5,10 @@
 .wy-side-nav-search .wy-dropdown > a img.logo,
 .wy-side-nav-search > a img.logo {
   width: 12rem;
+  padding-right: 0.8rem;
+}
+
+.wy-side-nav-search .wy-dropdown > a,
+.wy-side-nav-search > a {
+  margin-bottom: 0.4rem;
 }