Tweak centering, bottom margin of Agaric logo

This is making up for oddness in the sphinx-rtd-theme.
This commit is contained in:
benjamin melançon 2020-07-02 01:34:10 -04:00
parent c34e9523b2
commit 74e040f88d

View file

@ -5,4 +5,10 @@
.wy-side-nav-search .wy-dropdown > a img.logo, .wy-side-nav-search .wy-dropdown > a img.logo,
.wy-side-nav-search > a img.logo { .wy-side-nav-search > a img.logo {
width: 12rem; width: 12rem;
padding-right: 0.8rem;
}
.wy-side-nav-search .wy-dropdown > a,
.wy-side-nav-search > a {
margin-bottom: 0.4rem;
} }