New docs logo, small css changes

diff --git a/docs/source/themes/mg/static/logo_docs.png b/docs/source/themes/mg/static/logo_docs.png
index 9287996512ef2daff97880d17b29d9501fb32a68..99f04cc7d7794c702e01742749bc64580ff0904f 100644 (file)
Binary files a/docs/source/themes/mg/static/logo_docs.png and b/docs/source/themes/mg/static/logo_docs.png differ

diff --git a/docs/source/themes/mg/static/mg.css b/docs/source/themes/mg/static/mg.css
index 3a0a133635040a53316d2544c971aa0217d42062..3fa842cd6bde987c4a3c18b34163694284e56292 100644 (file)
--- a/docs/source/themes/mg/static/mg.css
+++ b/docs/source/themes/mg/static/mg.css
@@ -109,7 +109,7 @@ div.documentwrapper {
 }
 
 div.bodywrapper {
-    margin: 60px 0 0 230px;
+    margin: 0 0 0 270px;
 }
 
 div.body {
@@ -124,7 +124,7 @@ div.footer {
 }
 
 div.sphinxsidebarwrapper {
-  padding: 10px 5px 0 20px;
+  padding: 10px 5px 0 30px;
 }
 
 div.sphinxsidebar ul {
@@ -141,5 +141,5 @@ div.related {
 }
 
 p.logo {
-  margin-bottom: 20px;
+  margin-top: 30px;
 }