diff --git a/doc/source/_theme/nature.css_t b/doc/source/_static/nature.css similarity index 100% rename from doc/source/_theme/nature.css_t rename to doc/source/_static/nature.css diff --git a/doc/source/_static/tweaks.css b/doc/source/_static/tweaks.css index 8ed4c9dbf..3f3fb3f07 100644 --- a/doc/source/_static/tweaks.css +++ b/doc/source/_static/tweaks.css @@ -85,6 +85,7 @@ a.headerlink { div.body { margin-top: -25px; + margin-left: 230px; } div.document {